C++そのBASEアサート時間はEXTENDEDの基底クラスで、同じメモリアドレスに

Question

struct A 
{ 
}; 
struct B : A 
{ 
    virtual ~B() {} 
}; 
template<typename BASE, typename EXTENDED> 
void ASSERT_BASE_EXTENDED() 
{ 
    static_assert(static_cast<BASE*>((EXTENDED*)256)==(BASE*)256, "error"); 
} 

を持っている私は、基本クラスはEXTENDEDのベースであるかどうかを確認するために、コンパイル時のアサーションを持つ方法を探していますし、彼らが持っているコンパイル同じメモリアドレス。

上記の例では、BがAに基づいていても、Aにキャストされると、仮想関数テーブルポインタは実際にはBの最初のメンバーなので、別のメモリアドレスを持ちます。Aが最初のメンバー。

上記の動作はOKですが、VS 2017コンパイラを使用すると「エラーC2131：式が定数に評価されませんでした」というエラーが表示されるため、コンパイル時には動作しません。

"std :: is_base_of"に興味がないのは、同じメモリアドレスのチェックを無視するためです。 これを行う別の方法はありますか？

ありがとうございました

Answer 1

メモリアドレスは実行時構成です。その時点では存在しないため、コンパイル時にチェックすることはできません。あなたが言及したキャスティングの種類についても同じことが言えます。それは実行時に完全に起こります。 static_assertをランタイムチェックとエラー処理に置き換える必要があります。 または例外です。

これは、一般的な使用例です。あなたの例のようなハードコーディングされたメモリアドレスの場合、問題はそれらのアドレスintからポインタへのキャストです。これを行う有効な方法は、タイプとのTへのポインタが完全に無関係であるため、reinterpret_cast（コンパイラがあなたの例でCスタイルのキャストを試みるキャストの1つ）です。しかし、reinterpret_castはコンパイル時には許可されません。

クランのエラーメッセージがうまくそれを置く：

main.cpp:14:38: note: cast that performs the conversions of a reinterpret_cast is not allowed in a constant expression 
    static_assert(static_cast<BASE*>((EXTENDED*)256)==(BASE*)256, "error"); 
            ^