c++ - 如何以 lambda 作为第一个参数覆盖可变参数模板？

Answer 1

lambda 的类型是一个匿名类型，它有一个operator(). 它不是一个std::function<>.

您可以检查第一个参数是否是调用 3 的函子，而不是专门化类型（演示：http: //ideone.com/IQ4N6L）：

#include <iostream>
#include <type_traits>

template<typename F, typename ...Args>
auto call(F&& f, Args&& ...args)
    -> typename std::enable_if<std::is_same<decltype(f()), void>::value>::type
{
    std::cout << "call 3\n";
}


template<typename ...Args>
void call(Args&& ...args) {
    std::cout << "call 1\n";
}



int main() {
    call(1);
    call([](){});
}