C++模板特化如何与其他特性结合

C++ 模板特化是一种强大的功能，它允许你为特定类型或条件提供定制的实现

1. 函数模板特化：

函数模板特化允许你为特定类型提供定制的函数实现。例如，假设你有一个通用的 add 函数模板，你可以为某个特定类型（如 std::string）提供特化实现：

#include <iostream>
#include <string>

// 通用实现
template <typename T>
T add(T a, T b) {
    return a + b;
}

// std::string 特化实现
template <>
std::string add<std::string>(std::string a, std::string b) {
    return a + " " + b;
}

int main() {
    std::cout << add(1, 2) << std::endl; // 输出 3
    std::cout << add("Hello, ", "World!") << std::endl; // 输出 "Hello, World!"
    return 0;
}

2. 类模板特化：

类模板特化允许你为特定类型提供定制的类实现。例如，假设你有一个通用的 MyContainer 类模板，你可以为某个特定类型（如 std::vector<int>）提供特化实现：

#include <iostream>
#include <vector>

// 通用实现
template <typename T>
class MyContainer {
public:
    void print() {
        std::cout << "Generic container" << std::endl;
    }
};

// std::vector<int> 特化实现
template <>
class MyContainer<std::vector<int>> {
public:
    void print() {
        std::cout << "Vector of integers" << std::endl;
    }
};

int main() {
    MyContainer<int> genericContainer;
    genericContainer.print(); // 输出 "Generic container"

    MyContainer<std::vector<int>> vectorContainer;
    vectorContainer.print(); // 输出 "Vector of integers"

    return 0;
}

3. 模板偏特化：

模板偏特化允许你为一组类型提供部分定制的实现。例如，假设你有一个通用的 MyPair 类模板，你可以为某个特定类型（如 std::pair<int, int>）提供偏特化实现：

#include <iostream>
#include <utility>

// 通用实现
template <typename T1, typename T2>
class MyPair {
public:
    void print() {
        std::cout << "(" << t1 << ", " << t2 << ")" << std::endl;
    }
};

// std::pair<int, int> 偏特化实现
template <>
class MyPair<int, int> {
public:
    void print() {
        std::cout << "Int pair" << std::endl;
    }
};

int main() {
    MyPair<int, double> pair1;
    pair1.print(); // 输出 "(int, double)"

    MyPair<int, int> pair2;
    pair2.print(); // 输出 "Int pair"

    return 0;
}

结合这些特性，你可以根据需求为特定类型或条件提供定制的实现，从而提高代码的可读性和性能。