std::array 的目的是什么<t, 0> ？</t,>

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 时。