尾随返回类型的语法样式是否应该成为新的C ++ 11程序的默认样式？[关闭]

Question 1

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

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

当前，此函数将声明为：

int func_name(int x, int y);

新样式似乎尚未被广泛采用（例如在gcc stl中）

但是，这种新样式是否应该在新的C ++ 11程序中到处都是首选，还是仅在需要时使用？

就个人而言，我尽可能地选择旧样式，但是混合样式的代码库看起来很难看。

Question 2

在某些情况下，您必须使用尾随返回类型。最值得注意的是，如果指定了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 ++现在2012会话，阿利斯代尔梅瑞狄斯指出，如果你使用一贯尾随返回类型，所有的函数名排队整齐：

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

我到处使用后返回类型在CxxReflect，所以如果你正在寻找如何利用他们的代码看起来一致的例子，你可以看看那里（例如，在type类）。

Question 3

除了其他人所说的，尾随返回类型还允许使用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重载类型vector<int>，最终是非const版本。

Question 4

另一个优点是，当函数返回指向函数的指针时，尾随返回类型的语法可以更易读。例如比较

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);

Question 5

看到这篇不错的文章：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;
}