如何使用尾随返回类型和'decltype”确保使用可变参数模板函数正确的返回类型推导？

尾随返回类型将 decltype 与可变参数模板函数结合使用

尝试实现累积参数并返回总和的基本加法器函数时使用适当的类型，用户遇到编译器无法推断返回类型的问题

代码片段：

template <class t class p...>
auto sum(const T& t, const P&... p) -> decltype(t + sum(p...))
{
   return t + sum(p...);
}</class>

使用上面的代码，当涉及两个以上参数时，编译器很难解析返回类型。为了解决这个问题，用户修改了函数声明：

template <class t class p...>
T sum(const T& t, const P&... p);</class>

此修改解决了问题，但引入了另一个问题：函数为混合类型参数返回了一个整数，这是不希望的。

讨论和解决：

问题的出现是因为使用 decltype 的尾随返回类型仅被认为是在返回类型已指定。然而，在这种情况下，返回类型取决于对 sum 的递归调用。

为了解决这个问题，引入了一个自定义特征类：

template<class t> typename std::add_rvalue_reference<t>::type val();

template<class t> struct id{typedef T type;};

template<class t class... p> struct sum_type;
template<class t> struct sum_type<t> : id<t> {};
template<class t class u class... p> struct sum_type<t>
: sum_type() + val<const u>() ), P... > {};</const></t></class></t></t></class></class></class></t></class>

通过将 decltype 替换为类型名 sum_type

template<class t class u class... p> struct sum_type<t>
: id<decltype val>()
    + val<typename sum_type>::type>()
)>{};</typename></decltype></t></class>

T,P...>::type，问题已解决。或者，用户可以修改 sum_type 类的最后一个特化，以确保运算符的正确关联：

通过这些修改，加法器函数可以准确地累积参数并返回具有正确类型的预期总和。

以上是如何使用尾随返回类型和'decltype”确保使用可变参数模板函数正确的返回类型推导？的详细内容。更多信息请关注PHP中文网其他相关文章！