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