如何使用可变参数数重载 lambda 函数?

Question

我正在使用此答案中提出的解决方案从lambda函数中获取参数，并且在参数数量固定时它工作正常。我首先创建了一个带有一个参数的变体，并希望添加第二个接受两个参数的变体。我不想一概而论，只是下面的两个选项。

class MyClass {
template<typename Lambda>
typename std::enable_if<function_traits<Lambda>::arity, 1>>
void Each(Lambda lambda) {
using Traits = function_traits<decltype(lambda)>;
using Arg0 = typename Traits::template arg<0>::type;
lambda(Conv<Arg0>().ToType(this));
}
template<typename Lambda>
typename std::enable_if<function_traits<Lambda>::arity, 2>>
void Each(Lambda lambda) {
using Traits = function_traits<decltype(lambda)>;
using Arg0 = typename Traits::template arg<0>::type;
using Arg1 = typename Traits::template arg<1>::type;
lambda(Conv<Arg0>().ToType(this), Conv<Arg1>().ToType(this));
}
}
void main() {
MyClass myClass;
myClass.Each([](int arg) {});
myClass.Each([](int arg0, int arg1) {});
}

当然，这段代码根本无法编译，但我仍然不明白enable_if如何正常工作。我使用的是 GCC 6.2.0，所以不能使用 C++17 功能，例如 constexpr，否则我会使用它。这里的正确实现是什么样的？

Answer 1

假设定义了Conv

class MyClass {
public:
template<typename Lambda>
typename std::enable_if<(function_traits<Lambda>::arity == 1), void>::type
Each(Lambda lambda) {
using Traits = function_traits<decltype(lambda)>;
using Arg0 = typename Traits::template arg<0>::type;
lambda(Conv<Arg0>().ToType(this));
}
template<typename Lambda>
typename std::enable_if<(function_traits<Lambda>::arity == 2), void>::type
Each(Lambda lambda) {
using Traits = function_traits<decltype(lambda)>;
using Arg0 = typename Traits::template arg<0>::type;
using Arg1 = typename Traits::template arg<1>::type;
lambda(Conv<Arg0>().ToType(this), Conv<Arg1>().ToType(this));
}
};
int main() {
MyClass myClass;
myClass.Each([](int arg) {});
myClass.Each([](int arg0, int arg1) {});
return 0;
}