Modèle amie fonction d'une classe template

...si je change la déclaration anticipée de l'opérateur<< de sorte qu'il ne correspond pas à

Un ami de la fonction doit être considérée comme un type spécial de déclaration. En essence, le compilateur ne suffisant pour analyser la déclaration toutefois pas de sémantique de la vérification aura lieu, sauf si vous avez réellement se spécialiser la classe.

Après avoir fait votre modification proposée, si vous puis instancier test, vous obtiendrez une erreur sur les déclarations ne correspondent pas:

template class test<int>;

...Cependant ... retrait de la déclaration anticipée sont les causes d'un problème

Le compilateur essaie d'analyser la déclaration de stocker jusqu'à ce que le modèle de classe est spécialisée. Au cours de l'analyse, le compilateur arrive le < dans la déclaration:

friend std::ostream& operator<<  <

La seule façon que operator<< pourrait être suivie par < est de savoir si c'est un modèle, si une recherche est effectuée pour vérifier que c'est un modèle. Si un modèle de fonction est trouvée, alors le < est considéré comme le début d'arguments de modèle.

Lorsque vous retirez la déclaration anticipée, aucun modèle n'est trouvé et operator<< est considéré comme un objet. (C'est aussi pourquoi, lorsque vous ajoutez using namespace std le code continue de compiler car il doit y avoir des déclarations de modèles pour operator<<).

...quand j'enlève la déclaration et l'utilisation de la variante de l'ami de la déclaration dans le code ci-dessus. Notez que le paramètre de modèle U n'apparaît pas dans la suite de la signature...

Il n'est pas nécessaire que tous les paramètres du modèle de être utilisés dans les arguments d'une fonction de modèle. L'alternative déclaration est pour un nouveau modèle de fonction qui ne sera exigible en cas de déclaration dans l'espace de noms et la spécification explicite arguments de modèle.

Un exemple simple:

class A {};
template <typename T> A & operator<<(A &, int);

void foo () {
  A a;
  operator<< <int> (a, 10);
}

...est-ce code fait-il correct?..

Bien il y a deux parties. La première est que l'alternative ami de la fonction ne fait pas référence à la déclaration plus tard dans le champ d'application:

template <typename T>
class test {
  template <typename U> 
  friend std::ostream& operator<<(std::ostream &out, const test<T> &t);
  };

template <typename T> 
std::ostream& operator<<(std::ostream &out, const test<T> &t);  //NOT FRIEND!

L'ami de la fonction serait en fait être déclarés dans l'espace de noms pour chaque spécialisation:

template <typename U> 
std::ostream& operator<<(std::ostream &out, const test<int> &t);
template <typename U> 
std::ostream& operator<<(std::ostream &out, const test<char> &t);
template <typename U>
std::ostream& operator<<(std::ostream &out, const test<float> &t);

Chaque spécialisation de operator<< <U> auront accès à la spécialisation selon le type de ses paramètres test<T>. Donc, en substance, l'accès est restreint comme vous le désirez. Cependant, comme je l'ai mentionné avant, ces fonctions sont essentiellement inutilisable en tant qu'opérateurs, puisque vous devez utiliser la fonction syntaxe d'appel:

int main ()
{
  test<int> t;
  operator<< <int> (std << cout, t);
  operator<< <float> (std << cout, t);
  operator<< <char> (std << cout, t);
}

Que par les réponses à la question précédente, vous pouvez utiliser la déclaration anticipée comme suggéré par litb, ou vous allez à la définition de l'ami de la fonction en ligne, comme par Dr_Asik de l' réponse (qui sera probablement ce que je ferais).

Mise à JOUR: 2ème Commentaire

...la modification de la déclaration anticipée avant la classe; l'un dans la classe correspond à la fonction que je mettre en œuvre plus tard...

Comme je l'ai souligné ci-dessus, le compilateur vérifie si operator<< est un modèle lorsqu'il voit le < dans la déclaration:

friend std::ostream& operator<<  <

Ce faire, il recherche le nom et vérifier si il est un modèle. Tant que vous avez un mannequin avant la déclaration de ces "trucs", le compilateur dans le traitement de votre ami comme un nom de modèle et donc la < est considéré comme le début d'un modèle de liste d'arguments.

Plus tard, lors de l'instanciation de la classe, vous en avez un modèle valide pour le match. En essence, vous êtes juste de tromper le compilateur dans le traitement de l'ami comme un modèle de spécialisation.

Vous pouvez le faire ici parce que (comme je l'ai dit plus tôt), pas de sémantique de la vérification a lieu en ce moment.

OriginalL'auteur Richard Corden