C++11标准中新增了尾返回类型的函数定义方式，允许将函数的返回类型放在参数列表之后，这种语法在处理返回类型依赖参数类型、模板函数返回类型推导等场景时非常实用，解决了传统返回类型定义方式的很多局限性。
尾返回类型的基本语法
尾返回类型的函数定义格式如下，核心是使用auto作为函数返回类型的前置标识，然后在参数列表后通过->指定实际的返回类型：
// 基本语法格式
auto 函数名(参数列表) -> 返回类型 {
// 函数体
return 返回值;
}
对比传统的函数定义方式，尾返回类型把返回类型放在了参数列表之后，当需要引用参数相关的类型时，参数已经在作用域内，不需要额外的前置声明。
普通函数中的使用示例
对于普通函数，尾返回类型可以简化返回类型的定义，尤其是当返回类型比较复杂的时候。下面是一个返回两个整数之和的函数示例：
#include <iostream>
// 传统返回类型定义
int add_traditional(int a, int b) {
return a + b;
}
// 尾返回类型定义
auto add_trailing(int a, int b) -> int {
return a + b;
}
int main() {
std::cout << "传统方式结果: " << add_traditional(3, 5) << std::endl;
std::cout << "尾返回类型结果: " << add_trailing(3, 5) << std::endl;
return 0;
}
这个例子中两种定义方式的效果完全一致，尾返回类型在这里的优势还不明显，当返回类型依赖参数类型时优势就会体现出来。
结合decltype使用处理依赖参数类型的返回
尾返回类型最常见的使用场景是结合decltype关键字，推导依赖参数类型的返回类型。比如下面的函数，返回两个参数相加的结果，两个参数可以是不同的算术类型：
#include <iostream>
#include <typeinfo>
// 使用尾返回类型+decltype推导返回类型
template <typename T1, typename T2>
auto add(T1 a, T2 b) -> decltype(a + b) {
return a + b;
}
int main() {
auto res1 = add(10, 20); // T1=int, T2=int，返回类型int
auto res2 = add(10.5, 20); // T1=double, T2=int，返回类型double
auto res3 = add(10, 20.5f); // T1=int, T2=float，返回类型float
std::cout << "res1类型: " << typeid(res1).name() << ", 值: " << res1 << std::endl;
std::cout << "res2类型: " << typeid(res2).name() << ", 值: " << res2 << std::endl;
std::cout << "res3类型: " << typeid(res3).name() << ", 值: " << res3 << std::endl;
return 0;
}
如果不使用尾返回类型，直接在函数名前写decltype(a + b)会报错，因为此时参数a和b还没有被声明，编译器无法识别它们的类型。尾返回类型把decltype推导放在参数列表之后，此时参数已经在作用域内，就可以正常推导类型了。
使用注意事项
- 尾返回类型中如果使用了
decltype推导返回类型，需要确保推导的表达式是有效的，否则会导致编译错误。 - 当函数没有返回值时，不能使用尾返回类型，直接定义为
void返回类型即可，不需要使用auto -> void这种写法。 - 尾返回类型并不是强制要求使用的，只有在返回类型依赖参数、模板函数类型推导等场景下使用才更有意义，普通简单函数使用传统返回类型定义可读性更好。
- 尾返回类型中
->后面的返回类型可以是任意合法的类型，包括自定义类型、引用类型、指针类型等。
引用类型的尾返回示例
尾返回类型也支持返回引用类型，下面是一个返回两个数中较大值的引用的示例：
#include <iostream>
// 返回两个int的较大值的引用
auto max_ref(int &a, int &b) -> int& {
return a > b ? a : b;
}
int main() {
int x = 10, y = 20;
max_ref(x, y) = 30; // 修改引用指向的变量
std::cout << "x: " << x << ", y: " << y << std::endl; // 输出x:10, y:30
return 0;
}
这个例子中返回类型是int&，通过尾返回类型可以清晰地定义引用返回类型，和普通返回类型的定义方式没有本质区别，只是位置不同。