Opcional em C: Por que não há especialização para tipos de referência?

Apesar da presença de especialização para tipos de referência em bibliotecas como Boost, o C std::optional da biblioteca padrão não fornece esse recurso. Esta decisão gerou dúvidas sobre sua justificativa e possíveis mecanismos alternativos.

Fundamentação por trás da omissão

Durante a discussão do n3406 (a proposta de opcional), foram levantadas preocupações quanto à inclusão de referências opcionais. Reconhecendo essas objeções, os autores do n3527 separaram as referências opcionais em uma proposta auxiliar para aumentar a probabilidade de aceitação de valores opcionais padrão. Embora o opcional não tenha sido incluído no C 14 devido a fatores não relacionados, a desaprovação do comitê de referências opcionais não foi um problema. não oferece especialização para tipos de referência, a biblioteca padrão carece de uma construção equivalente que forneça a semântica de "referência a objetos possivelmente existentes". Isso pode fazer com que os desenvolvedores busquem alternativas:

Auto_ptr:

boost::optional:
• Boost fornece uma implementação opcional especializada que suporta tipos de referência. Ele oferece a mesma semântica que std::optional mas requer a inclusão da biblioteca Boost.
• Considerações Futuras
Embora as referências opcionais estejam atualmente ausentes do Biblioteca padrão C, o comitê não descartou sua inclusão futura. Caso uma proposta formal seja apresentada, a decisão dependerá, em última análise, da avaliação do comitê sobre os méritos do recurso proposto.