Pourquoi le comportement de « decltype » change-t-il avec les doubles parenthèses ?

Applications avancées de decltype

En C , l'opérateur decltype est un outil puissant pour déterminer le type d'une expression. Bien que cela fonctionne généralement comme on peut s'y attendre, il existe des circonstances dans lesquelles l'utilisation de doubles parenthèses peut faire une différence significative.

Comme indiqué dans le FCD (§7.6.1.2/4) :

const int&&& foo();
int i;
struct A { double x; };
const A* a = new A();

Considérons l'exemple suivant :

decltype(foo()) x1 = i;     // type is const int&&&
decltype(i) x2;             // type is int
decltype(a->x) x3;          // type is double
decltype((a->x)) x4 = x3;   // type is const double&

La question se pose : pourquoi les parenthèses font-elles une différence dans la dernière ligne ? Intuitivement, on pourrait supposer qu'il devrait simplement être double, semblable à la ligne ci-dessus.

Cependant, le FCD fournit un aperçu :

• Si e est une expression d'identification sans parenthèses ou un accès membre de classe (5.2.5), decltype(e) est le type de l'entité nommée par e.
• Si e est une lvalue, decltype(e) est T&, où T est le type de e .

Dans ce cas, decltype(a->x) est un accès membre de classe, et donc, x3 a le type de l'entité nommée par a->x, qui est double. Cependant, decltype((a->x)) est une lvalue, et par conséquent, x4 a le type de a->x, qui est const double&.

Cette distinction est subtile mais essentielle pour comprendre le nuances de décltype. En tirant parti de la puissance des doubles parenthèses, les programmeurs peuvent manipuler et déterminer les types avec une plus grande précision, permettant ainsi un code plus robuste et plus flexible.

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!