函数模板如何定义？template<typename T>前缀

使用template定义函数模板是c++++泛型编程的基础，它允许编写与类型无关的复用函数。1. template是模板声明前缀，t为类型占位符，可被任何合法标识符替代；2. 函数模板结构包含模板声明、返回类型t及参数类型t，逻辑与普通函数相同；3. typename和class在函数模板中等价，但typename语义更明确；4. 调用时可通过自动类型推导或显式指定类型实例化函数；5. 模板支持多个类型参数，用于处理不同类型的输入；6. 使用时需注意类型兼容性、模板定义位置及避免代码膨胀问题。

定义函数模板时，使用 template 前缀是 c++ 中实现泛型编程的基础。它的作用是告诉编译器：接下来要写一个类型参数化的函数，这里的 T 是一个占位符类型名，可以是任何合法的标识符（比如 typename U、typename MyType 也可以），但通常用 T 表示“Type”。

前缀” />

函数模板的基本结构

一个最简单的函数模板看起来像这样：

前缀” />

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

• template：这是模板声明前缀，表示这是一个模板函数。
• T 是一个类型参数，在调用函数时由编译器自动推导或显式指定。
• 函数体中的逻辑和普通函数一样，只是用 T 替代了具体类型。

你可以用这个函数比较 int、double、甚至自定义类型的值（只要支持 > 运算符）。

模板关键字 typename 的含义

在 template 中，typename 关键字用于引入一个类型参数。你可能会看到有些代码中用了 class 替代 typename，例如：

前缀” />

template<class T> T max(T a, T b);

其实这两种写法在函数模板中是等价的，都可以使用。不过从语义上讲，typename 更准确一些，因为它明确表示这是一个通用类型，而不仅仅是类类型。

使用函数模板的几种方式

1. 自动类型推导
   在调用模板函数时，如果参数类型能被明确推导出来，可以直接省略类型：

   int a = 3, b = 5; int result = max(a, b); // 编译器自动推导为 max<int>

2. 显式指定类型
   如果你想强制使用某种类型，或者无法通过参数推导出类型，可以显式指定：

   double result = max<double>(3.0, 5);

3. 多个模板参数
   函数模板也可以有多个类型参数，比如：

   template<typename T, typename U> void printPair(T a, U b) {     std::cout << a << " and " << b << std::endl; }

注意事项与常见问题

• 类型必须兼容
  如果传入的类型不支持函数内部的操作（比如没有重载 > 运算符），编译会失败。

• 模板不能跨文件分离声明和定义
  函数模板的定义（包括函数体）通常必须放在头文件中，否则链接时可能找不到实现。

• 避免重复实例化
  编译器会根据不同的类型生成不同的函数版本，这可能导致代码膨胀，尤其在大型项目中要注意控制模板使用的范围。

基本上就这些。掌握 template 的基本用法后，就可以写出灵活又高效的泛型代码了。