Discussion :

[YéTeeh]

Bonjour,

J'aimerais, dans une classe template, déclarer que la classe du paramètre template est amie.

Exemple :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
#include <iostream>
 
//------------------------------------------------------------------------------
template<class T>
class A
{
  friend class T; // problème ici
 
private:
  void f( const T& t ) { t.g(); }
}; // class A
 
//------------------------------------------------------------------------------
class B
{
  friend class A<B>;
 
public:
  void h()
  {
    A<B> a;
    a.f( *this );
  }
 
private:
  void g() const { std::cout << "ok" << std::endl; }
}; // class B
 
//------------------------------------------------------------------------------
int main()
{
  B b;
  b.h();
 
  return 0;
}

Mais le compilateur fait la tête :

erreur: une clé de classe doit être utilise lors de la déclaration d'un ami

Est-ce que ce que je veux faire est faisable ou dois-je trouver une autre solution ?

Merci

[Laurent Gomila]

Chez moi (VC 7.1) ça fonctionne avec "friend T", ce qui ne semble pas illogique.

[YéTeeh]

C'est peut-être un problème avec g++ alors, car j'ai toujours une erreur en enlevant le "class".

Je n'ai pas donné la bonne erreur tout à l'heure, alors je reprends :

avec "friend class T" :

erreur: utilisation d'un nom de typedef « T » après « class »

avec "friend T'

erreur: une clé de classe doit être utilise lors de la déclaration d'un ami

j'utilise g++ 3.4.4

[Matthieu Brucher]

Essaies une fois avec un friend typename T ?

[bigboomshakala]

Comeau

Trying to use a template parameter in a friend is ill-formed:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
template <typename T>
class xyz {
    friend class T; // ill-formed code
};

According to Section 7.1.5.3 paragraph 2 of Standard C++:

3.4.4 describes how name lookup proceeds for the identifier in an elaborated-type-specifier. ... If the identifier resolves to a typedef-name or a template type-parameter, the elaborated-type-specifier is ill-formed. [Note: this implies that, within a class template with a template type-parameter T, the declaration

friend class T;

is ill-formed. ]

The next thing one would try would be:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
template <typename T>
class xyz {
    friend T;
};

but this form is not allowed either because for friends, according to 11.4 paragraph 2

An elaborated-type-specifier shall be used in a friend declaration for a class.

And also from footnote #101:

The class-key of the elaborated-type-specifier is required.

You could also probably try some hackery with typedef, but I suspect all of these attempts will also be illegal.