C/Cpp / STL / 模板全特化和偏特化

栗子

#include <iostream>

template <typename T1, typename T2>
struct Test
{
    void Print() { std::cout << "原生版本" << std::endl; }
};

template <typename T2>
struct Test<float, T2>
{
    void Print() { std::cout << "偏特化版本" << std::endl; }
};

template <>
struct Test<int, double>
{
    void Print() { std::cout << "全特化版本" << std::endl; }
};

int main()
{
    Test<double, int> t1;
    t1.Print();
    Test<float, double> t2;
    t2.Print();
    Test<int, double> t3;
    t3.Print();

    return 0;
}

结果

原生版本
偏特化版本
全特化版本

说明

模板特化，顾名思义，就是对于模板类，针对特定的数据类型进行再次声明，从而达到模板特殊处理的目的。这里面的特化分为偏特化和全特化，区别如下：

• 偏特化是指定了部分类型，所以偏特化版本称为原生版本的子集。若实例化时参数类型为指定的类型，则优先调用特例化版本的代码。
• 偏特化本质上其还是模板。
• 全特化本质上是一个实例，当编译器匹配时会优先匹配参数一致的实例

模板特化的功能在STL中广泛使用，例如 __type_traits ，通过模板特化，可以达到判断型别是否是原生类型、指针类型以及类类型的目的。

 

（SAW：Game Over！）