退货类型扣除

Return type deduction

本文关键字：类型      更新时间：2023-10-16

可能重复：
在C++11 中省略返回类型

在C++11中，如果主体仅由一个返回语句组成，lambda可以推导出它们的返回类型。一项旨在取消这一限制的提案正在酝酿之中，显然它已经在海湾合作委员会发挥了作用。

是否有原因不能将其扩展到所有auto返回函数
是否已经提出延期？

这不能扩展到所有的自动返回函数是有原因的吗？

事实上，除非函数是在那里定义的（而不仅仅是一个声明），否则这是不可能的。您将失去转发声明此类函数的能力。

此外，函数不返回auto。函数定义前面的auto纯粹是语法方面的东西，允许尾随返回类型。最后指定返回类型的唯一原因是，它可以引用函数的参数（通常用于模板和decltype）。函数仍然返回特定的值。

事实上这是有原因的。

也就是说，函数的名称在函数内部的作用域中，但不在尾部返回类型规范中。lambda是豁免的，因为它们没有名称，尽管我认为从lambda初始化的、通过推理键入的变量也在范围内，所以即使使用标准语法（解决方法），它们也已经遇到了这个问题。

有了作用域中函数的名称，就可以构造一个无限循环类型依赖项。例如

auto fact(int n)
{
    return (n > 0)? n*fact(n-1): 1;
}

在这种情况下，对于几种返回类型的选择，键入是一致的。。。int、long long、float、double、std::complex<double>等

尾随返回类型没有问题，代码只是非法的：

auto fact(int n) -> decltype((n > 0)? n*fact(n-1): 1) /* unknown identifier fact */

在另一个例子中，任何返回类型的选择都是不一致的：

auto f(int a)
{
    char r[sizeof(f(a))+1];
    return r;
}

你的新的和改进的g++对此做了什么？

auto fact = [&](int n){ return (n > 0)? n*fact(n-1): 1; };
相关文章：