如何对齐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属性被考虑在所有的，但我可能是错的。这可能值得手动测试对齐。