g++ référence indéfinie à typeinfo

Question

Je viens de tomber sur l'erreur suivante (et j'ai trouvé la solution en ligne, mais elle n'est pas présente dans Stack Overflow) :

(.gnu.linkonce. [stuff]) : non défini référence à [méthode] [objet fichier] :(.gnu.linkonce.[stuff]) : référence indéfinie à `typeinfo for [nom de classe]'.

Pourquoi peut-on obtenir une de ces erreurs de liaison "référence indéfinie à typeinfo" ?

(Points bonus si vous pouvez expliquer ce qui se passe dans les coulisses).

Answer 1

Une raison possible est que vous déclarez une fonction virtuelle sans la définir.

Lorsque vous le déclarez sans le définir dans la même unité de compilation, vous indiquez qu'il est défini ailleurs - ce qui signifie que la phase de liaison essaiera de le trouver dans l'une des autres unités de compilation (ou bibliothèques).

Voici un exemple de définition de la fonction virtuelle :

virtual void fn() { /* insert code here */ }

Dans ce cas, vous attachez une définition à la déclaration, ce qui signifie que l'éditeur de liens n'a pas besoin de la résoudre ultérieurement.

La ligne

virtual void fn();

déclare fn() sans le définir et provoquera le message d'erreur que vous avez demandé.

C'est très similaire au code :

extern int i;
int *pi = &i;

qui stipule que le nombre entier i est déclarée dans une autre unité de compilation qui doit être résolue au moment de la liaison (autrement pi ne peut pas être réglé sur son adresse).

Answer 2

Cela peut également se produire lorsque vous mélangez -fno-rtti y -frtti code. Ensuite, vous devez vous assurer que toute classe, qui type_info est accessible dans le -frtti ont leur méthode clé compilée avec -frtti . Un tel accès peut se produire lorsque vous créez un objet de la classe, que vous utilisez la fonction dynamic_cast etc.

[ fuente ]

Answer 3

Cela se produit lorsque des fonctions virtuelles déclarées (non pures) sont dépourvues de corps. Dans votre définition de classe, quelque chose comme :

virtual void foo();

Doit être défini (en ligne ou dans un fichier source lié) :

virtual void foo() {}

Ou déclarée purement virtuelle :

virtual void foo() = 0;

Answer 4

Citation de le manuel de gcc :

Pour les classes polymorphes (classes avec des fonctions virtuelles), l'objet type_info est écrit avec la vtable [...] Pour tous les autres types, nous écrivons l'objet type_info quand il est utilisé : quand on applique `typeid' à une expression, quand on lance un objet, ou quand on fait référence à un type dans une clause catch ou une spécification d'exception.

Et un peu plus tôt sur la même page :

Si la classe déclare des fonctions virtuelles non inline et non pures, la première est choisie comme "méthode clé" pour la classe, et la vtable n'est émise que dans l'unité de traduction où la méthode clé est définie.

Donc, cette erreur se produit lorsque la "méthode clé" n'a pas de définition, comme d'autres réponses l'ont déjà mentionné.

Answer 5

Si vous liez un .so à un autre, une autre possibilité est de compiler avec "-fvisibility=hidden" dans gcc ou g++. Si les deux fichiers .so ont été construits avec "-fvisibility=hidden" et que la méthode clé n'est pas dans le même .so qu'une autre implémentation de la fonction virtuelle, cette dernière ne verra pas la vtable ou le typeinfo du premier. Pour l'éditeur de liens, cela ressemble à une fonction virtuelle non implémentée (comme dans les réponses de paxdiablo et cdleary).

Dans ce cas, vous devez faire une exception pour la visibilité de la classe de base avec

__attribute__ ((visibility("default")))

dans la déclaration de la classe. Par exemple,

class __attribute__ ((visibility("default"))) boom{
    virtual void stick();
}

Une autre solution, bien sûr, est de ne pas utiliser "-fvisibility=hidden". Cela complique les choses pour le compilateur et l'éditeur de liens, peut-être au détriment des performances du code.