C++模板编程入门_C++函数模板与类模板的创建与使用方法

函数模板和类模板通过template定义,支持类型自动推导与显式指定,实现泛型编程;函数模板用于通用逻辑,如max(T a, T b);类模板构建类型无关容器,如Stack,成员函数需重申模板;模板代码须在头文件中定义,支持多类型参数及非类型参数(如int N),实例化时生成独立类型,是STL设计基础。

模板是C++中实现泛型编程的核心工具,它允许我们编写与数据类型无关的通用代码。通过函数模板和类模板,可以为多种类型复用同一套逻辑,提高代码的灵活性和可维护性。下面介绍如何创建和使用C++中的函数模板与类模板。

函数模板的定义与使用

函数模板用于生成针对不同类型的函数版本。使用template关键字声明模板参数,通常配合typenameclass关键字指定类型占位符。

定义语法:

template
T max(T a, T b) {
    return (a > b) ? a : b;
}

这里T是类型参数,在调用时会被实际类型自动推导。例如:

立即学习“C++免费学习笔记(深入)”;

int x = max(3, 5); // T 被推导为 int
double y = max(2.5, 7.1); // T 被推导为 double

也可以显式指定类型:

max(3.0f, 4.0f);

当函数参数类型不一致时,显式指定有助于避免编译错误。

类模板的定义与实例化

类模板允许我们定义一个通用类,其中部分成员(如变量、函数)依赖于未知类型。常见于容器类如std::vectorstd::stack等。

定义示例:

template
class Stack {
private:
    T data[100];
    int topIndex;
public:
    Stack() : topIndex(-1) {}
    void push(const T& value);
    T pop();
    bool empty() const { return topIndex == -1; }
};

// 成员函数在类外定义需再次标明模板
template
void Stack::push(const T& value) {
    if (topIndex         data[++topIndex] = value;
    }
}

template
T Stack::pop() {
    return data[topIndex--];
}

使用方式:

Stack intStack;
intStack.push(10);
intStack.push(20);
while (!intStack.empty()) {
    std::cout }

每个不同的类型实例都会生成独立的类副本,如StackStack是两个不同的类型。

模板的注意事项与技巧

模板代码必须在头文件中定义,因为编译器需要在编译时看到完整实现才能进行实例化。不能像普通函数那样将声明与定义分离到cpp文件中。

支持多个模板参数:

template
class Map { ... };

也可使用非类型模板参数,比如整型常量:

template
class Array {
    T data[N];
};
Array arr; // 固定大小数组

注意非类型参数只能是编译期常量,如字面值、const表达式等。

基本上就这些。掌握函数模板和类模板的基本写法后,就能理解STL中许多组件的设计原理,也为后续学习更高级的模板技术打下基础。不复杂但容易忽略细节,多写几个例子会更清楚。