Quel type « auto » déduit-il pour une expression Lambda C 11 ?

Explorer le type de déduction Lambda avec "auto" en C 11

Contrairement à l'idée fausse selon laquelle le type d'un lambda est un pointeur de fonction, un test récent a révélé un résultat inattendu. Lorsque vous tentez d'attribuer une expression lambda à la fois à un pointeur de fonction et à une variable « auto », une assertion échoue. Cela soulève la question : quel est le vrai type d'un lambda lorsqu'il est déduit avec le mot-clé "auto" ?

Pour clarifier, les expressions lambda sont en fait des raccourcis syntaxiques pour les foncteurs. Lors de la compilation, un lambda est transformé en objet foncteur. Les éléments entre crochets [] deviennent des paramètres de constructeur et des variables membres du foncteur, tandis que les paramètres entre les crochets () se traduisent en paramètres Operator() du foncteur.

Étonnamment, les lambdas qui ne capturent aucune variable (c'est-à-dire ceux sans éléments à l'intérieur le []) peut être converti en pointeurs de fonction (bien que cette conversion ne soit pas prise en charge par MSVC2010). Cependant, il est crucial de souligner que le type intrinsèque d'un lambda reste un type de foncteur non spécifié.

Dans l'exemple de code fourni, l'expression lambda LAMBDA est initialement affectée à un pointeur de fonction pFptr puis à un "auto " variable pAuto. L'assertion suivante vérifie que les types de pFptr et pAuto sont égaux, ce qui réussit effectivement. Cela indique que le mot-clé "auto" déduit avec succès le type du lambda comme étant un pointeur de fonction, permettant une affectation transparente à pFptr.

Néanmoins, l'essentiel à retenir est que les lambdas sont des types de foncteurs intrinsèquement non spécifiés, quel que soit le type de foncteur. leur capacité à être transformées en pointeurs de fonction. Cette distinction met en évidence la flexibilité et la complexité des expressions lambda dans la programmation C moderne.

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!