Pourquoi C utilise-t-il la même syntaxe (T&&) pour les références de transfert et les références Rvalue ?

Raison d'être de la syntaxe partagée par les références de transfert et de valeur Rvalue

Question originale

Pourquoi les références universelles partagent-elles la même syntaxe (T&&) que les références rvalue ? N'est-ce pas déroutant ?

Réponse

Une référence universelle (T&&) peut déduire T comme un « type d'objet » ou un « type de référence ». Lorsqu'on lui transmet une valeur r, T en déduit un int, ce qui donne un paramètre int&&. Lorsqu'on lui transmet une lvalue, T en déduit int&, s'effondrant en int& en raison des règles d'effondrement des références.

Lorsque T ne peut pas être déduit (par exemple, dans l'exemple X::baz), ce n'est pas une référence universelle.

Justification

L'utilisation de la même syntaxe pour les références universelles et les références rvalue rationalise la déduction des arguments du modèle et les règles de réduction des références. Le réglage proposé permet de déduire les paramètres du modèle en tant que types de référence, résolvant ainsi le problème de transfert.

Des syntaxes alternatives, telles que T&&&&&, T@ ou T&42, ont été envisagées mais rejetées. Ils auraient introduit une confusion car le déclarateur T&&&@ ne pouvait pas représenter un type réel (il ferait toujours référence à int&& ou int&).

La syntaxe actuelle s'aligne sur le système de types plus large : lorsque T est une référence lvalue, T&& l’est aussi. Les règles sont cohérentes et évitent toute complexité inutile.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!