C++、模板的实例化与模板的特化，显示特化示例。

模板实例化：从通用版本中实现一个特化版本的实现，如将函数模板显式特化。

模板特化：指定编译器调用哪一种类型的实现

显式特化

先看 一个最简单的模板形式，如下。

template <typename T>
T max(T a, T b)
{
    return a > b ? a : b;
}

我们知道这一个模板可以将任意两个类型相同并且可以使用 " > " 进行比较的变量进行比较，并且可以得到比较结果为大，所对应的变量或者是对象。但是如果我们想要针对某一种特定类型进行定制，使模板可以表现出与上面模板所不同的行为，可以使用下面这种写法。

//主模板与上文相同
template <typename T>
T max(T a, T b)
{
    return a > b ? a : b;
}

//显式特化版本的 max模板特化int类型模板函数
template <>
int max<int>(int a, int b)
{
    std::cout << "int，";
    return a > b ? a : b;
}
int main()
{
    int a = 0;
    a=max<int>(5, 10);
    std::cout << a << std::endl;
}
    

在代码中我们调用了max函数模板的int版本。在输出结果中可以看到我们成功的执行了我们想要的结果，输出了 int，10。在执行max(5,10);时是直接将max()指向了int类型的特化版本，从而没有发生模板的实例化。

显示特化用途

我们思考上文比较大小是否会正确运行呢？
如当比较的两变量是指针类型时是否会出错？是比较的地址大小或者是指针所指向对象的大小。
测试代码如下

#include <iostream>
template <typename T>
T max(T a, T b)
{
    std::cout << a << std::endl;
    std::cout << b << std::endl;
    return a > b ? a : b;
}

int main()
{
    int a = 5, b = 10;
    int* pa = &a, * pb = &b;
    max<int*>(pa, pb);
    return 0;
}

如上代码在控制台输出了a,b 两变量所对应地址的值。很明显程序的结果并不符合我们期望的。我们可以使用显示特化来更正代码。使其可以比较指针所指向的类型的大小。代码如下：

#include <iostream>
template <typename T>
T max(T a, T b)
{
    return a > b ? a : b;
}
template <>
int* max<int*>(int* a, int* b)
{
    return *a > * b ? a : b;
}
int main()
{
    int a = 5, b = 10;
    int* p = 0;
    int* pa = &a, * pb = &b;
    p = max<int*>(pa, pb);
    std::cout << *p << std::endl;//10
    p = max<int*>(pb, pa);
    std::cout << *p << std::endl;//10
    return 0;
}

通过两次运行的结果都为10可以看出程序的运行是符合预期的。