c++ 函数声明中的类型签名指定了函数的输入和输出类型，通过理解类型推导规则，可以编写可靠且可维护的代码。规则包括：模板推导：类型参数从函数调用中推导出自动类型推导：类型从初始化器或返回值中推导出类型推断：编译器推断出类型，即使未明确指定显式类型指定：开发人员明确指定类型签名
C++ 函数声明中的类型签名：理解各种类型推导规则
简介
类型签名是 C++ 函数声明中的一个关键方面，它指定了函数的输入和输出类型。通过理解类型推导规则，开发人员可以编写可靠且可维护的代码。本文将深入探讨 C++ 中函数声明中的类型签名，并通过实战案例展示各种类型推导规则。
立即学习“C++免费学习笔记（深入）”；
类型推导规则
C++ 编译器可以使用以下规则来推导出函数参数的类型：
- 模板推导：当函数定义为模板函数时，类型参数可以从函数调用中推导出。
-
自动类型推导（auto）：使用关键字
auto声明变量或函数参数时，类型可以从初始化器或函数返回值中推导出。 -
类型推断：编译器可以推断出变量或函数参数的类型，即使没有明确指定。例如，它可以将
int赋值给未声明类型的变量。 - 显式类型指定：如果无法使用其他规则推导出类型，开发人员可以显式指定类型签名。
实战案例
案例 1：模板推导
templateint sum(const std::vector & numbers) { ... // 计算和返回数字之和 }
在这段代码中，sum 函数是一个模板，其类型参数 T 从函数调用中推导出：
std::vectornumbers = {1, 2, 3}; int result = sum(numbers); // T 被推导出为 int
案例 2：自动类型推导
auto sum(const std::vector& numbers) { ... // 计算和返回数字之和 }
在这里，sum 函数使用 auto 来声明返回值的类型。编译器将从函数内部的计算推导出类型为 int：
auto result = sum({1, 2, 3}); // result 被推导出为 int案例 3：类型推断
int x = 10; auto y = x + 10;
在这个例子中，变量 x 声明为 int，而 y 声明为 auto。编译器将推断出 y 的类型也为 int。
案例 4：显式类型指定
如果其他规则无法推导出类型，开发人员可以显式指定类型签名：
int sum(const std::vector& numbers) -> int { ... // 计算和返回数字之和 }
在这里，箭头 (->) 后面的 int 显式指定了函数的返回值类型为 int。
