我应该何时使用C ++ 14自动返回类型演绎？
随着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};代替矢量，但这并不总是成功，我们需要在函数头和函数体中指定类型。这纯粹是多余的，自动返回类型扣除使我们免于冗余。
情景4
最后，它可以用来代替非常简单的功能：
auto position() {
return pos_;
}
auto area() {
return length_ * width_;
}
然而，有时候，我们可能会查看函数，想知道确切的类型，如果没有提供它，我们必须去代码中的另一个地方，比如pos_声明的地方。
结论
有了这些场景，其中哪些实际上证明了这种特性有助于使代码更清洁？我忽略了在这里提到的场景呢？在使用此功能之前应该采取哪些预防措施，以便稍后不再咬我？这个功能带来了什么新功能，如果没有它，这是不可能的？
请注意，多个问题旨在帮助你找到解决问题的观点。
Stack Overflow用户
发布于 2018-03-20 10:17:25
一般来说，函数返回类型对文档功能有很大的帮助。用户将知道什么是预期的。但是，有一种情况我认为可以放弃该返回类型以避免重复。这里是一个例子：
template<typename F, typename Tuple, int... I>
auto
apply_(F&& f, Tuple&& args, int_seq<I...>) ->
decltype(std::forward<F>(f)(std::get<I>(std::forward<Tuple>(args))...))
{
return std::forward<F>(f)(std::get<I>(std::forward<Tuple>(args))...);
}
template<typename F, typename Tuple,
typename Indices = make_int_seq<std::tuple_size<Tuple>::value>>
auto
apply(F&& f, Tuple&& args) ->
decltype(apply_(std::forward<F>(f), std::forward<Tuple>(args), Indices()))
{
return apply_(std::forward<F>(f), std::forward<Tuple>(args), Indices());
}
这个例子取自官方委员会的论文N3493。该函数的目的apply是将a的元素转发std::tuple给函数并返回结果。在int_seq和make_int_seq仅仅是实现的一部分，并可能只会混淆试图了解它的任何用户。
正如你所看到的，返回类型只不过decltype是返回的表达式的一个。而且，apply_不是用户想要看到的，我不确定记录它的返回类型的用处是多少有些相同apply。我认为，在这种特殊情况下，删除返回类型使得函数更具可读性。请注意，这种返回类型实际上已被删除，并decltype(auto)在提案中被添加apply到标准N3915中：
template <typename F, typename Tuple, size_t... I>
decltype(auto) apply_impl(F&& f, Tuple&& t, index_sequence<I...>) {
return forward<F>(f)(get<I>(forward<Tuple>(t))...);
}
template <typename F, typename Tuple>
decltype(auto) apply(F&& f, Tuple&& t) {
using Indices = make_index_sequence<tuple_size<decay_t<Tuple>>::value>;
return apply_impl(forward<F>(f), forward<Tuple>(t), Indices{});
}
但是，大多数情况下，最好保持这种返回类型。在我上面描述的特定情况下，返回类型是相当难读的，并且潜在用户不知道它会得到什么。带有示例的良好文档将更加有用。
https://stackoverflow.com/questions/-100007683
复制相似问题