Pourquoi GCC exige-t-il un accès membre explicite pour les membres de la classe de base de modèle ?

Application stricte par GCC de la dépendance des arguments de modèle

Le code présenté soulève un problème qui se produit lors de l'utilisation de GCC, mais pas avec Visual Studio. Le code suivant :

<code class="cpp">template <typename T> class A {
    public:
        T foo;
};

template <typename T> class B: public A<T> {
    public:
        void bar() { cout << foo << endl; }
};

ne parvient pas à se compiler avec GCC, mais se compile avec succès avec Visual Studio. L'erreur invite le développeur à ajouter ceci-> à l'expression pour accéder au membre foo dans la barre de méthode.

Ce comportement découle du strict respect par GCC des spécifications C. Les versions antérieures de GCC déduisaient l'accès aux membres à partir des classes de base de modèles en les analysant. Cependant, ISO C considère cette inférence comme potentiellement problématique et l'a dépréciée.

La solution dans ce scénario consiste à référencer explicitement le membre foo en utilisant this-> ou pour spécifier explicitement la classe de base, comme le montre l'exemple suivant :

<code class="cpp">template <typename T> class A {
    public:
        T foo;
};

template <typename T> class B: public A<T> {
    public:
        void bar() { cout << A<T>::foo << endl; }
};</code>

Ce faisant, GCC peut déterminer le type de la classe de base et résoudre l'accès des membres de manière approprié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!