surcharge de fonction et résolution de conversion de type

Question

Pourquoi ne voit-on pas une erreur «appel non défini à une fonction surchargée» avec le code ci-dessous? juste parce que int est un type intégré? où dans la norme puis-je trouver la garantie pour la conversion en type intégré, comme dans le code ci-dessous? ... merci!

#include <iostream> 
using namespace std; 

class B { 
public: 
operator int(){ return 0; } 
}; 

class A { 
public: 
A(int i) { }; 
}; 

void f (int i) { cout << "overload f(int) was used!";}; 
void f (A a) { cout << "overload f(A) was used!" ;}; 


int main() { 
    B b; 
    f(b); 
} 

Answer 1

Cela n'a rien à voir avec le fait d'être un type intégré. Vous avez défini operator int pour B. Cela signifie que vous avez fourni une conversion définie par l'utilisateur de B à int. Selon le paragraphe 12.3.4 de la norme, "au plus une conversion définie par l'utilisateur (constructeur ou fonction de conversion) est implicitement appliquée à une seule valeur." C'est pourquoi il n'est pas converti en A, car cela nécessiterait deux conversions implicites.

Les règles pour déterminer exactement quand cela se produit sont quelque peu compliquées, donc beaucoup de gens vous conseillent d'éviter de fournir des conversions définies par l'utilisateur. Une autre façon de les définir est de fournir un constructeur avec un argument; vous pouvez ajouter explicit au début pour éviter qu'il ne soit appliqué implicitement. Lorsque vous appelez f(b), le compilateur applique la conversion que vous avez fournie pour convertir b en int. Si vous voulez le convertir en A, vous devrez définir une conversion de B à A, ou d'appliquer l'une des conversions de manière explicite, comme f(int(b)) ou f(A(b)).