私的/保護/公衆がABIにどのような影響を与えますか？

Question

私が欲しいのは、一部のクラスメンバーのために時々privateと他の時間がpublicになることです。これらのメンバーは、いくつかのモジュールからアクセス可能であり、他のメンバーがアクセスできないと考えられています。

イメージングこのクラス：internal Xモジュールで

class Foo { 
public: 
    ... 
private: 
    ... 
protected: 
    ... 
internal: 
    int x; 
}; 

は次のように定義されます

#define internal public 

およびモジュールYで、それは次のように定義されています：

#define internal private 

だから、本当の問題をこのトリックが標準で受け入れ可能かどうか、またはクラスの署名を変更するかどうかです（またはどのようにしても、

は私がfriendとPIMPLは、ジョブのこの種のですが、friendは非常に厄介取得することができますし、PIMPLのパフォーマンス（間接およびインラインすることができないという事実は）私が働いているコードベースのために受け入れられないことを知っていますに。

Answer 1

違反のため、未定義の動作が発生します。 （basic.def.odrも参照）/6.1 "Dの各定義はトークンの同じシーケンスからなるものとする"）。

しかし、一般的な実装では、public、private、protectedはクラスレイアウトに影響を与えないので動作します。

あなたは薄い氷の上にスケートしています。コンパイラがすべてのパブリックメンバを最初に配置し、次に保護されたものをプライベートなものに置き換えることは何もありません。点より、一般的に、宣言の順序はそれほど

struct T {char a; int b; char c}; 

メモリ順序であることが要求されるc次いで、b次いで、aが要求されます。これはCの互換性を保証するためです。ただし、アクセスが異なる要素の順序付けに関する要件はありません（[class.mem] /9.2 p13を参照）。同じアクセス制御（11節）を持つ（非ユニオン）クラスの非静的データメンバーは、後のメンバーは、クラスオブジェクト内の上位アドレスを持っている。異なるアクセス制御と非静的データメンバの割り当ての順序が指定されていない（第11条）」。だから、

struct T {char a; int b; private: char c}; 

与え、コンパイラはメンバーを並べ替えるとcを置くことができますaとbの間の隙間にある。

最後の挨拶は、EJPであり、これらは宣言ではなく、宣言である：私は2つのの定義のT上記; の宣言はstruct T;のようになります。

編集：標準から引用するとFanaelに感謝します。

Answer 2

C++はもともと、プライベートメンバーがパブリックメンバーの次の場所以外に置かれる可能性があると考えていました。おそらく、ハードウェアの保護された領域になる可能性があるためです。お互い。次のようにクラスを考えると、このデータと

ハーブスタッターでGOTW 76をパブリック/プライベート使用してトリックを再定義することなく、あなたのコードをテストすることが可能であると完全に機能するシステムを完成し、ここでlitb safer private member access

....

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

クラス強盗が必要とされて...

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

複数の盗みを許可するユーティリティクラス....

盗難の意図は、データを盗む

struct A_f : TagBase<A_f, int A::*> { }; 
template struct Robber<A_f, &A::a>; 

なる宣言

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

....

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