为什么std::array没有一个构造函数，它接受要填充的数组的值？

Question

是缺乏

std::array<T,size>::array(const T& value);

一个疏忽？它对我来说似乎非常有用，动态容器（如std::向量）确实有一个类似的构造函数。

我完全意识到

std::array<T,size>::fill(const T& value);

但这不是构造函数，内存将首先清零。如果我想让所有人都像这家伙一样呢？

Answer 1

您可以使用索引序列：

namespace detail
{

    template <typename T, std::size_t...Is>
    constexpr std::array<T, sizeof...(Is)>
    make_array(const T& value, std::index_sequence<Is...>)
    {
        return {{(static_cast<void>(Is), value)...}};
    }
}

template <std::size_t N, typename T>
constexpr std::array<T, N> make_array(const T& value)
{
    return detail::make_array(value, std::make_index_sequence<N>());
}

演示

std::make_index_sequence是C 14，但可以在C 11中实现。

<代码>static_cast

Answer 2

请注意，您可以利用数组不是零初始化的事实有效地模拟这种类型的构造函数，并且具有复制构造函数和do。

template <size_t N, class T>
array<T,N> make_array(const T &v) {
    array<T,N> ret;
    ret.fill(v);
    return ret;
}

auto a = make_array<20>('z');

Answer 3

std::array在设计上是一个聚合，因此没有用户声明的构造函数。

正如您所说，可以在默认构造之后使用填充。由于它是一个聚合，默认构造不会将内存归零，但会使其处于未初始化状态（如果包含的类型是可初始化的）。