Discussion :

[Kalith]

Bonjour,

Supposons que l'on soit dans le cas suivant :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
template <typename T>
class Mere
{
public :
    int truc;
};
 
template <typename T>
class Fille : public Mere<T>
{
    void uneFonction()
    {
        ++truc; // #
    }
};

Ce code ne compile pas, gcc lance l'erreur à la ligne # :

error: 'truc' was not declared in this scope

Pour que ça compile, il faut préciser à chaque fois Mere<T>::truc au lieu de truc.

J'ai donc deux questions :

• pourquoi ?
• comment éviter d'avoir à préciser Mere<T>:: devant chaque référence à un membre (ou fonction membre) de la classe de base ? Doit-on ajouter une directive using dans la classe dérivée pour chaque membre / fonction membre de la classe de base ? Ou utiliser this-> ?

[Jean-Marc.Bourguet]

Quand on cherche la définition d'un identificateur dans un template, pour que cette définition puisse être trouvée dans quelque chose qui dépend des paramêtres templates, il faut que l'identificateur soit clairement dépendant de ceux-ci. La raison est qu'on veut éviter qu'une définition dépendante prenne la priorité sur une autre de manière inattendue (imagine dans ton cas une définition globale de truc, on trouverait parfois la définition globale(*), parfois celle de Mere).

Donc ici, il faut rendre truc dépendant du paramètre template, le qualifier avec Mere<T>:: ou avec this-> sont deux solutions (la deuxième est la plus courante d'après mon expérience).

(*) Dans ton cas où tu hérites de Mere<T>, ça peut sembler moins évident que si tu héritais directement de T, mais avec les spécialisations, c'est toujours possible.

[Kalith]

Merci beaucoup pour cette explication, je n'y avais pas pensé.