c++ - std::array 的目的是什么？

Question

我发现 std::array 中有一个模板部分特化 std::array<T, 0> .

template <typename T>
struct array<T, 0> {
    //...
    typedef typename conditional<is_const<_Tp>::value, const char,
                                char>::type _CharType;
    struct  _ArrayInStructT { _Tp __data_[1]; };
    alignas(_ArrayInStructT) _CharType __elems_[sizeof(_ArrayInStructT)];
    //...
}

那么实现std::array<T, 0>的目的是什么？ ？

非常感谢!

Answer 1

原因很简单，就是一致性。当您编写模板时，始终能够编写 std::array<Ty, N> 会更容易。而不是必须在 N 时编写特殊情况是 0。这种均匀性经常出现:new int[0] , operator new(0) , std::malloc(0) , for (int i = 0; i < N; ++i)当N是 0。