Question

这一功能的摔跤模板证明超出了我的范围。

我想要的是什么：

一个函数，它生成与以下任何容器中给定的浮点类型相同的浮点类型：

vector<ANY_FLOAT_TYPE>
array<ANY_FLOAT_TYPE, N>

（我当然愿意让它接受更多容器！）

问题：

问题在于数组＆lt;＆gt;接受一个整数作为其第二个模板参数，而vector＆lt;＆gt;接受该位置的分配器。如何编写一个可以接受单个参数的类型名和整数的模板化函数？或者这是继续编写此函数的错误方法吗？

我可以复制粘贴并将函数写入两次，包括vector<>和array<>，但这不是解决方案......

template <typename FT, typename CONT_T, typename... Ts>
FT float_sum( CONT_T<FT, Ts...> xs ) {

    // WARNING: not an accurate summation algorithm!
    return accumulate( xs.begin(), xs.end(), 0 );

    //////////////
    static_assert( is_floating_point<FT>::value, "sum() only accepts floating point types." );
}

Answer 1

只需将整个容器作为模板参数，而使用value_type，它是所有Container types的界面的一部分。像

这样的东西

template <typename Container>
auto sum(Container const &container)
    -> typename Container::value_type
{
  using value_type = typename Container::value_type;
  static_assert(std::is_floating_point<value_type>::value, 
                "only for floating types");

  return std::accumulate(container.cbegin(), container.cend(), value_type{});
}

此外，如果您决定最终还想使用其他专业化对非浮动类型的容器求和，则可以选择使用SFINAE删除静态断言以支持std::enable_if，或者（通过C ++ 20）概念。使用GCC中的Concepts TS＆gt; = 6：

template <typename Container>
auto sum(Container const &container)
requires 
    std::is_floating_point<typename Container::value_type>::value    
{
  using value_type = typename Container::value_type;
  return std::accumulate(container.cbegin(), container.cend(), value_type{});  
}

在可变参数模板函数中接受int和class？

我想要的是什么：

问题：

1 个答案: