Где я могу использовать alignas() в С++ 11?

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

Из [dcl.align] (7.6.2)p1:

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

Это единственные места, где согласно стандарту может применяться описатель выравнивания (alignas(...)). Обратите внимание, что это не включает объявления typedef и объявления псевдонимов.

Согласно [dcl.attr.grammar] (7.6.1)p4:

Если attribute-specifier-seq, относящийся к некоторому объекту или оператору, содержит атрибут, который нельзя применять к этому объекту или оператору, программа имеет неправильный формат.

Эта формулировка предназначалась для применения к alignas, а также к другим формам атрибута, которые могут появляться в атрибуте-спецификатора-последовательности, но не была правильно обновлена, когда выравнивание переключилось с "настоящего" атрибута на являющийся другим типом последовательность-спецификатора-атрибута.

Итак: ваш пример кода с использованием 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-name. Он имеет ту же семантику, как если бы он был введен спецификатором typedef. [...]

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

¹Спецификатор выравнивания может применяться к переменной или к элементу данных класса, но не должен применяться к битовому полю, параметру функции, элементу < em>объявление-исключения (15.3) или переменная, объявленная с помощью спецификатора класса хранения register. Спецификатор выравнивания также может применяться к объявлению или определению класса (в уточненном-спецификаторе-типа (7.1.6.3) или заголовке класса (пункт 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 говорит об этом (Alignment-specifier имеет вид alignas (присваивание-выражение)):

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

1 Спецификатор выравнивания может быть применен к переменной или к члену данных класса, но он не должен применяться к битовому полю, параметру функции, формальному параметру предложения catch (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];