如果你最近在看现代C代码或者学习C11之后的新特性大概率会碰到这样的函数声明auto add(int a, int b) - int { return a b; }或者在模板里看到template typename T, typename U auto mul(T a, U b) - decltype(a * b) { return a * b; }很多初学者看到函数名后面的-会愣一下这到底是什么是哪门新语言的语法其实这是C11引入的“尾随返回类型”trailing return type也叫后置返回类型。它把函数返回类型从声明最前面的位置挪到了参数列表后面用-和参数列表隔开。要理解它不能只看语法还得明白C模板编程里那个说大不大、说小不小的痛点。这篇文章就来拆解拆解-的来龙去脉从最基础的等价写法讲起再逐步深入到模板、lambda和类成员函数。无论你是刚接触现代C的新手还是想补全知识短板的开发者读完应该都能把这段语法彻底弄明白。1. 为什么函数声明后面会出现“-”——从传统写法到尾随返回类型1.1 传统返回类型在模板面前栽了跟头在C98时代函数声明是很规整的返回类型写在最前面接着是函数名、参数列表。比如int add(int a, int b)一眼就知道返回int。这种写法绝大多数场景都没问题可一旦进入模板情况就变了。假设要写一个通用的求和函数参数类型是T和U返回值呢我们当然希望它是T和U相加之后的类型。如果用普通的前置返回类型你可能想这么写template typename T, typename U decltype(a b) add(T a, U b) { return a b; }这样写会编译失败因为decltype里面的a和b此时根本不在作用域内。函数参数名要到参数列表里才被引入而返回类型在参数列表之前编译器根本还没看到参数名。换句话说你想表达“返回值取决于参数”这个逻辑但语法位置不允许。这是一个很典型的“鸡生蛋、蛋生鸡”困境返回类型想用参数参数却定义在返回类型之后。尾随返回类型就是为了打破这个顺序限制而生的。它把返回类型强制放到参数列表后面这样当编译器解析- decltype(a b)时a和b已经都是已知的名字了名称查找自然就能命中。这个机制不仅适用于模板也适用于普通函数甚至类成员函数。1.2 尾随返回类型到底解决什么问题从上面的例子能总结出尾随返回类型最核心的价值有两点一是让返回类型的表达式能访问函数参数二是让返回类型的书写顺序更贴近“先看参数再算结果”的自然思路。注意-并不是把旧的返回类型搬到后面那么简单。它还可以配合decltype、declval等工具做更复杂的类型推导。比如在模板库中经常要处理“两个类型相加应该得到什么”的问题std::declvalT()可以凭空构造一个T类型的右值引用不需要实际变量存在于是写decltype(std::declvalT() std::declvalU())就能拿到加法表达式的类型。更妙的是尾随返回类型可以出现在类成员函数的声明中而这时this已经在作用域内。比如某个类内部有一个std::vectorint成员变量想返回它的迭代器。老式写法可能要写一长串类型名或者为了避开typename而伤脑筋。用尾随返回类型你只需要auto begin() - decltype(data.begin()) { return data.begin(); }这里- decltype(data.begin())直接读取成员变量的类型简洁又不依赖具体容器实现。换成前置返回类型同样的功能写起来要笨重得多。你会发现尾随返回类型本质上把“类型计算”从解释型的位置挪到了编译执行的“后半场”让表达式可以依赖更多的上下文信息。2. 核心语法拆解auto、- 和 decltype 的配合2.1 一个典型声明完整读法初次见到auto foo(int x) - int;很多人会下意识认为这里的auto是“自动类型推导”其实不完全对。在C11中函数声明的auto只是一个占位符它告诉编译器“真正的返回类型写在后面的-之后”。编译器看到- int后就会把函数的实际返回类型确定为int。这个auto和C11里auto x 10;的变量类型推导并不是一回事。后者是让编译器根据初始化表达式推断x的类型前者是语法层面的占位符。直到 C14编译器才支持直接从函数体的return语句推导返回类型也就是可以省略-部分。所以完整读法是auto 函数名(参数列表) - 返回类型 { 函数体 }左边auto表示“返回类型在右边”右边的-后面才是真正的返回类型表达式。如果返回类型是简单的int这种写法确实多此一举但如果返回类型依赖参数、依赖类成员、依赖模板参数那这个后置位置就变成必需品。举个例子假设你要写一个比较函数返回两个数中较大的那个的“类型”。在C11里你会写成template typename T, typename U auto max_of(T a, U b) - decltype(a b ? a : b) { return a b ? a : b; }这里的decltype(a b ? a : b)会推导出条件运算符的返回类型而a和b在-后面已经可见所以一切正常。如果你尝试把返回类型写在前面编译器又会开始报“a未定义”的错。这也就解释了为什么现代C模板库那么喜欢后置返回类型。2.2 decltype 在尾随位置才有的“魔法”这里要重点讲一下decltype。decltype(expr)会得到表达式expr的类型但它不真正求值。不过有个限制表达式里出现的名字必须是在当前作用域可见的。C11里如果你想写一个前置返回类型比如decltype(a b) add(T a, U b)编译器在解析decltype(a b)时a和b还没有被声明自然报错。把decltype(a b)移到参数列表之后一切正常。还有一点容易忽略尾随返回类型可以访问类成员这在类的声明里面尤其有用。举个例子如果想实现一个简单的容器包装类内部使用另一个容器的迭代器你能写template typename Container class MyWrap { Container c; public: auto front() - decltype(c.front()) { return c.front(); } };如果没有尾随返回类型而是用前置写法就得写成typename Container::iterator但这要求容器必须显式提供iterator类型而且对于std::array这种返回类型是Container::const_iterator的容器硬编码一个类型名经常出错。现在直接用decltype(c.front())编译器自己判断容器换成什么都能配套。提示decltype((x))和decltype(x)在C里结果不同前者可能产生引用类型后者如果是普通变量名则给出声明类型。尾随返回类型同样遵循这个规则写括号前要仔细想清楚。2.3 什么时候能省略 - 不写C14开始普通函数可以直接用auto f() { ... }推导返回类型lambda的基础用法也可以省略显式返回类型。很多开发者就觉得-没用了其实不然。省略-有一个限制编译器只能从return语句推导返回类型而且默认的auto推导会丢弃顶层 const 和引用。什么意思呢如果函数内return x;而x是int类型直接写auto f() { return x; }得到的返回类型是int不是int。如果你希望返回引用就得写decltype(auto) f() { return x; }或者显式用尾随返回类型标注auto f() - int { return x; }。另外有些返回类型无法仅靠函数体推导。比如返回值是多个return语句的组合类型又比如返回类型需要经过复杂的模板运算才能确定亦或是声明和定义分离时声明处没有函数体。这些情况下显式写出-还是最可靠的选择。3. 实操案例从普通函数到模板再到 Lambda3.1 普通函数里的常规写法与等价关系先看一个最简单的例子auto square(int x) - int { return x * x; }它和int square(int x) { return x * x; }是完全等价的。编译器把- int解析成返回类型然后忽略语法上的auto占位。所以普通函数里这么写并不会有任何性能差异纯粹是风格问题。不过风格也有风格的道理。当函数参数列表特别长或者返回类型特别复杂时把返回类型放到末尾可以让阅读者先看到“这个函数接受什么”再看到“它返回什么”。比如auto process_data( const std::vectorint input, const std::mapstd::string, int config ) - std::pairbool, std::vectorint;这么排函数名和参数更突出返回类型在最后像结论一样呈现。有些人觉得好用有些人觉得别扭但至少C11提供了这个选择。换作std::pairbool, std::vectorint process_data(...)这种传统写法阅读时容易在超长的返回类型里迷失函数名会被挤到很靠后的位置。还有一种典型场景是返回函数指针。比如auto get_handler(int code) - int (*)(int, int) { // ... return nullptr; }如果你把int (*)(int, int)写在前面函数声明会变成int (*get_handler(int code))(int, int);可读性差很多。尾随返回类型在这种“返回复杂类型”的场景里优势非常明显。所以不是简单“换位置”而是让整个声明变得更容易读懂。3.2 模板场景根据参数推导返回类型模板才是尾随返回类型的主场。前面说过普通的decltype前置写法在模板里根本不能用。所以C11时期模板库的编写者大量依赖这种模式template typename T, typename U auto add(T t, U u) - decltype(t u) { return t u; }这里的decltype(t u)是典型的“返回类型依赖参数”。当传入int和double时decltype(int double)会推导为double当传入自定义类型t u的返回类型由该类型的operator决定。函数体里面的return t u;只要和decltype的类型一致即可。如果还想让返回类型在C14风格下保持引用语义可以改用decltype(auto)template typename T, typename U decltype(auto) add(T t, U u) { return t u; }但这种写法在模板里有时会引发“怎么推导出引用类型”的讨论尤其是参数本身是const T时。所以很多严谨的库代码宁可保留显式的- decltype(...)让类型的每一步推导都清晰可控。我们还可以用一个更复杂的例子两个容器拼接后返回元素类型。假设有std::vectorT和std::listU想要一个通用函数返回“两个容器首元素相加后的类型”你可以把容器的元素类型作为模板参数再用decltype计算。尾随返回类型让这种“返回类型依赖参数内部类型”的写法变得非常自然而前置返回类型几乎无法实现。3.3 Lambda 表达式里的 - 返回类型lambda表达式的语法中也包含返回类型声明位置是在参数列表的右括号之后、函数体前同样用-连接。比如auto lambda [](double a, double b) - double { return a b; };这个- double指定lambda返回类型为 double。C11的lambda也可以用-声明返回类型如果省略编译器会根据函数体推断。很多早期编译器在lambda中有多个return语句时会要求显式指定返回类型否则可能推导失败。虽然现代标准已经可以自动推导但为了可读性一些复杂lambda还是会显式写明。lambda和普通函数一样-后面的decltype也能引用参数auto lambda [](auto a, auto b) - decltype(a b) { return a b; };这是C14的泛型lambdadecltype(a b)可以表达“返回两个参数相加后的类型”。你能感受到尾随返回类型的规则是全家统一的。特别值得留意的是lambda在捕获成员变量时如果返回类型依赖捕获的变量显式-也能派上用场。比如auto func [this]() - decltype(this-value) { return this-value; };这种代码虽然看起来有点绕但在一些需要精确控制返回类型的场景里很实用。很多现代C库的代码里都能看到这种写法提前熟悉了才不会觉得陌生。3.4 类成员函数中的尾随返回类型类里返回类型依赖成员变量或成员函数时一样推荐后置。前面见过向量迭代器的例子再来一个稍微复杂的class Data { std::mapstd::string, int table; public: auto find_value(const std::string key) - decltype(table[key]) { return table[key]; } };这里声明了find_value返回int因为table[key]返回的是int如果key不存在会插入一个默认值。用尾随返回类型你不需要显式记住容器返回的是引用还是值让decltype替你做决定。当然如果你害怕table[key]意外插入默认值可以用at()函数或者干脆返回const int。总之decltype 尾随返回类型在容器适配代码里非常顺手。这里还有一个容易踩坑的点如果成员函数声明和定义分离尾随返回类型要在声明和定义处都写出来而且最好保持一致。例如class Data { std::mapstd::string, int table; public: auto find_value(const std::string key) - decltype(table[key]); }; auto Data::find_value(const std::string key) - decltype(table[key]) { return table[key]; }这里两处的decltype(table[key])是同一个类型但写两遍比较啰嗦。实际项目里有些人会用一个类型别名把它收起来或者改用decltype(auto)来减少重复。不过为了明确性我一般还是选择保持显式写法。4. 常见问题与排查技巧实录4.1 最容易混淆的语法- 的三种身份首先要分清-在C里的不同身份否则很容易产生困惑。当-出现在表达式里比如ptr-member那是“指针访问成员”与函数声明无关。当-出现在lambda参数列表之后的圆括号结束处比如[](int x) - int { ... }是lambda返回类型声明。当-出现在普通函数参数列表之后的圆括号结束处就是尾随返回类型。判断标准很简单找到函数名最近的参数列表右括号如果右括号后面跟着-那就说明这是尾随返回类型。比如auto f(int x) - int;右括号后紧跟-而p-size()里-的左边是对象指针不是右括号。遇到奇怪代码时先在脑子里补全语法树。还有一种情况需要留意C里有所谓的“最令人头痛的解析”most vexing parse有时多写一个括号编译器会把语句解释成函数声明。虽然尾随返回类型不是这个问题的根源但如果你在声明变量时同时用auto和-可能会让解析更复杂。建议不要在-后面写太复杂的类型表达式必要时先用using定义类型别名。4.2 踩坑一auto 和 decltype 的推导差异很多人以为auto f() - decltype(x);等价于decltype(auto) f() { return x; }实际不一定。前者显式写出返回类型然后函数体里如果返回类型不匹配会尝试转换后者让编译器根据return x精确推导类型两者可能出现差异。尤其是当返回类型写的是decltype((x))这种带括号形式时decltype((x))是引用类型而return x可能是一个左值表达式。如果没有完全一致在某些模板场景下会导致返回引用的临时对象被销毁。解决思路要么在-后面使用和函数体return完全一致的表达式要么直接用decltype(auto)由编译器统一。还有一个经典问题尾随返回类型中的auto并不能自动推导函数体里的返回值它只是占位符。如果你写了auto f(int x) - decltype(x)但函数体内return 42;编译器不会尝试用42去调整decltype(x)而是直接检查是否可以从int转换到int。这里很容易产生“为什么我的 return 不匹配”的错误原因就是返回类型已经被-后面的表达式固定死了。提示C里return {};在尾随返回类型下会默认初始化返回类型如果返回类型是auto推导则可能推导失败。所以不要在不该省略-的时候盲目省略。4.3 踩坑二作用域与名称查找尾随返回类型虽好但并不是把所有名字都塞进作用域。它只是让-后面的表达式处于“函数参数可见”的作用域而不是让任意类型自动可用。如果你在类模板里写template typename T class Foo { T value; public: auto get() - decltype(value) { return value; } };这样没问题因为value是成员变量在成员函数声明尾部确实可见。但如果你写的是template typename T auto make_object() - T;T是模板参数可见性来自模板参数列表不是尾随返回类型的功劳。别混淆。还有一点尾随返回类型中的名字遵循“声明点”规则。类似auto f() - int x;这种把返回类型当作一个函数体外的表达式来解析不能在里面声明新名字。所有用到的名字必须来自函数参数、模板参数、类成员、全局或命名空间。一旦出现“未定义标识符”优先检查作用域而不是怀疑语法。4.4 常见问题速查表问题示例解决办法返回类型依赖参数templateclass T,class U auto add(T t, U u) - decltype(t u);用尾随返回类型 decltypeC14 想省略箭头auto f() { return 42; }直接省略但注意不能返回引用想保留引用/constdecltype(auto) f() { return ref; }用 decltype(auto)lambda 返回类型复杂[](auto a, auto b) - decltype(a b)在参数后写 -成员函数返回容器迭代器auto begin() - decltype(c.begin())尾随返回类型访问成员函数声明和定义分离auto decl; auto def() - int {}两处都写清楚返回类型老编译器不支持VS2013、GCC4.8以前的版本可能不支持尽量用新工具链或重写类型这个速查表基本覆盖了日常会遇到的“要不要写箭头、怎么写”的场景。遇到编译错误时对照表里查一下多数能立刻找到方向。5. 个人使用心得什么时候值得用尾随返回类型在实际代码里我一般遵循这几个原则如果返回类型能用一个简单的具名类型写清楚比如int、std::string那就没必要画蛇添足写-如果返回类型依赖模板参数必须用decltype计算那毫不犹豫用尾随返回类型如果是类成员函数需要返回成员变量的类型尾随返回类型能让代码少写很多类型名如果在C14项目里遇到可以纯用auto推导的场景且不会丢掉引用和 const那省略-当然更清爽。踩过几次坑之后我养成了一个习惯写decltype的时候会刻意加一层括号去验证“到底返回的是值还是引用”。比如我想返回int就会写auto f() - int而不是decltype(auto)因为显式标出引用更容易让代码的意图被人读懂。说到底尾随返回类型是一把工具工具没有好坏用对了地方才好。希望这篇拆解能帮你下次在代码里看到-时不再发怵。