学懂C++ （十七）：高级教程——C++ 模板详解

猿享天开

于 2024-08-08 15:16:09 发布

阅读量580

点赞数 17

分类专栏：学懂C++语言-C++核心编程精讲文章标签： c++ 开发语言模板

本文链接：https://blog.csdn.net/martian665/article/details/141027269

版权

学懂C++语言-C++核心编程精讲专栏收录该内容

61 篇文章 18 订阅

订阅专栏

C++模板（template）是一种强大的编程工具，用于创建通用的、可重用的代码。模板允许我们编写独立于任何特定类型的代码，从而实现泛型编程。C++支持两种类型的模板：函数模板和类模板。

1. 函数模板

函数模板是用于创建可以处理不同数据类型的通用函数的模板。使用函数模板可以避免为不同数据类型编写重复的代码。

基本语法

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

在上述示例中，template <typename T>定义了一个模板，其中T是一个占位符类型。函数myMax使用该模板参数，可以处理任何数据类型的参数。

使用函数模板

int main() {
    int i = 5, j = 6;
    double x = 10.5, y = 7.8;

    cout << myMax(i, j) << endl;  // 输出: 6
    cout << myMax(x, y) << endl;  // 输出: 10.5

    return 0;
}

2. 类模板

类模板用于创建可以处理不同数据类型的通用类。类模板与函数模板的工作原理类似，但应用于类。

基本语法

template <typename T>
class MyClass {
public:
    MyClass(T val) : value(val) {}
    T getValue() const { return value; }

private:
    T value;
};

在上述示例中，template <typename T>定义了一个模板，其中T是一个占位符类型。类MyClass使用该模板参数，可以处理任何数据类型的成员变量和函数。

使用类模板

int main() {
    MyClass<int> obj1(10);
    MyClass<double> obj2(10.5);

    cout << obj1.getValue() << endl;  // 输出: 10
    cout << obj2.getValue() << endl;  // 输出: 10.5

    return 0;
}

3. 模板特化

模板特化（Template Specialization）允许我们为特定的数据类型提供不同的实现。当模板的通用实现不适用于某些特定类型时，可以使用模板特化。

函数模板特化

template <>
const char* myMax<const char*>(const char* a, const char* b) {
    return (strcmp(a, b) > 0) ? a : b;
}

在上述示例中，我们为const char*类型特化了myMax函数模板，以便正确比较C风格字符串。

类模板特化

首先，我们定义一个通用的类模板MyClass，然后为int类型提供一个特化实现。

// 通用类模板
template <typename T>
class MyClass {
public:
    MyClass(T val) : value(val) {}
    void print() const {
        std::cout << "Generic: " << value << std::endl;
    }
private:
    T value;
};

// 特化类模板，为 int 类型提供专门的实现
template <>
class MyClass<int> {
public:
    MyClass(int val) : value(val) {}
    void print() const {
        std::cout << "Specialized for int: " << value << std::endl;
    }
private:
    int value;
};

使用类模板特化

接下来，我们实例化并使用MyClass模板，包括通用版本和特化版本。

int main() {
    // 使用通用类模板
    MyClass<double> obj1(3.14);
    obj1.print();  // 输出: Generic: 3.14

    // 使用特化类模板
    MyClass<int> obj2(42);
    obj2.print();  // 输出: Specialized for int: 42

    return 0;
}

在这个示例中，我们定义了一个通用的类模板MyClass，并为int类型提供了一个特化实现。当我们实例化MyClass<double>时，使用的是通用模板；而当我们实例化MyClass<int>时，使用的是特化模板。

特化模板的优势

特化模板允许你为特定的类型提供定制的实现，这在以下情况下非常有用：

性能优化：对于某些类型，你可以提供更高效的实现。
行为定制：对于某些类型，你可以提供不同的行为或功能。
类型特定处理：对于某些类型，你可以处理类型特定的细节。

注意事项

特化模板必须与通用模板定义在同一个命名空间中。
特化模板必须在通用模板之后定义。
特化模板不能部分特化，只能完全特化（即所有模板参数都必须指定）。

4. 模板参数

除了类型参数，模板还可以接受非类型参数（例如整数常量）。

非类型模板参数

template <typename T, int size>
class Array {
public:
    T arr[size];
};

int main() {
    Array<int, 10> intArray;
    Array<double, 5> doubleArray;

    return 0;
}

在上述示例中，Array模板类接受一个类型参数T和一个非类型参数size，可以用于创建不同大小的数组。

5. 模板的实现与分离

通常，模板的声明和定义放在同一个头文件中，因为编译器需要在编译时知道模板的实现。

// MyTemplate.h
#ifndef MYTEMPLATE_H
#define MYTEMPLATE_H

template <typename T>
class MyTemplate {
public:
    MyTemplate(T val);
    T getValue() const;

private:
    T value;
};

template <typename T>
MyTemplate<T>::MyTemplate(T val) : value(val) {}

template <typename T>
T MyTemplate<T>::getValue() const {
    return value;
}

#endif