C++的模板特例化template＜＞

C++的模板特例化是指当我们定义了一个通用的模板类或模板函数时，如果特定输入参数类型或值需要进行不同的处理，我们可以为这些特定情况提供单独的实现，这就是模板特例化。下面我们将详细介绍C++的模板特例化。

假设我们有以下的一个模板类：

template
class MyTemplateClass {
public:
    void print() {
        std::cout << "MyTemplateClass: " << typeid(T).name() << std::endl;
    }
};

这个模板类是一个通用的类，可以接受任何类型的T作为模板参数，并在print()函数中输出T的类型信息。

如果我们现在想要对某些特定类型进行不同的处理，比如对于int类型，我们希望输出"MyTemplateClass with int type"，而对于std::string类型，我们希望输出"MyTemplateClass with std::string type"，我们可以通过模板特例化来实现：

① 类模板特例化

// 针对int类型的特例化
template<>
class MyTemplateClass {
public:
    void print() {
        std::cout << "MyTemplateClass with int type" << std::endl;
    }
};

// 针对std::string类型的特例化
template<>
class MyTemplateClass {
public:
    void print() {
        std::cout << "MyTemplateClass with std::string type" << std::endl;
    }
};

在这个例子中，我们使用了template<>语法来标识这是一个模板特例化。当我们提供了int或std::string作为模板参数时，编译器会优先选择这些特例化版本，而不是通用的类。对于其他类型，仍然会使用通用的类版本。

② 函数模板特例化

如果我们使用函数模板，也可以进行特例化。例如：

template
void myPrint(T t) {
    std::cout << "myPrint: " << t << std::endl;
}

// 针对char*类型的特例化
template<>
void myPrint(char* t) {
    std::cout << "myPrint with char* type: " << t << std::endl;
}

// 针对std::string类型的特例化
template<>
void myPrint(std::string t) {
    std::cout << "myPrint with std::string type: " << t << std::endl;
}

在这个例子中，我们使用了template<>语法来标识这是一个函数模板特例化。当我们调用myPrint()函数时，如果传入的参数是char*或std::string类型，编译器会优先选择这些特例化版本，而不是通用的函数模板版本。

总结：

模板特例化可以为特定输入参数类型或值提供单独的实现，以便于我们对它们进行不同的处理。在C++中，我们可以通过类模板特例化和函数模板特例化来实现。在使用模板特例化时，需要注意避免出现模板的二义性，保证每种模板参数只有一种特例化版本。