c++11：尾置返回类型

 

选自：https://blog.csdn.net/racaljk/article/details/52441616

来自：https://blog.csdn.net/yockie/article/details/51731281

还可以看看

lamda表达式和尾置返回类型   https://www.cnblogs.com/enumhack/p/7473073.html

选自：https://blog.csdn.net/racaljk/article/details/52441616

C++11新语法糖之尾置返回类型

 

C++11的尾置返回类型初衷是为了方便复杂函数的声明和定义,但是当复杂度稍微提升一些的时候很明显能注意到这种设计的作用微乎其微.

首先考虑如下代码:

C++：

//返回指向数组的指针
auto func1(int arr[][3], int n) -> int(*)[3] {
    return &arr[n];
}

这段代码非常符合尾置返回类型设计的用途,按照以往的方式我们可能需要:

C++：

int (* func1(int arr[][3], int n))[3] {
    return &arr[n];
}

这样看似乎这个新特性非常的方便,但是当函数复杂度稍微提升,情况完全不一样.假设我们要定义一个返回指向func1函数的指针的函数:

//原版本:
int(*(*func2())(int arr[][3], int n))[3]{
    return func1;
}
//使用新特性的版本
auto func2() ->  int (*(*)(int arr[][3], int n))[3] {
    return func1;
}

很明显这里尾置返回类型基本上没有什么方便。当函数复杂度进一步提升时,这种语法糖的味道完全已经消失,接下来只有各凭本事:C++

//函数接受一个指向func1函数的指针的参数,返回指向func2的函数的指针;
auto func3(int(*(*ptf)(int arr[][3], int n))[3]) -> int (*(*(*)())(int arr[][3], int n))[3]{
    ...
}

写到这里似乎可以做出一些总结性的言论,尾置返回类型只适用于简单的函数声明/定义,因为复杂度的提升会完全掩盖语法糖的作用,这时更应该考虑decltype.

来自：https://blog.csdn.net/yockie/article/details/51731281

【C++11学习笔记】返回类型后置语法

本次学习3个知识点：
（1）auto推导类型
（2）decltype推导表达式的类型
（3）返回类型后置语法

泛型编程中经常遇到的写一个加法函数：

template <typename R, typename T, typename U>
R add(T t, U u) {
    return (t + u);
}

int a = 10;
float b = 20.0;
auto c = add<decltype(a + b)>(a, b);

这里我们并不关心a+b结果的类型，故使用decltype推导返回值类型。这个add函数有没有改进方法，毕竟既然外部不知道add内部是怎么操作的、返回的结果应该是什么类型。

根据这个想法，我们把上述例子改进为：

template <typename T, typename U>
decltype(t + u) add(T t, U u) {
    return (t + u);
}

逻辑上没有问题，返回类型由decltype推导，但是无法编译通过，原因是C++的返回值是前置语法，在返回值定义的时候参数变量还不存在，这里会提示t、u尚未定义。

既然如此，那我们把decltype中的表达式稍微改进一下，以便编译通过

template <typename T, typename U>
decltype(T() + U()) add(T t, U u) {
    return (t + u);
}

但T、U可能是没有无参数的构造函数的类，利用一个小技巧：0（或NULL）可以转换成任意类型指针，改进为正确版本：

template <typename T, typename U>
decltype((*(T*)0) + (*(U*)0)) add(T t, U u) {
    return (t + u);
}

功能无误、编译正确，但有点复杂，一点都不“C++11”。这里要用到上面讲的第3个知识点：返回类型后置语法，将decltype和auto结果起来完成返回值类型的推导，

template <typename T, typename U>
auto add(T t, U u) -> decltype(t + u) {
    return t + u;
}

是不是特别简洁~

初次看上述代码，可能有一个疑问就是会不会(t + u)会运算两次，影响“性能”。丝毫不会，原因是decltype推到表达式类型是在编译期完成的，并且不会真正计算表达式的值，类型sizeof推导表达式类型大小一样。

【参考：祁宇《深入应用C++11代码优化与工程级应用》】