Types de références facultatifs : pourquoi leur absence dans std::optional et alternatives

La classe std::optional de la bibliothèque standard, présente sous la forme std ::experimental::optional dans libc , manque notamment de spécialisations pour les types de référence. Cela soulève la question de savoir si de telles spécialisations seraient bénéfiques.

Avantages des types de référence facultatifs

Les types de référence facultatifs pourraient offrir des avantages tels que :

• Efficacité : les références sont généralement plus efficaces que les copies, ce qui réduit potentiellement l'utilisation de la mémoire et les performances.
• Concision de l'expression : les types de référence simplifieraient les expressions impliquant des objets facultatifs, car elles pourraient être déréférencées directement sans déballage explicite.

Justification de l'absence

Malgré ces avantages potentiels, std::optional manque actuellement de spécialisations pour les types de référence. La raison réside dans les discussions au cours du processus de normalisation.

Les membres du comité ont exprimé des inquiétudes concernant la sémantique des références facultatives. Ils s'inquiétaient des problèmes potentiels liés à la durée de vie et à la propriété des objets, car les références facultatives pouvaient faire référence à des objets déjà détruits ou autrement invalides.

Options alternatives

While std : :optional ne répond pas aux types de référence, la bibliothèque standard propose des solutions alternatives :

• Valeurs facultatives : std::optional se spécialise pour les types valeur, offrant la possibilité de représenter une valeur qui peut être présent ou non.
• std::reference_wrapper: Cette classe permet la création de références qui survivent à la référence de l'objet d'origine. Cependant, il n'a pas la sémantique « peut-être présente » de std::optional.