c++ - 类型限制的可变参数模板函数

Question

我可以编写以下代码来定义一个接受任意数量参数的函数:

template <typename... Arguments>
void f(Arguments... sums) {
    // Do something.
}

然后像这样调用它

f(1, 2, 3, 4);

但是我如何将所有参数限制为例如内部？

Answer 1

使用来自 this SO answer 的 all_true您可以使用以下内容:

#include <type_traits>

template <bool...> struct bool_pack;

template <bool... v>
using all_true = std::is_same<bool_pack<true, v...>, bool_pack<v..., true>>;

template<typename... Args,
         typename = std::enable_if_t<all_true<std::is_same<int, Args>{}...>{}>>
void f(Args... sums)
{
    // Do something.
}

int main()
{
    f(1, 2, 3, 4);
    f(1.1, 2, 3, 4); // compile error
}

live example