Warum benötigt eine C ++ - Freundesklasse nur in anderen Namespaces eine Forward-Deklaration?

Angenommen ich habe eine Klasse F sollte sein Freund zu den Klassen G (global namespace) und C (im namespace A).

  • Freund zu A::CF muss nach vorn erklärt.
  • Freund zu G keine vorwärts-Deklaration von F notwendig ist.
  • ebenfalls eine Klasse A::BF können Freund zu A::C ohne forward-Deklaration

Der folgende code veranschaulicht diese und kompiliert mit GCC-4.5, VC++ 10 und zumindest mit einem anderen compiler.

class G {
    friend class F;
    int g;
};

//without this forward declaration, F can't be friend to A::C
class F;

namespace A {

class C {
    friend class ::F;
    friend class BF;
    int c;
};

class BF {
public:
    BF() { c.c = 2; }
private:
    C c;
};

} //namespace A

class F {
public:
    F() { g.g = 3; c.c = 2; }
private:
    G g;
    A::C c;
};

int main()
{
    F f;
}

Dies erscheint mir inkonsistent. Gibt es einen Grund dafür oder ist es nur eine design-Entscheidung der standard?

InformationsquelleAutor der Frage pesche | 2010-12-20

  1. 41

    C++ Standard ISO/IEC 14882:2003(E)

    7.3.1.2 Namespace Mitglied Definitionen

    Absatz 3

    Jeder name, der erste erklärt in einem
    namespace ist Mitglied,
    namespace    . Wenn ein Freund in der Erklärung
    eine nicht-lokale Klasse deklariert zunächst eine
    Klasse oder Funktion
    (dies impliziert, dass der name der Klasse oder Funktion unqualifiziert ist) der Freund-Klasse
    oder-Funktion ist ein Mitglied der
    innersten umschließenden namespace.

    //Assume f and g have not yet been defined.
void h(int);
template <class T> void f2(T);
namespace A {
   class X {
   friend void f(X);  // A::f(X) is a friend
      class Y {
         friend void g();  // A::g is a friend
         friend void h(int);  // A::h is a friend
         // ::h not considered
         friend void f2<>(int);  // ::f2<>(int) is a friend
      };
   };
   // A::f, A::g and A::h are not visible here
   X x;
   void g() { f(x); }  //definition of A::g
   void f(X) { /* ... */}  //definition of A::f
   void h(int) { /* ... */ }  //definition of A::h
   // A::f, A::g and A::h are visible here and known to be friends
}

    Ihre friend class BF; ist eine Erklärung der A::BF im namespace eher als global namespace. Sie müssen die Globale vor-Deklaration zu vermeiden, diese neue Erklärung.

    InformationsquelleAutor der Antwort Alexey Malistov

  2. 3

    Let ' s take in Konto diese 3 Zeilen code aus deinem Beispiel:

    1. friend class F; //it creates "friend declaration", (that's not the same as ordinary forward declaration

2. class F; //without this forward declaration, F can't be friend to A::C <-- this is ordinary forward declaration

3. friend class ::F; //this is qualified lookup (because of ::), so it needs previous declaration, which you provide in line 2.

    C++ standard in Absatz 7.3.1.2, Punkt 3 ( Namespace Mitglied Definitionen) sagt:

    Die Freund-Deklaration nicht von selbst machen die Namen sichtbar
    unqualifiziertes lookup (3.4.1) oder qualifizierte lookup (3.4.3). [ Hinweis: Der
    name des Freundes wird sichtbar in seinen namespace, wenn eine passende
    Erklärung ist im namespace-Gültigkeitsbereich (entweder vor oder nach der
    Klasse definition Gewährung von Freundschaft). —Ende Hinweis ]

    Und Zeile 2 folgt genau das, was standard erfordert.

    Aller Verwirrung ist, weil "Freund-Erklärung" ist schwachdie Sie benötigen, zu liefern solide vorwärts-Deklaration für die weitere Verwendung.

    InformationsquelleAutor der Antwort tomekpe

  3. 1

    Da würde es keinen Sinn machen in der Lage sein zu erklären, etwas in den global namespace auf, wenn Sie sich in einem namespace {} block. Der Grund friend class BF; funktioniert, ist, dass es wirkt wie eine implizite forward-Deklaration.

    InformationsquelleAutor der Antwort Billy ONeal

Schreibe einen Kommentar