c++ - 用户定义的模板约束只接受一个用户定义的模板类

Question

有没有办法创建您自己的 enable_if 之类的条件？

我有一个模板类:Foo<int, int, int>我还有另一个采用类型的模板类:Template <T> class Bar .

我想约束 Bar类使得它采用的类型可能只是 Foo 中的任何一个。类专业。例如，可以取 Foo<0, 0 ,1>但不能采用 int 类型。

是否有一种通过用户定义的 enable_if 来要求此约束的简洁明了的方法？有没有我没有考虑过的更好的方法？理想情况下，解决方案应该相对紧凑和清晰，可能采用 std::is_arithmetic 的工作方式。

感谢您的宝贵时间和建议。

Answer 1

无需提取任何库类型。最简单的方法是一个很好的旧特化:

template <typename> class Bar;

template<int a, int b, int c>
class Bar<Foo<a, b, c>> {
  // Define `Bar`
};

实例化 Bar类型是 Foo<...>会选择特化，而用任何其他类型对其进行实例化将进入死胡同，即 Bar<T> 的不完整类声明| .