c++++ 类型推导允许编译器自动推断函数参数和返回值类型，语法为 auto func_name(param_list) -> return_type;。编译器遵循以下规则进行推导：1. 参数类型：已初始化参数从表达式推断，未初始化参数默认为 int；2. 返回值类型：函数体中唯一已初始化表达式的类型，或默认为 void。显式指定类型可防止类型误匹配，提高可读性。

C++ 函数的类型推导简介

类型推导允许编译器在不显式指定类型的情况下推断函数的参数类型和返回值类型。它简化了代码，减少了样板代码的编写。

语法

auto func_name(param_list) -> return_type;

• auto 指定要推断返回类型。
• param_list 是函数的参数列表，可以显式指定类型，也可以使用 auto 进行推导。
• return_type 是可选的，用于显式指定返回值类型，否则编译器将推断。

实战案例

考虑以下函数：

// 求两个整数的最大值
auto max(int a, int b) -> int;

编译器将推断 max 函数的参数类型为整数，返回值类型也为整数。

自动推导规则

编译器遵循以下规则进行类型推导：

• 对于参数类型：

  • 如果参数已初始化，则类型从初始化表达式中推断。
  • 如果参数未初始化，则类型默认为 int。

• 对于返回值类型：

  • 如果函数体中唯一的一个表达式已初始化，则类型从该表达式中推断。
  • 如果函数体中没有表达式，则返回类型默认为 void。

显式指定类型

有时，显式指定类型比使用自动推导更可取，例如：

// 确保参数和返回值始终为 int
int max(int a, int b) -> int;

这有助于防止类型误匹配并提高代码的可读性。