Tipos de referência opcionais: por que sua ausência em std::optional e alternativas

A classe std::optional da biblioteca padrão, presente como std ::experimental::optional em libc , notavelmente carece de especializações para tipos de referência. Isso levanta a questão de saber se tais especializações seriam benéficas.

Vantagens dos tipos de referência opcionais

Os tipos de referência opcionais podem oferecer vantagens como:

• Eficiência: as referências são geralmente mais eficientes do que as cópias, reduzindo potencialmente o uso de memória e a sobrecarga de desempenho.
• Concisão da expressão: os tipos de referência simplificariam as expressões que envolvem objetos opcionais, pois poderiam ser desreferenciados diretamente sem desembrulhamento explícito.

Justificativa para ausência

Apesar desses benefícios potenciais, std::optional atualmente carece de especializações para tipos de referência. A razão está nas discussões durante o processo de padronização.

Os membros do comitê expressaram preocupações em relação à semântica das referências opcionais. Eles se preocupavam com possíveis problemas relacionados à vida útil e propriedade do objeto, já que referências opcionais poderiam se referir a objetos que já foram destruídos ou inválidos.

Opções alternativas

Enquanto std: :optional não atende a tipos de referência, a biblioteca padrão oferece soluções alternativas:

• Valores opcionais: std::optional é especializado em tipos de valor, fornecendo a capacidade de representar um valor que pode ou não estar presente.
• std::reference_wrapper: Esta classe permite a criação de referências que sobrevivem à referência do objeto original. No entanto, ele não possui a semântica "talvez presente" de std::optional.