実際のテンプレートパラメータを指定せずにstatic_assertできますか？

Question

template<typename T> 
class MyClass 
{ 
...... 
private: 
    union u_ 
    { 
     struct m_ 
     { 
      int i1; 
      int i2; 
      int i3; 
     } m; 
     char data[SIZE]; // convenience buffer for serialization/deserialization; 
    } u; 
    T container; 
...... 
}; 

MyClassのオブジェクトをシリアライズ/デシリアライズできるように、私はデータフィールドを結合するためにユニオンを使用し、データバッファを使用して卸売りします。私はデータが誰かの将来の拡張のためにデータメンバーのコレクションのために十分に大きいことを確認したいので、私はこの静的なアサートを追加しました。

static_assert(sizeof(MyClass<int>::u_::data) >= sizeof(MyClass<int>::u_::m_)); 

このアプローチには2つの問題があります。まず、コンパイラーは、共用体が公開されていないと不平を言う。第2に、これは任意のコンテナ型Tに当てはまるはずですので、具体的にする必要はありませんが、intをダミー型として与えることはできませんが、静的なアサートのためだけに別の型を導入したくありませんここにダミータイプを使用する方法はありますか？

もっと洗練されたソリューションはありますか？

EDIT：James、移植性の問題を提起してくれてありがとう。エンディアンとアライメントは正当な問題ですが、私の場合はシリアル化/逆シリアル化がローカルで行われるため、問題ありません。

Answer 1

さらに洗練されたソリューションがありますか？

構造体をcharの配列として再解析するだけではどうですか？

struct m_ 
{ 
    int i1; 
    int i2; 
    int i3; 
}; 

// ... 
m_ m; 
char* data = static_cast<char*>(static_cast<void*>(&m)); 

すべてのオブジェクトは安全にcharの配列として再解釈できます。もちろん、整列、パディング、データ型のサイズ、潜在的なエンディアンやその他の表現の問題については心配する必要がありますが、おそらく、シリアライズ実装を書いているので分かっているはずです。これに代えて

Answer 2

char data[SIZE]; 

、あなたはこれを行うことができます。

static_assert(sizeof(MyClass<int>::u_::data) >= sizeof(MyClass<int>::u_::m_)); 

それは常に満足しますので、どんなに：

char data[sizeof(m_)]; 

それは、常にこのstatic_assertに条件を満たしますあなたはではなく、でもstatic_assertを書く必要があります！

Answer 3

privateの問題を解決するには、たとえばコンストラクタや静的メソッドのように、static_assertをクラスの内側に配置することを検討してください。