为什么std :: array没有一个构造函数来为数组填充一个值？

Question

是没有

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

疏忽？它似乎对我有用,而动态容器(如std::vector)确实有类似的构造函数.

我完全清楚

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

但这不是构造函数,内存将首先归零.如果我想什么都-1好像这个家伙？

Answer 1

std::array 通过设计,是一个聚合,因此没有用户声明的构造函数.

如你所说,你可以fill在默认构建之后使用.由于它是一个聚合,因此默认构造不会将内存归零,但会使其保持未初始化状态(如果包含的类型可以简单地初始化).

Answer 2

请注意,您可以通过利用数组未初始化为零的事实来高效地模拟这种类型的构造函数,并且具有复制构造函数.

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<T>,它在std::array<T,N>哪里N是编译时常量积分表达式.

其次,std::array是按设计聚合的.所以它没有任何使它成为非聚合的东西,这就是为什么它没有构造函数...和析构函数,虚函数等.

Answer 4

您可以使用std::index sequence:

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中实现.