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

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

1. 函数模板特化：

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

#include 
#include 

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

// std::string 特化实现
template <>
std::string add(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）提供特化实现：

#include 
#include 

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

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

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

    MyContainer> vectorContainer;
    vectorContainer.print(); // 输出 "Vector of integers"

    return 0;
}

3. 模板偏特化：

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

#include 
#include 

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

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

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

    MyPair pair2;
    pair2.print(); // 输出 "Int pair"

    return 0;
}

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