¿Cómo alinear un miembro de estructura en D?

Question

yo probamos este

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

pero

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

falla, diciéndome la alineación sigue siendo 1 en lugar de 8.

¿Por qué es esto, y cómo lo arreglo, para que funcione para cualquier alineamiento arbitrario que sea una potencia de 2 (no solo 8)?

Answer 1

Al navegar por la fuente DMD, parece que alignof no tiene en cuenta los atributos align.

Aquí es donde se maneja:

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

Esto convierte una expresión .alignof en una expresión size_t con valor alignsize(), por lo que vamos a ver alignsize() para una matriz estática:

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

Simplemente obtiene la alineación del tipo de elemento (void) en su caso.

void es manejado por TypeBasic::alignsize(), que simplemente reenvía a TypeBasic::size(0)

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

En cuanto a cómo manejar otros tipos alignof, que no se ve como align atributos se tienen en cuenta en absoluto, pero podría estar equivocado . Puede valer la pena probar la alineación manualmente.