Les constructeurs de modèles explicites peuvent-ils être invoqués à l'aide de listes d'initialisation ?

Comment invoquer des constructeurs de modèles explicites à l'aide de listes d'initialisation

Question :

Le modèle peut-il être explicite les constructeurs doivent être invoqués à l'aide de listes d'initialisation, comme indiqué dans ce qui suit exemple ?

struct T { 
    template<class> T();
};

struct U {
    U() : t<void>() {} //does not work
    T t;
};

Réponse :

Malheureusement, il n'est pas possible d'invoquer explicitement des constructeurs de modèles à l'aide de listes d'initialisation.

Selon le C Standard à 14.8.1/7, "[...] parce que les modèles de fonctions membres de conversion et les modèles de fonctions membres constructeur sont appelés sans utiliser de nom de fonction, il n'y a aucun moyen pour fournir une liste d'arguments de modèle explicite pour ces modèles de fonctions."

Cela signifie que les constructeurs, qui n'ont pas leur propre nom, ne peuvent pas accepter explicitement les arguments de modèle. Dans votre cas, le compilateur interprète t en tant que type de classe de base, provoquant l'échec du code.

Pour résoudre ce problème, vous pouvez utiliser une solution de contournement :

struct T { 
    template<class U> T(identity<U>);
};

struct U {
    U() : t(identity<void>()) {}
    T t;
};

Ici, l'identité agit comme un espace réservé pour le paramètre de modèle . Dans C 20, vous pouvez utiliser std::type_identity comme type d'identité.

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!