2019/06/19
3,559
今天在看 cpprestsdk 的源码的时候发现一个方法的定义是这样的：
|
1 2 3 4 |
template<typename _Ty> __declspec(noinline) auto create_task(_Ty _Param, task_options _TaskOptions = task_options()) -> task<typename details::_TaskTypeFromParam<_Ty>::_Type> {...} |
语法为：
|
1 |
auto fun_name(argument-declarations...) -> return_type{} |
我们知道 C++11 的 lambda 表达式可以使用
-> 指定返回参数的类型， 没想到声明方法也可以这么用。这种写法和传统的方法有什么区别呢？在泛型编程中，一个常见的例子如下：
|
1 2 3 4 |
template <typename T> T add(T a, T b) { return a + b; } |
如果 a 和 b 的类型不同，需要怎么写呢？
|
1 2 3 4 5 6 7 |
template<typename R, typename T1, typename T2> R add(T1 a, T2 b) { return a + b; } auto ret_val = add<float>(1.0, 2); auto ret_val1 = add<decltype(1.0 + 2)>(1.0, 2); |
我们在调用此方法时必须显示指定 R 的类型, 或者使用 decltype 运算符推导返回值类型。如果让调用的方式简单点呢？把返回值类型放到定义中去, 像这样：
|
1 2 3 4 |
template <typename T1, typename T2> decltype(a + b) add(T1 a, T2 b) { return a + b; } |
然而这么写是编译不过的。因为 a, b 在参数列表中，编译器解析返回值的时候，它们还没有定义。那么我们可以这样写：
|
1 2 3 4 |
template <typename T1, typename T2> decltype((*(T1*)0) + (*(T2*)0)) add(T1 a, T2 b) { return a + b; } |
不过这太晦涩了。
C++ 11 允许将返回值类型后置，前面使用 auto 占位：