c++ - 什么时候应该使用 C++14 自动返回类型推导？

Question

随着 GCC 4.8.0 的发布，我们有了一个支持自动返回类型推断的编译器，它是 C++14 的一部分。使用 -std=c++1y，我可以这样做:

auto foo() { //deduced to be int
    return 5;
}

我的问题是:我应该什么时候使用这个功能？什么时候需要，什么时候让代码更干净？

场景 1

我能想到的第一个场景是尽可能的。每个可以这样写的函数都应该是。这样做的问题是它可能并不总是使代码更具可读性。

场景 2

下一个场景是避免更复杂的返回类型。作为一个非常简单的例子:

template<typename T, typename U>
auto add(T t, U u) { //almost deduced as decltype(t + u): decltype(auto) would
    return t + u;
}

我不相信这真的会成为一个问题，尽管我猜在某些情况下让返回类型显式依赖于参数可能会更清楚。

场景 3

接下来，为了防止冗余:

auto foo() {
    std::vector<std::map<std::pair<int, double>, int>> ret;
    //fill ret in with stuff
    return ret;
}

在 C++11 中，我们有时可以只 return {5, 6, 7}; 代替 vector ，但这并不总是有效，我们需要指定类型在函数头和函数体中。这纯粹是多余的，自动返回类型推导使我们免于这种多余。

场景 4

最后，它可以用来代替非常简单的功能:

auto position() {
    return pos_;
}

auto area() {
    return length_ * width_;
}

但有时，我们可能会查看函数，想知道确切的类型，如果那里没有提供，我们必须转到代码中的另一个点，例如 pos_ 已声明。

结论

在列出了这些场景后，哪些场景实际上证明了此功能有助于使代码更清晰？我在这里没有提到的场景呢？在使用此功能之前我应该​​采取哪些预防措施，以免它以后咬我？如果没有它，此功能是否会带来任何无法实现的新功能？

_{请注意，多个问题旨在帮助您找到答案。}

Answer 1

C++11 提出了类似的问题:何时在 lambda 中使用返回类型推导，何时使用 auto 变量。

对 C 和 C++03 中问题的传统答案是“跨越语句边界，我们使类型显式，在表达式中它们通常是隐式的，但我们可以通过强制转换使它们显式”。 C++11 和 C++1y 引入了类型推导工具，以便您可以在新的地方省略类型。

抱歉，您不会通过制定一般规则预先解决这个问题。您需要查看特定的代码，并自己决定是否有助于在所有地方指定类型的可读性:您的代码是否更好地说“这个东西的类型是 X”，或者它是否更好你的代码说，“这件事的类型与理解这部分代码无关:编译器需要知道，我们可能会解决它，但我们不需要在这里说出来”？

由于“可读性”不是客观定义的[*]，而且它因读者而异，因此您作为无法完全满足样式指南的一段代码的作者/编辑者有责任。即使风格指南确实指定了规范，不同的人也会喜欢不同的规范，并且倾向于发现任何不熟悉的东西“可读性较差”。因此，特定提议的样式规则的可读性通常只能在其他样式规则的上下文中进行判断。

您的所有场景(甚至是第一个场景)都将用于某人的编码风格。就我个人而言，我发现第二个是最引人注目的用例，但即便如此，我预计它将取决于您的文档工具。看到函数模板的返回类型是 auto 并不是很有帮助，而看到它被记录为 decltype(t+u) 可以创建一个发布的接口(interface)(希望)依靠。

[*] 有时有人会尝试进行一些客观的测量。在任何人提出任何具有统计意义且普遍适用的结果的小范围内，它们被工作程序员完全忽略，有利于作者对什么是“可读”的直觉。