C++ 函数模板

最新推荐文章于 2025-06-30 15:18:52 发布

原创最新推荐文章于 2025-06-30 15:18:52 发布 · 1.2k 阅读

21 ·

CC 4.0 BY-SA版权

文章标签：

#c++ #开发语言

C++ 基础知识专栏收录该内容

62 篇文章

订阅专栏

C++ 函数模板

C++ 函数模板允许你编写通用函数，能够处理不同的数据类型。模板是一个编译时机制，它让你编写的函数可以适用于不同的类型，避免了重复编写相似功能的函数。

基本概念与用法

函数模板的定义

函数模板的定义让你能够创建通用的函数，这些函数可以处理不同类型的数据。模板的定义包括模板参数和函数体，模板参数指定了类型参数，这些参数在函数调用时会被具体类型替换。

语法：

template <typename T>
void FunctionName(T param1, T param2)
{
// 函数体
}

模板参数

typename：用来声明模板参数的类型。例如，template <typename T> 表示 T 是一个模板参数，可以是任意类型。
class：在早期的 C++ 中，class 用于定义模板参数。现代 C++ 中 class 和 typename 可以互换使用，但为了向后兼容，typename 更常用。
实例化

实例化是编译器根据模板定义生成具体函数的过程。每当你使用模板时，编译器会创建一个具体的函数版本以适应传递的实际类型。

高级用法

decltype 关键字

decltype 是 C++11 引入的关键字，用于获取表达式的数据类型。它不会计算表达式的值，只会确定其类型。

语法：decltype(expression) var;
推导规则：

标识符：如果 expression 是一个标识符，var 的类型与该标识符的类型相同。

int x = 10;
decltype(x) y = 20; // y 的类型是 int

函数调用：如果 expression 是一个函数调用，var 的类型与函数的返回值类型相同。

int foo() { return 42; }
decltype(foo()) z; // z 的类型是 int

左值或括号括起来的标识符：如果 expression 是一个左值或用括号括起来的标识符，var 的类型是 expression 的引用类型。

int a = 10;
decltype((a)) b = a; // b 的类型是 int&

函数后置返回类型

C++11 引入了函数后置返回类型的语法，允许将返回类型放在函数参数列表之后。这在需要复杂类型推导时非常有用

auto FunctionName(Parameters) -> ReturnType;

auto multiply(int x, double y) -> decltype(x * y)
{
return x * y;
}

在这个例子中，decltype(x * y) 用于推导返回类型，它会推导出 double 类型。

注意事项

模板参数的匹配

使用函数模板时，模板参数必须与实际传递的类型匹配。否则，编译器无法实例化模板。
隐式类型转换

函数模板的自动类型推导不会发生隐式类型转换。如果显式指定了模板参数，可以发生隐式类型转换。
模板支持多个参数

函数模板可以有多个模板参数。这样，你可以定义更复杂的通用函数。

        template <typename T1, typename T2>
        void PrintPair(const T1& first, const T2& second)
        {
          std::cout << first << ", " << second << std::endl;
        }

4.模板重载

函数模板支持重载，即可以有多个模板版本。这些版本可以有不同的模板参数，或者模板参数的类型不同。

template <typename T>
void Print(const T& value)
{
std::cout << value << std::endl;
}

template <typename T>
void Print(const T* arr, int size)
{
for (int i = 0; i < size; ++i)
std::cout << arr[i] << " ";
std::cout << std::endl;
}

函数模板的具体化：具体化（特例化、特化）允许你为特定的类型提供函数模板的实现。当模板参数匹配时，编译器会使用具体化的版本，而不是通用模板。

template <typename T>
void Print(const T& value)
{
std::cout << value << std::endl;
}

// 特化版本
template <>
void Print(const char* const& value)
{
std::cout << "String: " << value << std::endl;
}

在这个例子中，Print 函数模板有一个特化版本专门处理 const char* 类型的参数。