C++ Girl
  1. C++ Girl
  3. La déduction de paramètre de modèle peut-elle être utilisée dans les membres de données de classe?
Intereting Posts
Trier std :: ssortingngs avec des nombres en eux? C ++ + OpenCV = Emplacement de lecture de la violation d’access 0x02176000 Héritage ou composition: comptez-vous sur “est-a” et “a-a”? Comment savoir en quelles unités se trouve un nuage de points? CUDA comment obtenir une grid, un bloc, une taille de filetage et paralléliser un calcul masortingciel non carré Pourquoi une initialisation uniforme (initialisation avec des accolades) est-elle recommandée? X3, comment peupler un AST plus complexe? Puis-je utiliser le résultat d’un opérateur de conversion lambda constexpr sans capture C ++ 17 en tant qu’argument de type modèle de pointeur de fonction CLion C ++ ne peut pas lire / ouvrir le fichier .txt dans le répertoire du projet erreur: ISO C ++ interdit l’initialisation en classe d’un membre statique non const Recompilation à chaud pour C ++ Getch non bloquant () C ++ Expressions variables pour définir la taille d’un tableau? Confus à propos de la valeur de retour de la fonction Quel est le meilleur moyen efficace de lire des millions d’entiers séparés par des lignes à partir d’un fichier texte en c ++?

La déduction de paramètre de modèle peut-elle être utilisée dans les membres de données de classe?

C ++ 17 introduit la déduction d’argument de modèle .

Avec gcc-7.2, je peux l’utiliser facilement dans une fonction: 

int test() { std::pair d(0, 0.0); }

Je m’attendais à ce que cette même syntaxe fonctionne dans la classe des membres de données non statiques, comme: 

 class Test { std::pair d_{0, 0.0}; };

mais cela provoque l’ error: invalid use of template-name ... without an argument list gcc error: invalid use of template-name ... without an argument list , avec --std=c++17 passé.

J’ai essayé quelques autres combinaisons, mais aucune ne semble fonctionner.

S’agit-il du comportement souhaité par le standard ou s’agit-il d’un support incomplet du compilateur? Je ne trouve aucune référence explicite aux membres de données de classe dans la norme.

Mon cas d’utilisation est bien sûr beaucoup plus complexe, cette syntaxe serait extrêmement pratique (pensez aux fonctions passées et stockées).

S’agit-il du comportement souhaité par le standard ou s’agit-il d’un support incomplet du compilateur?

Oui, c’est le comportement prévu. [dcl.type.class.deduct] lit:

Si un espace réservé pour un type de classe déduit apparaît en tant que spécificateur de déclaration dans la déclaration de spécification de déclaration d’une initialisation ([dcl.init]) d’ une variable , […]

Un espace réservé pour un type de classe déduit peut également être utilisé dans le type-specifier-seq dans le nouveau-type-id ou le type-id d’une nouvelle expression , ou en tant que spécificateur de type simple dans une conversion de type explicite notation). Un espace réservé pour un type de classe déduit ne doit pas apparaître dans un autre contexte .

Un membre de données non statique n’est pas une variable et nous ne sums dans aucune des autres situations.

Notez que le même principe s’applique aux membres de données non statiques qui tentent d’être déclarés avec auto : 

 struct X { auto y = 0; // error };

L’initialisateur de membre par défaut est juste cela – un initialiseur par défaut. Que se passe-t-il si vous avez fourni un constructeur qui a initialisé le membre avec une ou plusieurs expressions de types différents?