C++ Ist privat wirklich privat?

Question

Ich habe versucht, die Gültigkeit von private Zugriffsspezifizierer in C++. Hier geht:

Schnittstelle:

// class_A.h 

class A 
{ 
public: 
    void printX(); 
private: 
    void actualPrintX(); 
    int x; 
}; 

Umsetzung:

// class_A.cpp 
void A::printX() 
{ 
    actualPrintX(); 
} 

void A::actualPrintX() 
{ 
    std::cout << x: 
} 

ich dies in einem statischen Bibliothek gebaut (.a/LIB). Wir haben jetzt ein class_A.h und classA.a (oder classA.lib) -Paar. Ich habe class_A.h bearbeitet und die private: daraus entfernt.

nun in einem anderen classTester.cpp:

#include "class_A.h" // the newly edited header 

int main() 
{ 
    A a; 

    a.x = 12;   // both G++ and VC++ allowed this! 
    a.printX();   // allowed, as expected 
    a.actualPrintX(); // allowed by G++, VC++ gave a unresolved linker error 

    return 0; 
} 

Ich weiß, dass aus einer Bibliothek Header sind alle Wetten nach Manipulation (ich meine, Systemintegrität, etc.) Wenn auch das Verfahren Hacky ist, das ist wirklich dürfen? Gibt es eine Möglichkeit, dies zu blockieren? Oder mache ich hier etwas falsch?

Answer 1

private ist nicht ein Sicherheitsmechanismus. Es ist eine Möglichkeit, Absichten zu kommunizieren und Informationen zu verbergen, über die andere Teile Ihres Programms nicht informiert werden müssen, wodurch die Gesamtkomplexität reduziert wird.

Da zwei verschiedene Header-Dateien nicht standardkonform sind, betreten Sie technisch undefined das Behavior Territory, aber praktisch, wie Sie herausgefunden haben, ist es den meisten Compilern egal.

Answer 2

Nein. Die private Zugriffskontrolle ist da, um Sie davon abzuhalten, dumme Dinge zu tun, nicht als Sicherheitsmechanismus, um andere daran zu hindern, auf Ihre Daten oder Funktionen zuzugreifen. Es gibt viele, viele Möglichkeiten, um es zu umgehen.

Answer 3

Es gibt keine Implementierung von A :: actualPrintX. Das ist dein Linkerfehler.

Answer 4

Sie sind über das hinausgegangen, was in C++ erlaubt ist, also was Sie tun, ist nicht erlaubt - aber natürlich kann es auf einigen Compilern in einigen Situationen funktionieren.

Insbesondere verletzen Sie die One Definition Rule.

Diese article von Herb Sutter erklärt es sehr schön - es bietet auch eine legale und portable Möglichkeit, das Access Specifier System zu umgehen.

Answer 5

Ich versuchte es. Dies ist ein nm eines Programms, das ich schrieb, mit einer Klasse Test mit einer privaten Methode und einer öffentlichen.

0000000100000dcc T __ZN4Test3barEv 
0000000100000daa T __ZN4Test3fooEv 

Wie Sie sehen können, ist die Signatur genau gleich. Der Linker hat absolut nichts zu unterscheiden zwischen einer privaten und einer öffentlichen Methode.

Answer 6

Ich stimme den meisten anderen Antworten zu.

Ich möchte jedoch darauf hinweisen, dass es für einen Compiler vollkommen akzeptabel ist, die Mitglieder unterschiedlich zu organisieren, wenn Sie das private entfernen. Wenn es funktioniert, ist das Glück. Du kannst dich nicht darauf verlassen. Wenn beide Seiten nicht dieselbe Deklaration verwenden, verwenden sie nicht dieselbe Klasse.

Answer 7

Da hat niemand eine Möglichkeit erwähnt, dies zu blockieren ...Eine Möglichkeit, den Zugriff auf private Mitglieder zu blockieren, besteht darin, sie als separaten internen Typ zu deklarieren, der außerhalb der Datei nicht sichtbar ist. Wenn Sie explizit auf diesen internen Zugriff zugreifen möchten, müssen Sie natürlich die interne Deklaration bereitstellen. Dies wird üblicherweise auch mit einem internen Header durchgeführt, der diesen Typ enthält.

Hinweis: In diesem Beispiel müssen Sie das Zuordnen/Freigeben dieses internen Objekts verfolgen. Es gibt andere Möglichkeiten, dies zu tun, die dies nicht erfordern.

// class_A.h 
class A { 
public: 
    void printX(); 
private: 
    void *Private; 
}; 

// class_A.cpp 
class A_private { 
    void actualPrintX(); 
    int x; 
}; 

void A::printX() { 
    reinterpret_cast<A_private *>(Private)->actualPrintX(); 
} 

void A_private::actualPrintX() { 
    std::cout << x: 
} 

Answer 8

In den meisten Fällen müssen Sie nicht einmal die Header-Datei bearbeiten, um private Mitglieder öffentlich zu machen. Sie können dies mit dem Präprozessor tun. Etwas wie folgt aus:

//"classWithPrivateMembers.hpp" 
class C 
{ 
private: //this is crucial for this method to work 
    static int m; 
}; 

int C::m = 12; 

und dann, dies funktionieren wird:

#define private public 
#include "classWithPrivateMembers.hpp" 
#undef private 

int main() 
{ 
    C::m = 34; // it works! 
} 

Answer 9

Beachten Sie auch, dass, wenn Sie ein Mitglied der Zugriffsvariablen ändern, wird der Compiler es bei einer innerhalb der Klasse versetzt verschiedenen platzieren können Objekt. Der Standard erlaubt Compilern eine ziemlich große Freiheit bei der Neuanordnung von Mitgliedern (zumindest innerhalb der gleichen Zugangsebene, glaube ich).