使用 std::aligned_storage 对齐静态数组

Question

我正在尝试使用 std::aligned_storage 模式实现简单静态数组的 16 字节对齐：

#include <type_traits>
int main()
{
    const size_t SIZE = 8;
    using float_16 = std::aligned_storage<sizeof(float) * SIZE, 16>::type;
    float_16 mas;
    new(&mas) float[SIZE];//Placement new. Is this necessary? 

    mas[0]=1.f;//Compile error while attempting to set elements of aligned array
}

我得到以下编译错误：

在«mas[0]»中没有匹配«operator[]»

然后我尝试使用显式指针转换：

float* mas_ = reinterpret_cast<float*>(mas); 

但这也会产生编译错误：

类型 «float_16 {aka std::aligned_storage::type}» 输入 «float*»

谁能建议我如何正确使用 std::aligned_storage 对齐静态数组？

Answer 1

你可以使用：

float* floats = new (&mas) float[SIZE];

然后你可以使用：

floats[0] = 1.f;

根本没有reinterpret_cast :)

Answer 2

做事

alignas(16) float mas[SIZE];

std::aligned_storage 是来自boost 的 C++03 遗物。

Answer 3

mas 不是指针。 reinterpret_cast 必须只涉及指针、引用或整数类型，并且只能在某些组合中涉及：指向和来自整数类型的指针、指向指针的指针、对引用的引用或自身的整数类型。在这种情况下，您尝试将 std::aligned_storage<32u, 16u>::type 大小写为指针。您可以从中得到的最好的结果是对指针转换的引用，但这是不允许的†。

尝试将其地址转换为另一种指针类型：reinterpret_cast<float*>(&mas);。

---

† 为了好玩：如果std::aligned_storage<32u, 16u>::type 是指针类型，您可能会遇到最糟糕的情况。这是值得怀疑的，因为 32 字节指针并不常见，但它可能发生在 std::aligned_storage<8u, 8u>::type 上，例如，在一个非常讨厌的标准库中。让我们称之为地狱++。因此，在 Hell++ 中，它会编译得很好，并且您最终会将指针类型转换为另一种指针类型，然后对其进行所有讨厌的操作，例如取消引用它。这将是灾难性的，因为如果std::aligned_storage<32u, 16u>::type 是指针类型，则对象将没有存储地址，而是成为存储。