Wie wird die Deklaration für das Friend-Class-Konzept nicht benötigt?

Question

Ich habe gerade über friend class Konzept in C++ (Ich habe für ein bisschen gegoogelt, aber diese answer brachte mich zum Lachen, bis ich die wichtigsten Teile erinnerte), und ich versuche, es in das Projekt zu integrieren Daran arbeite ich gerade. Die kurze Frage wird am Ende ausgesondert, aber im Allgemeinen bin ich verwirrt durch vollständigen Mangel an Vorwärtsdeklarationen in meinem Arbeitscode.

Alle meine Klassen werden durch (Teil-) Ordner getrennt und jeder in einem separaten .h und CPP Datei, aber das sollte genug sein, ein Gefühl zu Abhängigkeiten erhalten:

// FE.h - no implementations - no .cpp file 
class FE 
{ 
    private: 
     virtual void somePrivateFunc() = 0; 
    // 90% virtual class, interface for further implementations 
    friend class TLS; 
}; 

// DummyFE.h 
#include "FE.h" 
class DummyFE :: public FE { 
    /* singleton dummy */ 
    private: 
     // constructor 
    public: 
     static DummyFE& instance(); 
}; 
// DummyFE.cpp 
#include "DummyFE.h" 
// all Dummy FE implementation 

// ImplFE.h 
#include "FE.h" 
class ImplFE :: public FE { /* implemented */ }; 
// ImplFE.cpp 
#include "FE.cpp" 
// all Impl FE implementations 


// SD.h - implements strategy design pattern 
//  (real project has more than just FE class in here) 
#include "FE.h" 
#include "DummyFE.h" 
class SD 
{ 
    private: 
     FE &localFE; 
    public: 
     SD(FE &paramFE = DummyFE::instance()); 
    // ... and all the other phun stuff ... 
    friend class TLS; 
}; 
// SD.cpp - implementations 
# include "SD.h" 
/* SD implemented */ 

// TLS.h - implements strategy design pattern 
      (on a higher level) 
#include SD.h 
class TLS{ 
    private: 
     SD *subStrategy; 
    public: 
     void someFunctionRequiringFriendliness(); 
} 

// TLS.cpp - implementations 
#include "TLS.h" 
void TLS::someFunctionRequiringFriendliness(){ 
    this->subStrategy->localFE.somePrivateFunc(); // ok! 
} 

Jetzt hatte ich Party all dies mit allen Abhängigkeiten tatsächlich zu kompilieren (musste es in ein Klassendiagramm am Ende schreiben, um es funktionieren zu lassen), aber jetzt tut es. Die Tatsache, dass ist eigentlich verwirrend mich, ist, dass keine Vorwärtsdeklarationen benötigt wurden. Ich weiß über Vorwärtsdeklarationen von früher, und nur für den Fall, ich habe mein Gedächtnis mit this answer aktualisiert.

Also, um zu versuchen und zu halten es klar, meine Frage: Wenn die class TLS als Freund erklärt, wie wurden keine expliziten vorwärts kommen Erklärungen benötigt? Bedeutet das, dass eine friend class Deklaration eine Forward-Deklaration ist? Für mich fehlt hier intuitiv etwas ... Und da es kompiliert und normal funktioniert, kann jemand helfen, meine Intuition zu korrigieren? : D

PS Entschuldigung für solch eine lange Einführung in die Frage und eine Reihe von Code. Bitte kommentieren Sie nicht mein Code-Konzept - Freunde sind hier gut, ich bin mir ziemlich sicher, dass es für mein aktuelles Projekt korrekt ist (es ist nur ein bisschen schwer von diesem Skelett zu sehen). Ich möchte nur wissen, warum nirgendwo eine Vorwärtsdeklaration benötigt wurde.

Answer 1

Sie haben Recht, die Freundesdeklaration ist eine Art Vorwärtsdeklaration.

Folgende compiliert:

class A; 
class B 
{ 
    friend A; 
}; 

oder

class B 
{ 
    friend class A; 
}; 

dies nicht:

class B 
{ 
    friend A; 
}; 

Es ist nicht wirklich die friend Erklärung, dass class A voraus erklärt, aber die class ke yword. Deshalb funktioniert das zweite Beispiel nicht, weil es nicht weiß, was A ist. Wenn Sie zuvor wie im ersten Snippet A deklarieren, kann A in eine Klassendeklaration aufgelöst werden.

I stand corrected.

Answer 2

Heißt das, dass ein Freund Klassendeklaration ist eine zukunfts Erklärung alle in ihm selbst?

Ja

Answer 3

friend class TLS; 

Diese Syntax ist eine Erklärung in sich selbst, das ist, warum Sie nicht eine zusätzliche vorherige Erklärung des Typs benötigen. Beachten Sie, dass die Deklaration friend (speziell für Funktionen) etwas anders ist als eine Deklaration im umschließenden Namespace.

Insbesondere, außer es gibt auch eine Deklaration im umschließenden Namespace, kann eine in einer friend Deklaration deklarierte Funktion nur durch argumentabhängige Suche gefunden werden (und kann nicht außerhalb der Klasse definiert werden). Das gleiche gilt für Klassen, es sei denn, es gibt auch eine Deklaration auf Namespace-Ebene. Der so deklarierte Typ ist außerhalb der Klasse, die ihn als Freund deklariert, nicht verfügbar.

class B { 
    friend class A; 
}; 
//A foo(); // Error: A is not declared here! 
class A; 
A foo();  // Fine 

Answer 4

forward-Deklaration muss nicht an der Spitze der Datei wie folgt

class A; 
class C; 
class D; 
class B 
{ 
    A* a; 
    C* c; 
    D* d; 
}; 

das gleiche ist wie

class B 
{ 
    class A* a; 
    class C* c; 
    class D* d; 
}; 

die empfohlene Freund Syntax verwendet nur die späteren