返回类型中的类型推导

一起看海

在 C++14 中，可以使用 auto 指示编译器从函数体推断返回类型，而不必提供结尾返回类型。 请注意，auto 始终推导为按值返回。 使用 auto&& 可指示编译器推导引用。

在此示例中，auto 会推导为 lhs 和 rhs 之和的非常量值副本。

template<typename Lhs, typename Rhs>
auto Add2(const Lhs& lhs, const Rhs& rhs)
{
    return lhs + rhs; //returns a non-const object by value
}
请注意，auto不会保留它推导的类型的常量性。 对于返回值需要保留其自变量的常量性或引用性的转发函数，可以使用 decltype(auto) 关键字，该关键字使用 decltype 类型推断规则并保留所有类型信息。 decltype(auto)可以用作左侧的普通返回值，或结尾返回值。

下面的示例（基于来自 N3493 的代码）演示的 decltype(auto) 用于采用在模板实例化之前未知的返回类型实现函数自变量的完美转发。

template<typename F, typename Tuple = tuple<T...>, int... I>
decltype(auto) apply_(F&& f, Tuple&& args, index_sequence<I...>)
{
    return std::forward<F>(f)(std::get<I>(std::forward<Tuple>(args))...);
}

template<typename F, typename Tuple = tuple<T...>,
    typename Indices = make_index_sequence<tuple_size<Tuple>::value >>
   decltype( auto)
    apply(F&& f, Tuple&& args)
{
    return apply_(std::forward<F>(f), std::forward<Tuple>(args), Indices());
}