Къде мога да използвам alignas() в C++11?

Не можете да приложите подравняване към typedef. В C++ модела на спецификаторите за подравняване подравняването е неделима част от самия тип и typedef не създава нов тип (само предоставя ново име за съществуващ тип), така че няма смисъл да се прилага спецификатор за подравняване в typedef декларация.

От [dcl.align] (7.6.2)p1:

Спецификатор на подравняване може да се приложи към променлива или към член от данни на клас [...]. Спецификатор на подравняване може също да бъде приложен към декларацията или дефиницията на клас (в спецификатор на разработен тип (7.1.6.3) или class-head (съответно клауза 9) и към декларацията или дефиницията на изброяване (съответно в opaque-enum-declaration или enum-head (7.2 )).

Това са единствените места, където стандартът казва, че може да се приложи спецификатор на подравняване (alignas(...)). Обърнете внимание, че това не включва typedef декларации, нито декларация на псевдоним.

Според [dcl.attr.grammar] (7.6.1)p4:

Ако specifier-seq на атрибут, който принадлежи към някакъв обект или израз, съдържа атрибут, който не е разрешен да се прилага към този обект или израз, програмата е неправилно оформена.

Тази формулировка беше предназначена да се приложи към alignas, както и към другите форми на атрибут, които може да се появят в attribute-specifier-seq, но не беше правилно актуализирана, когато подравняването премина от "истински" атрибут към като различен вид specifier-seq на атрибут.

И така: вашият примерен код, използващ alignas, се предполага, че е неправилно оформен. Стандартът C++ понастоящем не казва изрично това, но също така не разрешава използването, така че вместо това в момента би довело до недефинирано поведение (тъй като стандартът не дефинира никакво поведение за него).

Мисля, че току-що поставихте alignas на грешна позиция. Ако го преместите директно след идентификатора, и GCC, и Clang са доволни и прилагат подравняването:

typedef float aligned_block alignas(16) [4];
typedef float aligned_block [4] alignas(16);

това е вярно и ако използвате using, където разликата също става по-очевидна. Ето две версии, които не са приети от GCC (предупреждение, подравняването е игнорирано):

using aligned_block = float alignas(16)[4];
using aligned_block = float[4] alignas(16);

и ето приетото:

using aligned_block alignas(16) = float[4];

Мисля, че GCC се прилага

7.1.3 Спецификаторът typedef [dcl.typedef]

² typedef-name може също да бъде въведено чрез декларация на псевдоним. Идентификаторът след ключовата дума using става typedef-name и незадължителният attribute-specifier-seq след identifier< /em> принадлежи на това typedef-име. Той има същата семантика, както ако беше въведен от спецификатора typedef. [...]

7.6.2 Спецификатор на подравняване [dcl.align]

¹Спецификатор на подравняване може да бъде приложен към променлива или към член от данни на клас, но не трябва да се прилага към битово поле, функционален параметър, < em>exception-declaration (15.3), или променлива, декларирана с register спецификатора на класа за съхранение. Спецификатор на подравняване може също да бъде приложен към декларацията или дефиницията на клас (в спецификатор на разработен тип (7.1.6.3) или class-head (съответно клауза 9) и към декларацията или дефиницията на изброяване (съответно в opaque-enum-declaration или enum-head (7.2 )). Спецификатор на подравняване с многоточие е разширение на пакет (14.5.3).

Той изброява случаите, в които може ясно да се приложи, и изброява случаите, в които ясно не може да бъде приложен. Примерът на въпроса по-горе не е нито едното, нито другото.

Може също да се твърди, че псевдонимът на типа, създаден от typedef или using, носи спецификацията за подравняване като част от типа с псевдоним. Този псевдоним може да се използва за създаване на променлива и т.н., както е разрешено от 7.6.2p1, но не и за създаване на променлива с register и т.н.

В този смисъл смятам, че спецификаторът на атрибута се прилага (по смисъла на 7.6.2) по отложен начин и по този начин примерът на OP все още трябва да е валиден, когато спецификацията за подравняване е поставена на синтактично правилното място.

Проект на стандарт C++11 http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3337.pdf казва за това (спецификаторът за подравняване е във формата alignas ( израз за присвояване )):

7.6.2 Спецификатор на подравняване [dcl.align]

1 Спецификаторът за подравняване може да се приложи към променлива или към член от данни на клас, но не трябва да се прилага към битово поле, параметър на функция, формалният параметър на клауза за улавяне (15.3) или променлива, декларирана с спецификаторът на класа за съхранение на регистъра. Спецификатор за подравняване може също да се приложи към декларацията на клас или тип изброяване. Спецификатор за подравняване с многоточие е разширение на пакет.

Намерих това оригинално предложение http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2005/n1877.pdf, казва:

Спецификаторът за подравняване не става част от типа, но е възможно да се създаде тип клас с подравнени променливи член(и).

с този пример:

// Wrong attempt: Listing 6)
typedef double align_by<0x10000> hwDoubleVector; // Error!
Void clear(hwDoubleVector &toClear, unsigned size);

Изглежда, че е незаконно да го използвате с typedef.

Опитвам:

typedef float alignas(16) aligned_block[4];