Pourquoi C++ autorise-t-il l'accès au membre privé d'une classe via un pointeur?

Question

#include<iostream> 
using namespace std; 

class A 
{ 
    int value; 
public: 
    A(){value = 1;} 
    ~A(){} 

    void print(){cout << value << endl;} 
}; 

int main() 
{ 
    A a; 
    int* p = (int*)(&a); 
    *p = 20; 
    a.print();//output is 20. 
} 

Cela ne rompt-il pas l'encapsulation d'une classe? Je suis un débutant de C++. Je n'ai jamais vu cette méthode qui peut accéder au membre privé d'une classe dans le livre "C++ primer".

Answer 1

Ceci est autorisé car A est une classe standard_layout, qui est une classe compatible avec la disposition d'autres langages, ce qui signifie qu'elle peut être transmise à des fonctions qui ont été écrites dans autre chose que C++. Il casse l'encapsulation mais ce n'est pas quelque chose que vous voulez faire en C++, c'est une fonctionnalité de compatibilité.

Puisque vous êtes débutant, vous voudrez certainement éviter de faire quoi que ce soit qui implique l'utilisation de lancers de style c/reinterpret_cast. Faites confiance au système de types et aux contrôles d'accès, ils sont là pour vous aider - si vous les remplacez, vous aurez besoin de savoir exactement pourquoi, ce qui n'était évidemment pas le cas ici.

Answer 2

Votre code est essentiellement un comportement indéfini. Par les lignes suivantes:

int* p = (int*)(&a); 
*p = 20; 

vous déréférencement d'un pointeur punned type, en dépit du fait que ce type calembour ne respecte pas les règles strictes d'aliasing. Pour une version correcte de votre code, A doit être un type agrégé, voir Type aliasing section here. Dans votre code, A n'est pratiquement pas un type agrégat, car il contient un membre privé. Voir la définition d'un agrégat de type here.