为了标准化我的代码并使其更便携，我替换了

#ifdef __GNUC__
typedef __attribute__((aligned(16))) float aligned_block[4];
#else
typedef __declspec(align(16)) float aligned_block[4];
#endif

与

typedef float alignas(16) aligned_block[4];

在 C++11 中。但是，gnu(4.8)不喜欢这样，而是提示

test.cc:3:9: warning: attribute ignored [-Wattributes]
  typedef float alignas(16) aligned_block[4];
                ^
test.cc:3:9: note: an attribute that appertains to a type-specifier is ignored

而 clang 3.2 不会产生警告(即使使用 -Weverything -Wno-c++98-compat -pedantic)。 所以我想知道我上面的代码是否正确，更一般地说，alignas() 可以放在哪里，不能放在哪里。

编辑(2013 年 4 月):

标准中的相关文章是7.6.2，特别是7.6.2.1

An alignment-specifier may be applied to a variable or to a class data member, but it shall not be applied to a bit-field, a function parameter, the formal parameter of a catch clause (15.3), or a variable declared with the register storage class specifier. An alignment-specifier may also be applied to the declaration of a class or enumeration type. An alignment-specifier with an ellipsis is a pack expansion (14.5.3).

正如 Red XIII 已经挖掘出来的那样。但是，我不够专业，不知道这对我上面的测试意味着什么。

如果 clang 接受我的属性这一事实意味着什么，也许值得一提的是，当尝试使用 using 指令而不是 typedef 时，clang 也会提示。此外，与此问题早期版本中的声明相反，gcc 不仅警告，而且确实忽略了我的对齐愿望。

最佳答案

我认为您只是将 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 The typedef specifier [dcl.typedef]

² A typedef-name can also be introduced by an alias-declaration. The identifier following the using keyword becomes a typedef-name and the optional attribute-specifier-seq following the identifier appertains to that typedef-name. It has the same semantics as if it were introduced by the typedef specifier. [...]

(强调我的)

以上对于using 来说非常清楚，typedef 的规则分布在几个段落中，包括在 §8.3/1 的末尾，您可以在其中找到:

8.3 Meaning of declarators [dcl.meaning]

¹ [...] The optional attribute-specifier-seq following a declarator-id appertains to the entity that is declared.

(再次强调我的)

更新:以上答案集中在 where 必须放置 alignas，而不是其确切含义。再想一想，还是觉得上面说的应该是成立的。考虑:

7.6.2 Alignment Specifier [dcl.align]

¹An alignment-specifier may be applied to a variable or to a class data member, but it shall not be applied to a bit-field, a function parameter, an exception-declaration (15.3), or a variable declared with the register storage class specifier. An alignment-specifier may also be applied to the declaration or definition of a class (in an elaborated-type-specifier (7.1.6.3) or class-head (Clause 9), respectively) and to the declaration or definition of an enumeration (in an opaque-enum-declaration or enum-head, respectively (7.2)). An alignment-specifier with an ellipsis is a pack expansion (14.5.3).

它列出了可以明确应用的情况，并列出了明确不能应用的情况。上述问题的例子都不是。

人们也可以争辩说，由 typedef 或 using 创建的类型别名将对齐规范作为别名类型的一部分。此别名可用于创建 7.6.2p1 允许的变量等，但不能使用 register 等创建变量。

从这个意义上说，我认为属性说明符是以延迟方式应用的(在 7.6.2 的意义上)，因此当对齐说明放在语法正确的位置时，OP 示例应该仍然有效。

关于c++ - 我在哪里可以在 C++11 中使用 alignas()？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/15788947/