ポインタキャストが簡単であるという静的アサートを行うにはどうすればよいですか？

Question

のは、私はこれらの型を持っているとしましょう：

struct A { 
    int a; 
}; 

struct B { 
    int b; 
}; 

struct C : public A, public B { 
    int c; 
}; 

C*ポインタは全く実際のアドレスを調整せずA*ポインタにキャストすることができます。しかしC*がB*にキャストされている場合は、値を変更する必要があります。私が持っている2つの関連する型を、アドレスの変更なしに（つまり、多重継承がない、または基底クラスが派生クラスの最初の基底である）互いにキャストできることを確認したい。これは実行時にチェックすることができます。ように

assert(size_t(static_cast<A*>((C*)0xF000) == 0xF000); 
assert(size_t(static_cast<B*>((C*)0xF000) != 0xF000); 

それは動作します。しかし、この情報はコンパイル時に知られているので、コンパイル時のアサーションを行う方法を探しています。上記を静的なアサーションに変換する明白な方法（たとえば、assertをBOOST_STATIC_ASSERTに置き換えることは、g ++ 4.2で "整数型または列挙型以外の型へのキャストは定数式に現れません"というエラーを出す）

移植性あまり重要ではありませんgccの拡張機能、またはハックテンプレートのトリックを使用して、すべての罰金となり

更新：。。は、ほぼ同じ質問をする前に頼まれたことが判明：。C++, statically detect base classes with differing addresses?offsetof()を使用してもそこだけ便利な提案です。

Answer 1

MSaltersの提案とC++, statically detect base classes with differing addresses?の回答に基づいて、ここで私が思いつく答えに最も近いものがあります。それはおそらく、GCC固有だし、基底クラスの一部メンバーを知っている必要があります。

#pragma GCC diagnostic ignored "-Winvalid-offsetof"  // To suppress warning. 
BOOST_STATIC_ASSERT(offsetof(C, a) == offsetof(A, a)); 
BOOST_STATIC_ASSERT(offsetof(C, b) != offsetof(B, b)); 
#pragma GCC diagnostic warn "-Winvalid-offsetof" 

は明らかにこれは不便で怖いの両方で（メンバーを知っていると警告をオフにする必要があります）。

Answer 2

"私は、アドレスの変更なしにタイプを互いにキャストすることができます（つまり、複数継承がない、または基底クラスが派生クラスの最初の基底であることなど） "

" ie "は正しくありません。 Baseがポリモーフィックでない場合でも、C++コンパイラは、（1）最初のベースサブオブジェクトがオフセット0にあり、（2）vtableポインタがオフセット0にある場合は、より簡単です。オッズ、および明確な、より良い選択肢はありません。

さて、最初の部分はoffset_of(Base, first_member)とoffset_of(Derived, first_member)に差はないであろう、標準レイアウトタイプで。理論的に試験することができる。しかし、実際には、offset_ofは動作しません。興味深いタイプのために、サブ。そして、このチェックの全体的なポイントはタイプをチェックすることです、従ってそれは非標準レイアウトタイプのために確実に失敗するはずです。