检查函数模板的所有参数包参数是否属于int

如果您想要一个只接受变量 int s、 中的折叠表达式 std::enable_if 可以做到:

template<class ...Args>
auto sum(Args... args)
    -> std::enable_if_t<(... && std::is_same_v<Args, int>), int>
// note: It's best to use std::enable_if_t in return types.
//       The actual return type is int here, std::enable_if_t is just wrapping it
//       for the sake of doing SFINAE.
{
    // note: use zero to get a value for empty packs
    return (0 + ... + args);
}

使用 std::conjunction 在这里有些过头了,尤其是因为fold表达式在C++17中也能很好地完成任务。是的,把包分成 T 和 Ts 只是为了让我们能够比较 Ts公司 到第一种类型通过 std::is_same_v<T, Ts>... 。

然而,这是 真正地 令人质疑的设计,因为:

• 这将实例化单独的函数 sum<int> , sum<int, int> 。。。(不利于编译性能)
• 我们不能用类型为的参数调用此函数 long 或 float ,因为即使它们是常数,替换也会失败,并且我们知道转换为 整数 是安全的

A. 很 更理智的设计是使用 std::initializer_list<int> 以下为:

#include <numeric>

int sum(std::initializer_list<int> args)
{
    return std::reduce(args.begin(), args.end());
}

// call with sum({1, 2, 3, 4})

是的,这将需要我们使用额外的大括号,但隐式转换有效,而且该函数甚至不再是模板,因此值得使用。

可以在中使用fold表达式 enable_if 以下为:

template<typename... Args, 
         std::enable_if_t<(... && std::is_same_v<Args, int>), bool> = true>
auto sum(Args... args) // GOOD, and much more flexible
{
    return (... + args); // note: C++17 "fold expression"
}