关于c++:C模板完全特化

1. 简介

齐全特化（full specialization）也叫显式特化（explict specialization）. 它容许为给定的模板实参自定义模板代码.

2. 语法

template <> declaration

必须实例化所有的模板形参.

如，

#include <iostream>template <typename T>struct IsVoid{    static constexpr bool value = false;};template <>struct IsVoid<void>{    static constexpr bool value = true;};int main(){    std::cout << std::boolalpha << IsVoid<int>::value << '\n';        // false    std::cout << std::boolalpha << IsVoid<void>::value << '\n';        // true}

3. 什么时候不须要加上 template <>？

（1）如果你正在显式特化一个模板，则应该加上 template <>.

template<class T> class Array { /*...*/ };// primary templatetemplate<class T> void sort(Array<T>& v);// specialization for T = inttemplate<> void sort(Array<int>&);

template<typename T>struct A {    struct B {}    template<class U> struct C { };};template <>struct A<int> {    void f(int);};

（2）如果你正在为一个已显式特化的类模板定义成员，则不须要加上 template <>.

void A<int>::f(int) {}

此时 A<int> 已是一个具体的类，不再是模板，没有模板形参，不再是能够被特化的实体了.

（3）如果模板 A 之前没有被显式特化过，而你正在为 A<Type> 特化它的某个成员 B，则须要加上 template <>.

template<>struct A<char>::B {    void f();};

（4）如果模板 A 之前没有被显式特化过，但已为 A<Type> 特化它的某个成员 B（非类模板），则在定义 B 的成员时，不须要加上 template <>.

void A<char>::B::f() {}

A<char>::B 已是具体的类型，不可特化.

（5）如果模板 A 之前没有被显式特化过，但已为 A<Type> 特化它的某个成员 C，且 C 是一个类模板，则在定义 C 的成员时，须要加上 template <>.

template<>template<class U>struct A<char>::C {    void f();};template<>template<class U>void A<char>::C<U>::f() { /* ... */ }

（6）如果类模板的成员也是一个模板，也能够将其显式特化.

template<typename T>struct A {    template<class U> void g1(T, U);};template<>template<>void A<int>::g1(int, char);template<>template<>void A<int>::g1(int, char) {}

（7）如果类模板 A 已显式特化，其成员 C 是一个类模板，则在显式特化 C 时，不须要加上 template <>.

template<typename T>struct A {    struct B {}    template<class U> struct C { };};template <>struct A<int> {    template<class U> struct C { };};template <>struct A<int>::C<char> {    void f();};void A<int>::C<char>::f() {}