Friend-Funktion Zugriff auf die privaten Mitglieder der Klasse in der statischen Bibliothek definiert

Question

Ich habe eine statische Bibliothek in C++ geschrieben. Ich habe auch die Header-Dateien für die Klassen in der statischen Bibliothek definiert.

Kann ich auf die privaten Mitglieder der Klassen zugreifen, die in der statischen Bibliothek definiert sind und eine Friend-Funktion in die Klassendeklaration einfügen?

Answer 1

Sie meinen, Sie möchten die Header ändern, die mit der Bibliothek geliefert werden? Es ist in keiner Weise garantiert, dass das Hinzufügen von friend Deklarationen dort funktioniert. Sie könnte den Linking-Teil durcheinander bringen, auch wenn Ihr Compiler sagt, es ist in Ordnung.

Auch, wenn diese Mitglieder sind private, Sie nur nicht auf sie zugreifen.

Answer 2

Es ist technisch undefined Verhalten, eine andere Sequenz von Token zu verwenden, um dieselbe Entität (hier eine Klasse) in verschiedenen Übersetzungseinheiten zu definieren.

Unabhängig von der Technik, die Sie verwenden, solange es die Reihenfolge der Token ändert, die es zusammensetzen, ist es vom Standard her übel (obwohl es in der Praxis wahrscheinlich funktioniert).

Johannes discovered a way dies unter Einhaltung der Norm zu tun. Es basiert auf der Tatsache, dass, obwohl a ist ein privates Attribut in der Klasse A, &A::a kann in Kontexten geschrieben werden, die A.a schreiben können (vielleicht ein Versehen im Standard?).

Core-Methode:

template<typename Tag, typename Tag::type M> 
struct Rob { 
    friend typename Tag::type get(Tag) { 
    return M; 
    } 
}; 

// use 
struct A { 
    A(int a):a(a) { } 
private: 
    int a; 
}; 

// tag used to access A::a 
struct A_f { 
    typedef int A::*type; 
    friend type get(A_f); 
}; 

template struct Rob<A_f, &A::a>; 

int main() { 
    A a(42); 
    std::cout << "proof: " << a.*get(A_f()) << std::endl; 
} 

Erweiterung für Einfachheit:

template<typename Tag, typename Member> 
struct TagBase { 
    typedef Member type; 
    friend type get(Tag); 
}; 

struct A_f : TagBase<A_f, int A::*> { }; 

EDIT:

Dieser Trick ist (witziger) explicitly allowed von der Standard-

§14.7.2/12 Die üblichen Zugriffskontrollregeln gelten nicht für Namen, die explizite Instanziierungen angeben. [...]