C++ Girl
  1. C++ Girl
  3. Pourquoi la surcharge des modèles et des non-modèles avec la même signature appelle-t-elle la fonction non-modèle?
Intereting Posts
Les classes stockent les données membres dans la mémoire séquentielle? fonction de liaison boost :: spirit fournissant des parameters tels que spirit: qi :: _ val Mode débogage ou mode libération erreur: ‘i’ ne nomme pas un type avec auto Héritage de constructeur pour la classe dérivée de la classe de modèle dans visual studio 2015 rc Créer HBITMAP à partir de mémoire tampon jpeg? Initialiser les membres const à l’aide d’une fonction complexe dans la classe C ++ Word Wrap avec HTML? QTabelView et les delegates C ++ VS Express 2010 Intellisense Comment imprimer les variables correspondant à la table des symboles dans l’parsingur Boost? Question de performance Boost :: multi_array lire un fichier de paires clé-valeur dans un std :: map Maintien de la compatibilité du code entre OpenCV 2 et OpenCV 3 _beginthreadex fonction membre statique Comment dire à un std :: priority_queue de rafraîchir son ordre?

Pourquoi la surcharge des modèles et des non-modèles avec la même signature appelle-t-elle la fonction non-modèle?

J’ai ce code: 

template void f(T) {} void f(const int &) {} int main() { f(0); }

Pourquoi appelle-t-il le second au lieu du premier? Je penserais à eux comme étant les mêmes mais ils ne sont clairement pas comme je ne reçois pas d’erreur de redéfinition.

Parce que la deuxième surcharge n’est pas un modèle.

Lorsqu’une fonction de modèle et une fonction non-modèle sont toutes deux viables pour la résolution d’un appel de fonction, la fonction non-modèle est sélectionnée.

Au paragraphe 13.3.3 / 1 de la norme C ++ 11:

[…] Étant donné ces définitions, une fonction viable F1 est définie comme étant une meilleure fonction qu’une autre fonction viable F2 si, pour tous les arguments i, ICSi (F1) n’est pas une séquence de conversion plus mauvaise que ICSi (F2), puis [ …] F1 est une fonction non-template et F2 est une spécialisation de template de fonction […]

L’un est un modèle et l’autre ne l’est pas, ils ne sont certainement pas les mêmes.

La résolution de surcharge est conçue pour préférer un non-modèle à une fonction basée sur un modèle, toutes choses étant égales par ailleurs.