Question

C ++ 11支持新的函数语法：

auto func_name(int x, int y) -> int;

目前此函数将声明为：

int func_name(int x, int y);

新风格似乎尚未被广泛采用（比如在gcc stl中）

但是，这种新风格是否应该在新的C ++ 11程序中随处可见，还是仅在需要时使用？

就个人而言，我更喜欢旧式，但是混合风格的代码库看起来很丑陋。

Answer 1

在某些情况下，您必须使用尾随返回类型。最值得注意的是，必须通过尾随返回类型指定lambda返回类型（如果已指定）。此外，如果您的返回类型使用要求参数名称在范围内的decltype，则必须使用尾随返回类型（但是，通常可以使用declval<T>来解决后一个问题）。

尾随返回类型确实有一些其他小优点。例如，考虑使用传统函数语法的非内联成员函数定义：

struct my_awesome_type
{
    typedef std::vector<int> integer_sequence;

    integer_sequence get_integers() const;
}; 

my_awesome_type::integer_sequence my_awesome_type::get_integers() const
{
    // ...
}

在::get_integers之前出现类的名称之前，成员typedef不在范围内，因此我们必须重复两次类别限定。如果我们使用尾随返回类型，我们不需要重复该类型的名称：

auto my_awesome_type::get_integers() const -> integer_sequence
{
    // ...
}

在这个例子中，它并不是什么大问题，但如果你有长类名或类模板的成员函数没有内联定义，那么它可以在可读性方面产生很大的不同。

在C ++ Now 2012的"Fresh Paint"会话中，Alisdair Meredith指出，如果你始终如一地使用尾随返回类型，那么所有函数的名称都排列整齐：

auto foo() -> int;
auto bar() -> really_long_typedef_name;

我在CxxReflect中的任何地方都使用了尾随返回类型，所以如果你正在寻找一个代码看起来如何使用它们的示例，你可以看一下（例如，the type class）

Answer 2

除了其他人所说的，尾随返回类型也允许使用this，否则不允许

struct A {
  std::vector<int> a;

  // OK, works as expected
  auto begin() const -> decltype(a.begin()) { return a.begin(); }

  // FAIL, does not work: "decltype(a.end())" will be "iterator", but 
  // the return statement returns "const_iterator"
  decltype(a.end()) end() const { return a.end(); }
};

在第二个宣言中，我们使用了传统风格。但是，由于在该位置不允许this，因此编译器不会隐式使用它。因此a.end()使用静态声明的a类型来确定它要调用的end的{{1}}重载，最终成为非const版本。< / p>

Answer 3

另一个优点是当函数返回指向函数的指针时，trailing-return-type语法可以更具可读性。例如，比较

void (*get_func_on(int i))(int);

与

auto get_func_on(int i) -> void (*)(int);

然而，人们可以说只需为函数指针引入类型别名就可以实现更好的可读性：

using FuncPtr = void (*)(int);
FuncPtr get_func_on(int i);

Answer 4

看到这篇好文章：http://www.cprogramming.com/c++11/c++11-auto-decltype-return-value-after-function.html 非常好的示例何时在游戏中使用没有decltype的语法：

class Person
{
public:
    enum PersonType { ADULT, CHILD, SENIOR };
    void setPersonType (PersonType person_type);
    PersonType getPersonType ();
private:
    PersonType _person_type;
};

auto Person::getPersonType () -> PersonType
{
    return _person_type;
}

Alex Allain的文章中也窃取了精彩的解释“因为返回值在函数结束时发生，而不是在它之前，你不需要添加类范围。”

比较这种可能的情况，偶然忘记了类范围，并且，对于更大的灾难，另一个PersonType在全局范围内定义：

typedef float PersonType; // just for even more trouble
/*missing: Person::*/
PersonType Person::getPersonType ()
{
    return _person_type;
}

尾随返回类型语法样式应该成为新C ++ 11程序的默认样式吗？

4 个答案: