Pourquoi ce programme se bloque-t-il?

Question

J'ai le code suivant qui est semble conduire à la boucle infinie:

struct X 
{ 
    void my_func(int) { std::cout << "Converted to int" << std::endl; } 
}; 

struct X2 : X 
{ 
    void my_func(char value) { my_func(value); } 
}; 

Quel est le problème avec elle?

Answer 1

Le second bit est infiniment récursive:

struct X2 : X 
{ 
    void my_func(char value) { my_func(value); } //calls itself over and over again 
}; 

Prefix my_func avec le nom de la classe de base et vous serez OK

struct X2 : X 
{ 
    void my_func(char value) { X::my_func(value); } 
}; 

EDIT juste réalisé que la classe de base my_func ' s signature est différente. Le compilateur C++ résout statiquement la surcharge de la fonction, c'est-à-dire qu'il choisit la fonction qui correspond le mieux au type de l'argument, c'est pourquoi il appelle la surcharge char.

Par exemple:

char cChar = 'a'; 

myfunc(cChar); 

void myfunc(char a){} //<-- this one is called 
void myfunc(int a){} 

int iInt = 1; 

myfunc(iInt); 

void myfunc(char a){} 
void myfunc(int a){} //<-- this one is called 

Merci Charles Bailey. Le code ci-dessus ne s'applique pas dans ce cas car X2my_func cache la classe de base my_func. Cela laisse la seule solution pour qualifier la fonction avec le nom de la classe.

Answer 2

void my_func(char value) { my_func(value); } 

Vous passer le value qui est char il résout à appeler la même méthode accepte un paramètre char. Cela devient une boucle sans fin.

Answer 3

void my_func(char value) { my_func(value); } 

juste là, vous avez écrit une fonction récursive sans cas de base. Je ne sais pas trop sur C++, mais vous devez spécifier une certaine façon que vous voulez appeler la my_func de X, et non X2 de (je suppose que ce que vous voulez faire.)

modifier: Pour résoudre ce problème , vous devez jeter la valeur à un int

Answer 4

Le programme obtient dans une boucle infinie. my_func() s'appelle lui-même et il n'y a pas de condition pour en sortir.

Answer 5

Votre appel my_func (valeur) est récursif. Voulez-vous dire super :: my_func (value)?

Answer 6

Le problème est dû au masquage. http://www.parashift.com/c++-faq-lite/strange-inheritance.html#faq-23.9

Answer 7

Vous devez appeler explicitement la classe de base fonction, à savoir:

struct X 
{ 
    void my_func(int) { std::cout << "Converted to int" << std::endl; } 
}; 

struct X2 : X 
{ 
    void my_func(char value) { X:my_func(value); } 
}; 

Par défaut, le compilateur utilise des fonctions au sein de la même classe si elle est présente, car il n'y a aucun moyen pour elle de savoir lequel vous voulez vraiment utiliser. En spécifiant BaseClass::Function dans une méthode de classe dérivée, le compilateur créera explicitement un appel à la méthode de cette classe de base, même si vous avez remplacé.