alignas specifier vs __attribute __ (wyrównane), C++ 11

Question

Obecnie pracuję nad rozwojem jądra systemu operacyjnego w C++ 11, a natknąłem się na pytanie, nie mogę znaleźć odpowiedzi na siebie.

Obecnie dopasowuję struktury stronicowania, używając atrybutów specyficznych dla kompilatora (np. Gcc's __attribute__(aligned)), ale chcę używać zamiast tego specyfikatora alignas C++ 11, na Clang ++ to nie jest problem, ponieważ chętnie akceptuje 4096 wyrównanie jako parametr alignas, jednak G ++ nie!

Więc przede wszystkim, co jest główną różnicę między alignas specifier i gcc __attribute__(aligned) oczywiście zarówno zapewnić dostosowanie do określonej wartości, jednak specifier alignas w gcc zdaje się mieć limit 128, natomiast atrybut wydaje się niemal nieograniczone, dlaczego tak jest?

Dlaczego nie można przekazać liczby całkowitej stałej do specyfikatora alignas?

Answer 1

Wygląda na to, że ze stanu obsługi GCC obsługa wyrównania nie jest w pełni obsługiwana w gcc 4.7, ale jest przeznaczona dla gcc 4.8. alignas jest również wymieniony jako nowo obsługiwana funkcja z wersji 4.8 release page.

Również z alignment support proposal (3.11):

Fundamentalną wyrównanie jest reprezentowany przez wyrównanie mniejszej lub równej największej wyrównania obsługiwanym przez wdrożenie we wszystkich kontekstach, która jest równa alignof (STD :: max_align_t) (18.1).

Rozszerzone wyrównanie jest reprezentowane przez wyrównanie większe niż alignof (std :: max_align_t). Jest zdefiniowany w implementacji, czy obsługiwane są rozszerzone dopasowania i konteksty, w których są obsługiwane (7.1.6). Typ o rozszerzonym wymaganiu wyrównania jest typem z wyrównaniem.

I z tego samego dokumentu (7.1.6):

jeśli stała wyrażenie na dłuższy dostosowania i wdrożenia nie obsługuje tego wyrównania w kontekście deklaracji, program jest zniekształcony

To może być również część odpowiedzi. Nie mam obecnie dostępu do pełnego standardu, ktoś powinien być w stanie to potwierdzić.

Jeśli chodzi o różnicę między __attribute__(aligned) i alignas, nie sądzę, że są one semantycznie różne, ale jeden jest tylko rozszerzeniem kompilatora, podczas gdy drugi jest w pełni zdefiniowany przez standard.

Aby odpowiedzieć na to ostatnie pytanie, alignas jest zdefiniowana tylko dla:

alignas (constant-expression) 
alignas (type-id)