C++ return type deduction

 1 template <typename T>
 2 class TD;
 3 
 4 int& foo(){
 5     static int x=0;
 6     return x;
 7 }
 8 
 9 int main(){
10     
11     auto lambda = []()->const auto&{ return foo(); };
12     TD<decltype(lambda())> dummy;
13 }

第11行，返回值类型按照const auto& 模式推导。这是用户指定的方式，可以随意指定成auto前后可以添加volatile const & && * **等修饰符，只要能推导成功就行。

当然，也可以指定一个具体类型：

 1 template <typename T>
 2 class TD;
 3 
 4 int& foo(){
 5     static int x=0;
 6     return x;
 7 }
 8 
 9 int main(){
10     
11     auto lambda = []()->long{ return foo(); };
12     TD<decltype(lambda())> dummy;
13 }

第11行，强制返回值类型为long，只要foo()到long隐式转换能ok。

第三种是按返回值表达式，实现完美转发。就是按照返回值表达式的实际类型，不失真的确定函数的返回值。

template <typename T>
class TD;

int&& foo(){
    return 10;
}

int main(){

    auto lambda = []()->decltype(auto){ return foo(); };
    TD<decltype(lambda())> dummy;
}

这种方式需要decltype(auto)语法。
如果函数的返回值是void（函数体没有return语句; 或者return f()且void f();）则以下等价：

auto lambda = []()->decltype(auto){  };
auto lambda = []()->auto{  };
auto lambda = [](){  };

但是下面的不行：

auto lambda = []()->const auto{  };

对于函数中有多个出口return语句，要求各个return返回值表达式的类型必须相同。

 1 template <typename T>
 2 class TD;
 3 
 4 int foo(){ return 1;}
 5 long bar(){ return 2;}
 6 
 7 int main(){
 8     
 9     auto lambda = []() { 
10         return bar();
11         return foo(); 
12     };
13     TD<decltype(lambda())> dummy;
14 }

编译失败了，因为foo,bar返回值不同。推导返回值时遇到矛盾。除非具体指定一个返回值：

template <typename T>
class TD;

int foo(){ return 1;}
long bar(){ return 2;}

int main(){

    auto lambda = []()->int { 
        return bar();
        return foo(); 
    };
    TD<decltype(lambda())> dummy;
}

如果是函数递归调用，要求函数体内第一个return语句表达式中不能有递归函数的存在。

原文链接: https://www.cnblogs.com/thomas76/p/8726895.html

欢迎关注

微信关注下方公众号，第一时间获取干货硬货；公众号内回复【pdf】免费获取数百本计算机经典书籍;

也有高质量的技术群，里面有嵌入式、搜广推等BAT大佬

原创文章受到原创版权保护。转载请注明出处：https://www.ccppcoding.com/archives/397500

非原创文章文中已经注明原地址，如有侵权，联系删除

关注公众号【高性能架构探索】，第一时间获取最新文章

转载文章受原作者版权保护。转载请注明原作者出处！

C++ return type deduction

相关推荐