Pourquoi la résolution de surcharge échoue-t-elle avec la conversion implicite en `std::string` en C ?

Échec de résolution de surcharge avec conversion implicite

Lors de la tentative de streaming d'un objet à l'aide d'une conversion implicite en chaîne, un échec de résolution de surcharge peut se produire. Ceci est illustré par le code suivant, qui définit une structure avec une conversion implicite en chaîne et une fonction pour diffuser un objet vers la sortie standard :

<code class="cpp">#include <string>
#include <ostream>
#include <iostream>

struct NameType {
   operator std::string() { return "wobble"; }
};

struct Person {
   NameType name;
};

int main() {
   std::cout << std::string("bobble");
   std::cout << "wibble";

   Person p;
   std::cout << p.name;
}</code>

Lorsqu'il est compilé avec GCC 4.3.4, ce code donne le erreur suivante :

prog.cpp:18: error: no match for ‘operator<<’ in ‘std::cout << p.Person::name’

Cette erreur se produit car l'opérateur de fonction libre<<(ostream&, string const&) n'est pas pris en compte dans l'ensemble de surcharge. Cela est dû à une combinaison de la surcharge souhaitée étant une instanciation de modèle et un ADL (Argument Dependent Lookup).

La section 14.8.1/4 de la norme C 98 indique que des conversions implicites sont effectuées sur un argument de fonction pour le convertir. au type du paramètre de fonction correspondant uniquement si le type de paramètre ne contient aucun paramètre de modèle participant à la déduction des arguments du modèle. Dans ce cas, tous les arguments de la surcharge souhaitée contiennent des paramètres de modèle qui participent à la déduction des arguments du modèle, donc aucun d'entre eux ne peut obtenir sa valeur à partir d'une conversion implicite.

Par conséquent, la résolution de la surcharge échoue et le une erreur est signalée.

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!