部分课程专业化只是完全专业化的一种不同方式吗？

Question

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

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

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

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

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

Answer 1

不，它不是。那么，在Turing tar pit中，每一个足够强大的编程技术都相当于其他所有的编程技术。

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 {}; 

我们模式匹配一​​个参数上许多类型的参数，并提取它们。

部分专业化是对参数进行模式匹配的游戏，该参数将对第一个接口有效。