如何使用'decltype”和可变参数模板函数来求和参数？

将 decltype 与可变参数模板函数结合使用

当尝试使用 decltype 编写返回具有适当类型的总和的可变参数模板函数时，它可能会遇到一些意想不到的问题。

问题

最初，声明的函数没有尾随返回类型。但是，当传递多个参数时，编译器会将函数解释为未定义。使用尾随返回类型声明函数可以解决两个以上参数的问题，但会导致不同类型参数的返回类型不正确。

问题

decltype 是无法推断出两个以上参数的 t sum(p...) 的类型，因为可变参数函数模板仅在返回类型之后声明

解决方法

为了避免 decltype 中的这种递归调用，可以使用自定义特征类。 sum_type 类确定多个参数之和的类型，无需递归推导。

更新的代码

将程序中的 decltype 替换为类型名 sum_type::输入如图：

#include <iostream>
#include <type_traits>
using namespace std;

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></type_traits></iostream>

此方法返回decltype((a b) c) 而不是 decltype(a (b c))。要获得 decltype(a (b c)) 的更精确结果，请修改最后一个特化，如下所示：

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

以上是如何使用'decltype”和可变参数模板函数来求和参数？的详细内容。更多信息请关注PHP中文网其他相关文章！