c++ - 部分类特化只是编写完整特化的另一种方式吗？

Question

这两个专业本质上是在做同样的事情吗？

//generic:
template<class T>
struct A{
  ...
 }

template<class T>
struct A<int>{
  ...
 }

template<>
struct A<int>{
  ...
 } 

也就是说，在我看来，任何部分特化都可以重写为完全特化。

Answer 1

不，不是。好吧，在图灵 tar 坑中，每一种足够强大的编程技术都等同于每一种其他技术。

template<typename A, typename B>
struct foo:std::false_type {};
template<typename T>
struct foo<T,T>:std::true_type {};

在这里，我的偏特化将两个参数映射到一个。更高级的东西，比如:

template<typename T>
struct foo<T,std::vector<T>>:std::integral_constant<int, 7> {};

也是可以的。

你甚至可以用一个参数 template 来做到这一点:

template<typename T>
struct is_func_signature : std::false_type {};

template<typename R, typename... Args>
struct is_func_signature< R(Args...) >: std::true_type {};

我们在多个类型参数上对一个参数进行模式匹配，并提取它们。

偏特化是对第一个接口(interface)有效的参数进行模式匹配的游戏。