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

Question

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

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)，@ 987654325@, for (int i = 0; i < N; ++i) N 为 0。