c++ - 部分模板特化错误

Question

我正在编写一个容器类，对于小于阈值的大小，使用 std::array 作为内核，对于更大的大小，使用 std::vector。

这是我的实现。

    template<typename, size_t, bool>
    class VectorStorage {
    };

    template<typename T, size_t DIM>
class VectorStorage<T, DIM, bool_const_v<(DIM < threshold)> > : public kernel_t<T,
        DIM, 1> { // impelementaion}

template<typename T, size_t DIM>
class VectorStorage<T, DIM, bool_const_v<(DIM >= threshold)> > : public kernel_t<T,
        DIM, 1> { // impelementaion}

我收到以下错误？考虑到 SFINAE 不适用于 clas specialiaziton，甚至可以这样做吗？我正在使用带有 -std=c++1y 的 clang

non-type template argument depends on a template parameter of the partial specialization

Answer 1

将计算放入默认模板参数中。

template<typename T, size_t DIM, bool ISSMALL = (DIM < threshold)>
class VectorStorage {
   /* default implementation for small case */
};

template<typename T, size_t DIM>
class VectorStorage<T, DIM, false> {
   /* implementation for big case */
};

您也可以切换它们，或使用两个偏特化。如果您偏执并想隐藏 ISSMALL，请添加一个包装器。