C++如何使用模板实现泛型算法-C++-PHP中文网

C++如何使用模板实现泛型算法

P粉602998670

发布： 2025-09-20 16:02:01

原创

747人浏览过

模板是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++如何使用模板实现泛型算法

在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 让编译器自动推导返回类型。

AiPPT模板广场

AiPPT模板广场-PPT模板-word文档模板-excel表格模板

147

查看详情

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

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

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中大多数算法的设计思路。