如何在模板折叠表达式中使用 if constexpr？

Question

我想写一个参数数量可变的求和函数，条件是它应该忽略不是std::is_arithmetic的参数

我想出了一个可行的递归版本

auto old_sum(){
    return 0;
}

template<typename T1, typename... T>
auto old_sum(T1 s, T... ts){
    if constexpr(std::is_arithmetic_v<T1>)
        return s + old_sum(ts...);
    else
        return old_sum(ts...);
}

我想知道是否可以在折叠表达式的上下文中使用if constexpr 使以下代码仅考虑参数包中的算术类型：

template<typename... T>
auto fold_sum(T... s){
    return (... + s);
}

Answer 1

由于我们没有三元 constexpr 运算符，我们可以使用 lambda 代替。

#include <type_traits>

template<typename... T>
constexpr auto fold_sum(T... s){
    return (... + [](auto x)
    {
        if constexpr(std::is_arithmetic_v<T>) return x;
        else return 0;
    }(s));
}

用法：

int main()
{
    static_assert(fold_sum(0, nullptr, 5, nullptr, 11, nullptr) == 16);
}

live example on godbolt.org

Answer 2

您绝对想使用if constexpr？

我提出了一个不同的替代方案：std::get() 和std::pair 来模拟constexpr 三元运算符如下（Vittorio Romeo 的改进；谢谢）

#include <utility>
#include <type_traits>

template<typename ... Ts>
constexpr auto fold_sum (Ts const & ... s)
 { return (... + std::get<std::is_arithmetic_v<Ts>>(std::pair{0, s})); }

int main ()
 {
   static_assert(fold_sum(0, nullptr, 5, nullptr, 11, nullptr) == 16);
 }