Dで構造体メンバを揃える方法は？

Question

私は、アライメントはまだ1の代わり8である私に言って、失敗したこの

struct Foo(T) 
{ 
    align(8) void[T.sizeof] data; 
} 

しかし

static assert(Foo!(int).data.alignof == 8); 

を試してみました。

これはなぜですか、どのように修正するのですか？2の累乗（8だけではない）の任意の位置合わせで動作するように修正するにはどうすればよいですか？

Answer 1

DMDソースを参照すると、alignofはalign属性を考慮していないようです。それが処理されるのはここ

は次のとおりです。

... if (ident == Id::__xalignof) 
{ 
    e = new IntegerExp(loc, alignsize(), Type::tsize_t); 
} 

これは値alignsize()とsize_t式に.alignof式を変換し、その者は、静的配列のためalignsize()を見てみましょう：

unsigned TypeSArray::alignsize() 
{ 
    return next->alignsize(); 
} 

それはちょうどあなたの場合、要素タイプ（void）のアライメントを取得します。

voidがちょうど前方TypeBasic::size(0)

switch (ty) 
{ 
    ... 
    case Tvoid: 
     size = 1; 
     break; 
    ... 
} 

に他の種類はalignofを処理する方法を見てみるとTypeBasic::alignsize()によって処理され、align属性は全く考慮されているようにそれは見えませんが、私は間違っている可能性が。アラインメントを手動でテストする価値があります。