13

我终于开始阅读并且我不明白为什么需要尾随返回类型。

我遇到了以下示例，该示例用于突出问题：

template<class Lhs, class Rhs>
  decltype(lhs+rhs) adding_func(const Lhs &lhs, const Rhs &rhs) {return lhs + rhs;}

该示例是非法的，因为decltype(lhs+rhs)它不起作用，因为标识符仅在解析阶段之后才有效lhs。rhs

我想我的问题是关于decltype类型解析的时间。如果我没记错的话，该关键字decltype用于在编译时确定表达式的类型。

decltype在所有解析完成后，我看不到执行类型解析的缺点（这对于上面的示例来说可以正常工作）。我相信这将是解决问题的一种更简单的方法......

相反，C++11 标准提供了尾随返回类型：

template<class Lhs, class Rhs>
  auto adding_func(const Lhs &lhs, const Rhs &rhs) -> decltype(lhs+rhs) {return lhs + rhs;}

我毫不怀疑我遗漏了一些东西，因为我看不到尾随返回类型的其他用途。我推理的缺陷在哪里？

尾随返回类型对我来说似乎是一个过于复杂的解决方案，因为decltype在解析完整的函数体之后进行类型解析也能正常工作？

4

2 回答 2

18

我看不到在所有解析完成后让 decltype 执行类型解析的缺点（这对于上面的示例来说可以正常工作）。

不利的一面是，如果不从根本上改变 C++ 解析和处理模型的基本基础，这是不可能的。

为了执行您的建议，编译器必须查看decltype语法并对语法内容进行一些基本的词法分析。然后，它继续解析更多的源文件。在稍后的某个时间点（什么时候？），它决定去，“嘿，我以前看过的那些东西？我现在要为他们做所有的解析工作。”

作为一般规则，C++ 不支持向前查找符号的定义。C++ 解析框架的基本假设是，如果符号在使用前未声明，则为编译器错误。

类可以通过前瞻来逃脱，但仅限于其成员。这部分是因为它非常清楚何时 id 表达式可以引用成员变量（即：如果它没有引用范围内已经声明的局部或全局变量）。这不是这里的情况，我们不确定 id-expression 到底指的是什么。

此外，您的建议会产生歧义。这是什么意思：

int lhs;

template<class Lhs, class Rhs>
  decltype(lhs+rhs) adding_func(const Lhs &lhs, const Rhs &rhs);

decltype 语法是指全局lhs变量还是局部lhs函数参数？

我们现在这样做的方式，这两者之间有一个明确的界限：

int lhs;
float rhs;

template<class Lhs, class Rhs>
  decltype(lhs+rhs) adding_func1(const Lhs &lhs, const Rhs &rhs);
template<class Lhs, class Rhs>
  auto adding_func2(const Lhs &lhs, const Rhs &rhs) -> decltype(lhs+rhs);

adding_func1指全局变量。adding_func2指函数参数。

因此，您可以彻底破坏地球上所有的 C++ 编译器。或者您可以简单地后期指定您的返回类型。

或者，您可以采用 C++14 方法，根本不用费心去说明它。

于 2013-05-20T14:29:22.867 回答
4

一个明显的问题是它会打开你的循环。

typedef decltype(lhs+lhs) foo;
foo lhs;
于 2013-05-20T14:07:28.963 回答