尾置返回类型
尾置返回类型(trailing return type)是C++11中新增的特性，任何函数的定义都可以使用尾置返回类型，但是尾置返回类型更适合用于返回类型比较复杂的场景，如返回一个数组指针。下面的例子是返回一个指向维度为10的数组指针的函数定义方法：
int (*func(int i))[10]
下面逐层理解上述例子的含义：
- func(int i)表示调用函数时，需要一个int类型的参数；
- (*func(int i))表示对调用func的结果执行解引用的操作；
- (*func(int i))[10]表示解引用之后得到一个维度为10的数组；
- int (*func(int i))[10]表示数组的数据类型为int；
若使用尾置返回类型，上述函数的定义可以写成：
auto func(int i)->int (*)[10]
使用尾置返回类型之后，函数的定义更加清晰易懂；同时注意到，尾置类型通常要和auto结合使用。
尾置lambda的返回类型
默认情况下，如果一个lambda中包含一个return之外的任何语句，编译器将假定此lambda的返回void。如下面的例子将vector中的负数转成正数：
std::vector<int> v {1, -9, 8, -3, 5};
transform(v.begin(), v.end(), v.begin(), [](int i){return i<0 : -i : i;});
上面的例子可以正常编译通过，若修改成if/else的形式这编译无法通过：
std::vector<int> v {1, -9, 8, -3, 5};
transform(v.begin(), v.end(), v.begin(), [](int i){
if (i<0) return -i; else return i;
});
下面的这段描述来自 《C++ Primer》（第5版），我分别在gcc4.8.5和gcc5.4.0的环境上测试了，都无编译错误，也许高版本的编译器对此有优化。感谢boringcat的指正。
此时lambda表达式默认返回类型为void，而return了一个int，因此无法编译通过。上述的例子可以通过尾置返回类型来指定具体的返回类型，如：
std::vector<int> v {1, -9, 8, -3, 5};
transform(v.begin(), v.end(), v.begin(), [](int i) -> int {
if (i<0) return -i; else return i;
});
尾置模板的返回类型
模板函数定义和调用如下：
template<typename R, typename T, typename U>
R add(T t, U u)
{
return t+u;
}
int a =1;
float b = 2.0;
auto c = add<decltype(a+b)>(a, b);
问题：add函数的返回类型能否通过decltype获取呢？
template<typename R, typename T, typename U>
decltype(t+u) add(T t, U u) // error: t、u尚未定义
{
return t+u;
}
上述在使用decltype(t+u)时，t、u尚未定义，编译失败；
问题：能否通过decltype(T()+U())推导呢？不一定可以，因为T、U可能不包含无参数的构造函数。但可以按照下面方式修改：
decltype( (*(T*)0) + (*(U*)0) )
虽然上述方式可以解决问题，但是写法很晦涩，通过auto、decltype和尾置返回类型，可以清晰的写出上述的逻辑。
template<typename R, typename T, typename U>
auto add(T t, U u) ->decltype(u+t)
{
return t+u;
}
一个函数wrapper
int& func(int& i );
float func(int& f);
template<typename T>
auto func(T& val) -> decltype(func(val))
{
return func(val);
}
尾置返回类型和auto、decltype的结合，可以有效的解决函数返回类型依赖于参数推导来确定的问题。
网友评论