模板是C++泛型编程的核心，通过template<typename T>定义通用函数，如max(T a, T b)可自动推导int、double等类型；2. 支持多类型参数，如add(T a, U b)使用decltype或auto推导返回类型；3. 结合迭代器实现容器无关算法，如find可遍历vector、list等支持迭代器的容器；4. C++20引入概念（concepts）约束模板参数，如std::totally_ordered T确保类型支持全序比较，提升编译错误可读性与代码安全性。

在C++中，模板是实现泛型算法的核心机制。它允许你编写与数据类型无关的函数或类，从而让同一段代码适用于多种类型。使用函数模板，你可以定义一个通用的算法，编译器会根据调用时传入的参数类型自动生成对应的实例。

函数模板的基本语法

定义一个泛型算法通常从函数模板开始。语法如下：

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

这里的 T 是一个类型占位符，可以是任何支持 > 操作的类型，比如 int、double 或 string。当你调用 max(3, 5) 时，编译器自动推导 T 为 int，并生成对应的函数版本。

处理多个类型参数

有些算法需要操作不同类型的参数。可以通过多个模板参数来实现：

立即学习“C++免费学习笔记（深入）”；

template <typename T, typename U>
auto add(T a, U b) -> decltype(a + b) {
    return a + b;
}

这里使用了尾置返回类型（decltype）来推导两个不同类型相加的结果。这种写法在早期C++11中很常见，现代C++也可直接用 auto 让编译器自动推导返回类型。

结合标准库和迭代器实现通用算法

真正强大的泛型算法往往不直接操作具体值，而是通过迭代器访问容器中的元素。例如，实现一个通用的 find 算法：

AI Agent

AIAgent.app 是一个可以让你使用AI代理来完成各种任务的网站，有效提升创造生产力

131

查看详情

template <typename Iterator, typename T>
Iterator find(Iterator first, Iterator last, const T& value) {
    while (first != last) {
        if (*first == value)
            return first;
        ++first;
    }
    return last;
}

这个函数可以用于数组、vector、list 等任何提供迭代器的容器，只要元素支持 == 比较操作。这正是STL中大多数算法的设计思路。

约束模板参数（C++20概念）

模板虽然灵活，但错误可能在实例化时才暴露。C++20引入了“概念”（concepts）来限制模板参数的类型要求：

#include <concepts>

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

这样只有支持全序比较的类型才能使用该函数，编译错误更清晰，也提升代码可读性。

基本上就这些。从简单的函数模板到结合迭代器的通用算法，再到现代C++的概念约束，模板让你写出高效且可复用的泛型代码。关键是理解类型推导和接口契约，确保算法对所有合法类型都能正确工作。