当前位置：首页 > news >正文

C++模板入门：函数与类模板详解

news 2026/4/15 6:27:14

C++模板是一种支持泛型编程的语言特性，它允许编写与类型无关的代码，从而提高代码的复用性和灵活性。模板的核心思想是“参数化类型”，即让数据类型本身成为函数或类的参数。C++模板主要分为函数模板和类模板两大类。

1. 函数模板

函数模板用于定义一系列逻辑相同但操作数据类型不同的函数。其基本语法如下：

template <typename T> // 或 template <class T> T functionName(T param) { // 函数体 }

template关键字声明一个模板。
<typename T>或<class T>定义了一个类型参数T，它代表一个占位符类型，在调用时会被具体的类型（如int,double,string等）替换。
函数返回值、参数类型或函数体内都可以使用这个类型参数T。

示例：一个返回两数中较大值的函数模板

#include <iostream> using namespace std; template <typename T> // 声明模板和类型参数T T maxValue(T a, T b) { // 使用T作为参数和返回值类型 return (a > b) ? a : b; } int main() { cout << maxValue(3, 7) << endl; // 调用maxValue<int>，输出7 cout << maxValue(3.5, 2.1) << endl; // 调用maxValue<double>，输出3.5 cout << maxValue('a', 'z') << endl; // 调用maxValue<char>，输出'z' return 0; }

编译器会根据调用时传入的实参类型，自动推导并生成对应类型的函数实例，这个过程称为模板实例化。

2. 类模板

类模板允许定义一种通用的类，其成员变量或成员函数的类型可以参数化。其基本语法如下：

template <typename T> // 或 template <class T> class ClassName { // 类成员声明和定义，可以使用类型T };

示例：一个简单的栈（Stack）类模板

#include <iostream> using namespace std; template <typename T, int MAX_SIZE = 100> // 可以包含非类型参数（如int MAX_SIZE） class Stack { private: T elements[MAX_SIZE]; // 使用类型参数T定义数组 int topIndex; public: Stack() : topIndex(-1) {} void push(const T& value) { if (topIndex < MAX_SIZE - 1) { elements[++topIndex] = value; } } T pop() { if (topIndex >= 0) { return elements[topIndex--]; } // 简化处理，实际应处理异常 return T(); } bool isEmpty() const { return topIndex == -1; } }; int main() { Stack<int> intStack; // 实例化一个存储int的栈，使用默认大小100 intStack.push(10); intStack.push(20); cout << intStack.pop() << endl; // 输出20 Stack<double, 50> doubleStack; // 实例化一个存储double的栈，大小为50 doubleStack.push(3.14); return 0; }

在实例化类模板时，必须在类名后使用尖括号<>指定具体的模板参数（如Stack<int>），这与函数模板的自动推导不同。

3. 模板的高级特性与用法

3.1 模板特化与偏特化

当通用模板无法满足特定类型的特殊需求时，可以对其进行特化。

全特化：为所有模板参数提供具体的类型。

// 通用模板 template <typename T> class MyClass { /*...*/ }; // 全特化版本，针对T为int的情况 template <> class MyClass<int> { /*...*/ };

偏特化（局部特化）：仅对部分模板参数提供具体类型或进行限制。

// 通用模板 template <typename T1, typename T2> class MyPair { /*...*/ }; // 偏特化版本，当两个类型相同时 template <typename T> class MyPair<T, T> { /*...*/ };

3.2 模板与继承

类模板可以参与继承关系，既可以从普通类继承，也可以从另一个类模板继承。

// 基类模板 template <typename T> class Base { protected: T data; public: Base(T d) : data(d) {} }; // 派生类模板 template <typename T> class Derived : public Base<T> { // 继承自Base<T>，使用相同的类型参数 public: Derived(T d) : Base<T>(d) {} void print() { cout << this->data << endl; } // 注意：访问基类成员可能需要使用this-> };

3.3 模板别名（using 与 typedef）

为了简化复杂模板类型的书写，可以使用typedef或 C++11 引入的using来创建类型别名。

template <typename T> using Vec = std::vector<T>; // 模板别名 Vec<int> intVec; // 等价于 std::vector<int>

using在定义模板别名时比typedef更灵活直观。

3.4 C++20 概念与约束（Concepts and Requires）

C++20 引入了概念（Concepts）来对模板参数施加约束，使用requires关键字指定类型必须满足的条件，这能产生更清晰的编译错误信息并增强代码可读性。

#include <concepts> // 定义一个概念，要求类型T可相加且结果类型可转换为T template<typename T> concept Addable = requires(T a, T b) { { a + b } -> std::convertible_to<T>; }; // 使用概念约束函数模板 template <Addable T> T add(T a, T b) { return a + b; } // 或者直接在模板声明中使用requires子句 template <typename T> requires Addable<T> T subtract(T a, T b) { return a - b; } // 此函数要求T满足Addable概念

requires子句可以检查类型是否拥有特定成员、支持特定操作等。

3.5 模板与友元

模板类可以声明友元。友元声明可以针对特定类型，也可以是模板形式。

template <typename U> class OtherClass; // 前向声明 template <typename T> class MyClass { private: T secret; public: // 声明OtherClass<int>是MyClass<T>的友元（特定实例友元） friend class OtherClass<int>; // 声明所有OtherClass<U>都是MyClass<T>的友元（模板友元） template <typename U> friend class OtherClass; };