c++ - std::array 存储位置如何？

Question

我想要一种机制，允许我将可变函数参数(所有这些参数都可以转换为某些特定的普通旧数据类型的值 F )连接到适当大小的原始数据存储中(大小大于或等于参数大小的总和)。我写了下面的代码:

#include <iostream>
#include <iterator>
#include <new>
#include <cstdlib>
#include <cassert>
#include <array>
#include <tuple>

template< typename F >
struct repacker
{

    constexpr
    repacker(F * const _storage)
        : storage_(_storage)
    {
        static_assert(std::is_pod< F >::value, "Underlying type is not a POD type.");
    }

    F * const storage_;

    template< typename... P >
    auto operator () (P && ...params) const
    {
        constexpr auto N = sizeof...(P);
        using A = std::array< F, N >; // using A = F [N]; this eliminates the problem
        static_assert(sizeof(A) == sizeof(F) * N, "This compiler does not guarantee, that this code to be working.");
#ifndef _NDEBUG
        auto a =
#else
        std::ignore =
#endif
                new (storage_) A{F(params)...};
        assert(static_cast< void * >(a) == static_cast< void * >(a->data()));
        return N;
    }

};

int main()
{
    using F = double;
    constexpr auto N = 6;
    F * a = new F[N];
    {
        F x(1.0);
        F const y(2.0); 
        repacker< F > r(a);
        auto const M = r(x, y, 3.0, 4, 5.0f, 6.0L);
        assert(M == N);
    }
    std::copy(a, a + N, std::ostream_iterator< F const & >(std::cout, " "));
    std::cout << std::endl;
    delete [] a;
    return EXIT_SUCCESS;
}

但我不确定 assert(static_cast< void * >(&a) == static_cast< void * >(a.data()));断言对所有编译器都是正确的。这是代码运行的必要条件。

断言总是正确的吗？

Answer 1

This is a necessary condition for a code to be working.

不，不是。好的，这是必要的，但这还不够。这个(非常糟糕的)代码工作的另一个必要条件是:

sizeof(std::array<F, N>) == sizeof(F) * N;

标准不保证这一点。 std::array 与 C 风格数组的布局不兼容。 std::array 的内容是，但不是完整类型本身。

如果你想在内存中初始化你分配的位 block 中的一些对象，你应该新建一个 char[] 数组，而不是 F 数组。你应该分配这个:

char *a = new char[sizeof(std::array<F, N>)];