如何對齊D中的struct成員？

Question

我想這

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

但

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

失敗，告訴我對齊的8仍然1代替。

爲什麼是這樣的，我該如何解決這個問題，以便它適用於2（不僅僅是8）冪的任意對齊。

Answer 1

瀏覽DMD源代碼，它看起來像alignof沒有考慮到align屬性。

這裏是它的處理：

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

這是一個.alignof表達式轉換爲size_t表達值alignsize()，所以讓我們來看看alignsize()爲靜態數組：

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

它只是在你的情況下得到元素類型的對齊（void）。

void由TypeBasic::alignsize()，這在其他類型如何處理alignof只是轉發到TypeBasic::size(0)

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

展望處理，它看起來並不像align屬性被考慮在所有的，但我可能是錯的。這可能值得手動測試對齊。