深入理解 c++ 函数模板

        函数模板是C++中的一种强大特性，它允许程序员编写一个可以处理多种数据类型的函数。通过使用模板，我们可以编写一次函数，然后在多种数据类型上使用它，这大大提高了代码的复用性。

1. 基本概念

        函数模板是一种参数化类型的工具，它允许我们为函数定义一个通用接口，该接口可以处理不同类型的参数。在模板函数中，我们使用类型参数来代替具体的类型。编译器会根据模板参数的实际类型生成相应的函数版本。

2. 语法

函数模板的语法如下：

template <typename T>  
T functionName(parameters) {  // function body  
}

        其中，template <typename T> 声明了一个类型参数 T，functionName 是函数的名称，parameters 是函数的参数列表。

3. 使用方式

        当调用模板函数时，我们需要提供具体的类型参数。编译器会根据提供的类型参数生成相应的函数版本。例如：

int main() {  int a = 5;  int b = 10;  int sum = add(a, b); // 使用int类型调用模板函数  double c = 5.5;  double d = 10.5;  double sum2 = add(c, d); // 使用double类型调用模板函数  return 0;  
}

4. 模板参数推断

C++11引入了模板参数推断，这意味着在调用模板函数时，我们可以省略类型参数，编译器会自动推断出类型参数的类型。例如：

template <typename T>  
T add(T a, T b) {  return a + b;  
}  int main() {  int a = 5;  int b = 10;  int sum = add(a, b); // 编译器自动推断出T为int类型  return 0;  
}

5. 模板特化和偏特化

        函数模板可以针对特定的数据类型进行特化，以便提供更精确的匹配。这被称为模板特化。此外，还可以使用偏特化来为特定类型的模板参数提供不同的实现。这些特性使得函数模板更加灵活和强大。

再举例：

下面是一个简单的函数模板示例，该函数模板用于计算两个数的和：

#include <iostream>  // 函数模板声明  
template <typename T>  
T add(T a, T b) {  return a + b;  
}  int main() {  // 使用int类型调用模板函数  std::cout << "Sum of 5 and 10: " << add(5, 10) << std::endl;  // 使用double类型调用模板函数  std::cout << "Sum of 5.5 and 10.5: " << add(5.5, 10.5) << std::endl;  return 0;  
}

        在上面的示例中，add 函数是一个模板函数，它接受两个参数 a 和 b，这两个参数的类型都是 T。在函数体中，我们简单地返回这两个参数的和。

        在 main 函数中，我们两次调用了 add 函数，但使用了不同的数据类型。第一次使用 int 类型，第二次使用 double 类型。这是因为函数模板能够为各种数据类型提供相应的函数版本。要使用模板，需要在程序开头包含相应的模板定义，并确保在编译时所有的使用都可见。因此，在大型项目中，通常会将模板的定义放在头文件中。