c++++ 泛型编程允许编写代码处理不同数据类型，可以通过类和函数模板实现：函数模板定义包含占位符类型参数的函数，可使用特定类型对其进行实例化。实例化泛型函数时，用要处理的数据类型替换占位符类型参数。实例化的函数可处理任何类型的数据，例如计算不同类型数组的总和，减少代码重复并提高可重用性。

C++ 函数的泛型编程：跨越数据类型兼容性问题的桥梁

泛型编程是软件开发中一种强大的技术，它允许你编写代码来处理多种不同的数据类型，无论具体类型是什么。这可以大大提高代码的可重用性和灵活性，尤其是在处理异构数据集合或构建可扩展库时。

在 C++ 中，泛型编程是通过使用类和函数模板来实现的。函数模板定义一个包含占位符类型参数的函数，然后可以使用特定类型参数对它们进行实例化。

泛型函数的定义

以下是一个定义了 print_any() 泛型函数的示例，该函数可以打印任何类型的元素：

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

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

此函数模板使用了一个通用类型参数 T，它可以在实例化函数时被替换为任何具体类型。

实例化泛型函数

要使用泛型函数，你需要为要处理的数据类型对其进行实例化。例如，你可以使用 int 类型实例化 print_any() 函数如下所示：

// 实例化泛型函数
print_any<int>(5); // 输出 5

实战案例：计算不同类型元素数组的总和

考虑一个实战案例，你需要计算不同类型元素数组的总和。你可以使用泛型编程来创建一种通用的函数，该函数可以处理任何类型的元素。

template<typename T>
T sum_array(const T* array, size_t size) {
  T sum = 0;
  for (size_t i = 0; i < size; ++i) {
    sum += array[i];
  }
  return sum;
}

int main() {
  // 计算 int 数组的总和
  int int_array[] = {1, 2, 3, 4, 5};
  std::cout << sum_array(int_array, 5) << std::endl; // 输出 15

  // 计算 double 数组的总和
  double double_array[] = {1.2, 2.3, 3.4, 4.5, 5.6};
  std::cout << sum_array(double_array, 5) << std::endl; // 输出 16.5
}

通过使用泛型编程，你可以用一个函数来解决不同的数据类型兼容性问题，从而简化你的代码并提高其可重用性。