如何理解 C++ 函数模板的类型推断？

类型推断是 c++++ 函数模板中编译器自动推断函数模板参数类型的重要特性，根据函数参数类型或最合适类型推断模板参数类型。如 max() 函数模板可使用不同类型数组，因为编译器从数组元素类型推断参数类型。类型推断提高可读性和可重用性，但应确保模板参数类型正确，避免错误。

C++ 函数模板的类型推断

简介

函数模板是一种强大的 C++ 特性，允许你编写可以处理各种类型数据的通用函数。类型推断是函数模板的一个重要方面，它使得编译器能够自动推断函数模板参数的类型。

类型推断规则

编译器使用以下规则推断函数模板参数的类型：

• 如果函数参数的类型已知，则模板参数类型也将被推断为该类型。
• 如果函数参数的类型未知，则模板参数类型将被推断为其最合适的类型。

实战案例

考虑以下查找数组中最大值的函数模板：

template <typename T>
T max(T arr[], int size) {
  T maxValue = arr[0];
  for (int i = 1; i < size; ++i) {
    if (arr[i] > maxValue) {
      maxValue = arr[i];
    }
  }
  return maxValue;
}