c++ - 具有与模板相同类型非类型参数的默认类型参数

Question

好的，那么我如何在使用 C 之前声明它呢？或者这是不可能的？

// g++ error: 'C' has not been declared
// syntax error : identifier 'C'

template<C v, typename T, typename C = size_t> 
class keyedType {
    typedef T type;
    static constexpr C index = v;
};

Answer 1

您可以通过使 v 模板参数也具有默认值来回避它，例如

template<typename T, typename C = size_t, C v = C()> 
class keyedType {
    typedef T type;
    static constexpr C index = v;
};