C++ specialization.txt

explicit specialization 也称显式特化，全特化，显式具体化

使用明确的类型来代替模板中的类型参数
函数：
函数在全局则可以全特化，在普通类（非模板类）内部则不能， 例如
template<typename T, typename U>
T abc(T &a, U& b)
{
    std::cout<<"func template origin"<<std::endl;
    return a;
}

template<>
char abc<char, int >(char &a, int &b)
{
    std::cout<<"func template specialized"<<std::endl;
    return a;
}

 

类：
类可以全特化
template<typename T>
class X{
public:
    enum{
        XCONST
    };
    X(){};
    ~X(){};

    void func_a(T &a);
    void func_b();
};

template<typename T>
void X<T>::func_a(T &a)
{
    std::cout<<"I am func_a origin"<<std::endl;
}

template<typename T>
void X<T>::func_b()
{
    std::cout<<"I am func_b origin"<<std::endl;
}

template<>
class X<char>{
public:
    X(){};
    ~X(){};

    void func_a(char &a);
    void func_b();
};

//template<>
void X<char>::func_a(char &a)
{
    std::cout<<"I am func_a specialized "<<a<<std::endl;
}

void X<char>::func_b()
{
    std::cout<<"I am func_b specialized "<<std::endl;
}
特化时所有的函数都必须特化

partial specialization 也称部分特化，部分具体化

模板中的部分模板参数的类型是确定的。

函数：
不允许.

类：
可以