为什么 alignas() 不采用参数包？

Question

根据cppreference.com

---

对齐说明符（C++11 起）

指定类型或对象的对齐要求。

语法

alignas( 表达式 )
alignas( type-id )
alignas( 包 ... )

1. alignas(expression) 必须是一个整数常量表达式，其计算结果为零，或者是对齐或扩展对齐的有效值。

2. 相当于alignas(alignof(type))

3. 等效于应用于同一声明的多个 alignas 说明符，一个用于参数包的每个成员，可以是类型或非类型参数包。

---

那么为什么以下内容不适用于 g++、clang 或 VC++？

struct alignas(1, 4) A {};

或

struct alignas(int, double) A {};

这是缺陷吗？

罢工>

编辑

显然这适用于 g++ 8.2 而不适用于 clang++ 8.0 或 VC++ 19.20.27508.1 所以似乎是一个缺陷，编译器还没有赶上。

编辑

显然，在 cygwin bash shell 中运行 MinGW 的 g++ 编译器会导致奇怪的行为。在 MinGW 的 bash shell 中运行时工作正常。所以，不，这在 g++ 8.2 下也不起作用。

Answer 1

1, 4 或 int, double 不是参数包。这将是在此上下文中使用的参数包的示例：

template <class... T>
struct Widget
{
  struct alignas(T...) A {};
};

请注意，可以将多个 alignas 说明符应用于同一个声明，因此您的示例可以分别写为 alignas(1) alignas(4) 和 alignas(int) alignas(double)。