c++ - 使用 std::aligned_storage 过度对齐的类型

Question

C++ 标准声明，关于 std::aligned_storage 模板，

Align shall be equal to alignof(T) for some type T or to default-alignment.

那是不是说程序中一定有这样的类型，或者说一定是可以做出这样的类型？特别是 possible implementation建议在 cppreference 上是

template<std::size_t Len, std::size_t Align /* default alignment not implemented */>
struct aligned_storage {
    typedef struct {
        alignas(Align) unsigned char data[Len];
    } type;
};

如果可能的话(也就是说，如果 Align 是有效的对齐方式)，这似乎使 具有该对齐方式的类型。如果这种类型尚不存在，那么指定 Align 是必需的行为还是未定义的行为？

也许更重要的是，假设 Align 至少是一种类型的合法对齐方式，编译器或标准库在这种情况下无法做正确的事情在实践中是否合理？有吗？

Answer 1

您始终可以尝试创建具有任意(有效)对齐方式的类型 N :

template <std::size_t N> struct X { alignas(N) char c; };

当 N大于默认对齐方式 X已扩展对齐。对扩展对齐的支持是实现定义的，[dcl.align] 说:

if the constant expression does not evaluate to an alignment value (6.11), or evaluates to an extended alignment and the implementation does not support that alignment in the context of the declaration, the program is ill-formed.

因此，当您尝试说 X<N> 时对于不受支持的扩展对齐方式，您将面临诊断。您现在可以使用 X<N> 的存在(或其他)证明特化的有效性aligned_storage<Len, N> (现在满足 T = X<N> 条件)。

自 aligned_storage将有效地使用类似 X 的东西在内部，您甚至不必实际定义 X .这只是解释中的精神帮助。 aligned_storage如果不支持请求的对齐方式，则格式错误。