Est-ce obligatoire pour accéder aux identifiants Base <T> des classes dérivées?

Question

Ce code compile avec MSVC 2015, mais ne compilent pas avec Clang 5.0.0 (tronc 304874):

template <typename T> 
struct Base 
{ 
    T data; 
}; 

template <typename T> 
struct Derived : Base<T> 
{ 
    auto getData() const 
    { 
    return data; 
    } 
}; 

Remplacement data avec this->data dans Derived::getdata() rend Clang heureux.

Quel compilateur est correct selon la norme C++?

Doit-on utiliser le code this-> pour accéder à un identificateur d'une classe de base?

Answer 1

Clang est correct.

$17.6.2/3 Dependent names [temp.dep]

Dans la définition d'un modèle de classe ou de classe, le champ d'application n'est pas examiné une classe de base dépendante lors de la recherche de nom non qualifié, soit au moment de la définition du modèle de classe ou d'un membre ou au cours d'une instanciation du modèle de classe ou du membre.

Pour return data;, data est non qualifiée, puis la recherche de nom non qualifié sera employé. Cela signifie que le nom dans la classe de base Base<T> (qui est une classe de base dépendante car il dépend du paramètre de modèle T) ne devrait pas être trouvé; c'est-à-dire que les noms non dépendants ne sont pas recherchés dans les classes de base dépendantes.

this->data ou Base<T>::data le rend qualifié. Cela signifie que le nom sera recherché au moment de l'instanciation, et à ce moment la spécialisation de base exacte qui doit être explorée sera connue.

Answer 2

Oui, c'est. Fondamentalement data dépend de T.

Il existe un mécanisme appelé recherche en deux phases. Les noms dépendants non (modèle) sont résolus immédiatement - au point définition. Votre data n'existe pas encore, car Base<T> n'existe pas encore, car il n'a pas été instancié. Ainsi, il se plaint que data est introuvable.

Vous devez indiquer au compilateur que data dépend du modèle et que la recherche de nom doit être effectuée dans la deuxième phase, une fois les paramètres de modèle remplacés, c'est-à-dire que la classe de modèle a été instanciée. Cela peut être fait en utilisant this ou en fournissant une portée dépendant du modèle. Par conséquent, this->f() ou Base<T>::f() fonctionneront.