c++ - 这个条件如何放在模板偏特化中？

Question

template<size_t bits_count, typename = void>
struct best_type {
};

template<size_t bits_count>
struct best_type<bits_count,enable_if_t<bits_count > 8>> { // error: template argument 2 is invalid
  typedef byte type;
};

错误是因为解析器将第二个模板参数视为 enable_if_t<bits_count >以下是随机 8 .

显然，解决这个问题的方法是替换 enable_if_t 的参数。至 bits_count >= 9 ，但是否可以采取一些措施来保留原始表达方式，以便对 future 的读者有意义？

Answer 1

您应该添加额外的括号来向编译器解释您的意思:

template<size_t bits_count>
struct best_type<bits_count,enable_if_t<(bits_count > 8)>> {
    typedef byte type;
};