Pourquoi ne puis-je pas me lier d'amitié avec un paramètre de modèle?

Question

Lors de la recherche d'une réponse à une question (sur la base this answer) J'ai essayé de faire ce qui suit:

template <class T> 
class friendly { 
    friend class T; 
}; 

friendly<string> howdy; 

Cela ne peut pas compiler avec l'erreur suivante:

error: template parameter "T" may not be used in an elaborated type specifier friend class T;

D'après ce que je peux comprendre de mon bon ami Google c'est pour que je n'essaye pas accidentellement d'instancier friendly<int> mais pourquoi cela devrait-il être une erreur lors de la compilation du template? Ce ne devrait pas être une erreur lors de l'instanciation du modèle avec un type invalide (comme si j'avais écrit int f() { return T::foo(); })

Answer 1

Un peu plus googleling fait monter friend Extension des déclarations(PDF) pour C++0x.

Ce document contient les éléments suivants:

template <typename T> class R { 
    friend T; 
}; 
R<C> rc; // class C is a friend of R<C> 
R<int> ri; // OK: “friend int;” is ignored 

qui va encore plus loin que ce que je pensais (en ignorant friend illégales décélérations plutôt que de ne pas lors de l'instanciation). Je suppose donc que la réponse est qu'il n'y a pas de bonne raison et qu'elle est rectifiée.

Answer 2

Le paragraphe 7.1.5.3 de la norme décrit explicitement ceci comme un exemple d'un spécificateur de type élaboré malformé. Une discussion à ce sujet peut être trouvée here.