变分函数-确定返回类型

Variadic function - determining return type

本文关键字：返回类型 函数      更新时间：2023-10-16

我在玩可变模板，我被以下内容卡住了：

template <class T1, class T2>
auto sum(T1 a, T2 b) ->decltype(a + b){
    return a + b;
}
template <class T1, class T2, class... T3>
auto sum(T1 a, T2 b, T3... tail) ->decltype(a + b){
    return a + sum(b, tail...);
}

函数调用：

cout << sum(1, 2, 3, 4) << endl;    // 10 - OK
cout << sum(1.5, 2, 3, 4) << endl;  // 10.5 - OK
cout << sum(1, 2, 3.5, 4) << endl;  // 10 !! wrong result

我在这里做错了什么？

sum(1, 2, 3.5, 4)

前两个参数的类型为int。因此，在尾部返回类型中，decltype(a + b)是int，因此结果被转换为int-并被截断。

使用std::common_type:

template <class T1, class T2, class... T3>
typename std::common_type<T1, T2, T3...>::type
  sum(T1 a, T2 b, T3... tail) 
{
    return a + sum(b, tail...);
}

注意

template <class T1, class T2, class... T3>
auto sum(T1 a, T2 b, T3... tail) ->decltype(a + sum(b, tail...))

不起作用，因为第二个模板在尾部返回类型中是未知的，只有第一个。使用C++14，返回类型的扣除是可能的：

template <class T1, class T2, class... T3>
auto sum(T1 a, T2 b, T3... tail)
{
    return a + sum(b, tail...);
}

namespace details{
  template<template<class,class>class binary_result, class T, class...Ts>
  struct nary_result{using type=T};
  template<template<class,class>class binary_result, class T0, class T1, class...Ts>
  struct nary_result<binary_result, T0,T1,Ts...>:
    nary_result<binary_result,binary_result<T0,T1>,Ts...>
  {};
}
template<template<class,class>class binary_result, class...Ts>
using nary_result=typename details::nary_result<binary_result,Ts...>::type;
template<class Lhs, class Rhs>
using binary_sum_result = decltype(std::declval<Lhs>()+std::declval<Rhs>());
template<class...Ts>
using sum_result=nary_result<binary_sum_result,Ts...>;

应该做到这一点。

也许加上衰变。

相关文章：