C++模板特化如何与其他特性结合_运维文库_资讯中心

发布时间:2026-04-26 12:43:54

阅读量:2

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

函数模板特化：

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

#include 
#include 

// 通用实现
template <typename T>
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;
}

类模板特化：

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

#include 
#include 

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

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

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

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

    return 0;
}

模板偏特化：

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

#include 
#include 

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

// std::pair 偏特化实现
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;
}