Référence non autorisée à un membre non statique ... typedef?

Question

Pourquoi suis-je

Erreur C2597: référence illégale à un membre non statique 'derived<<unnamed-symbol>>::T'

lorsque je tente de compiler ce code dans Visual C++ 2010 64 bits? (Il semble bien sur x86 ... que l'on est correct?)

struct base { typedef int T; }; 

template<class> 
struct derived : base 
{ 
    using base::T; 
    derived(T = T()) { } 
}; 

int main() 
{ 
    derived<int>(); 
    return 0; 
} 

Answer 1

Comme le commentaire de prétorienne mentionne, le problème est avec la valeur par défaut T(). Basé sur les détails d'erreur, using base::T confond apparemment le compilateur dans la recherche de T() comme un appel à la fonction de membre non statique de base plutôt que la construction d'une instance de type T.

Voici une correction intéressante qui fonctionne dans MSVC 2005 x86 (je n'ai pas essayé d'autres compilateurs). Notez que T() est préservé. Ceci désambiguise using base::T ou force simplement T à référencer le type hérité et non le using (qui ne sont apparemment pas la même chose pour le compilateur).

//... 
template<class> 
struct derived : base 
{ 
    using base::T; 
    derived(T = static_cast<T>(T())) { } //No error 
}; 
//... 

---

Edit: Essayez de changer base à cela et voir ce que les messages d'erreur que vous obtenez:

struct base { struct T{T(){}}; }; 

je reçois le C2597 original, mais aussi ceci:

erreur C2440: 'argument par défaut': impossible de convertir de '' à 'base :: T' Aucun constructeur pourrait prendre le type de source, ou la résolution de surcharge du constructeur était ambigu

Je ne sais pas ce que le compilateur signifie par '' là, mais il est probablement un problème similaire avec la définition originale de base. Cela compile bien si je supprime la ligne using base::T;.

Answer 2

Pourquoi vous utilisez using base::T? Les types définis dans la classe de base seront automatiquement disponibles dans la classe dérivée.

struct base { typedef int T; }; 
template< class X > 
struct derived : base {}; 
derived<int>::T v = 0; // this is OK in C++ 

Answer 3

Utilisez ce lieu (devrait être explicite):

template<class T> 
struct derived : base 
{ 
    derived(T = T()) { } 
};