消除对采用 std::functions 的函数的调用的歧义

Question

下面的代码无法在 gcc 4.5 上编译，因为对 foo 的调用不明确。消除歧义的正确方法是什么？

#include <iostream>
#include <functional>
using namespace std;

void foo(std::function<void(int, int)> t)
{
    t(1, 2);
}

void foo(std::function<void(int)> t)
{
    t(2);
}

int main()
{
    foo([](int a, int b){ cout << "a: " << a << " b: " << b << endl;});
}

Answer 1

最好的方法是显式创建正确类型的 std::function 对象，然后将该对象传递给函数：

std::function<void(int, int)> func = 
    [](int a, int b) { cout << "a: " << a << " b: " << b << endl; }
foo(func);

或内联：

foo(
    std::function<void(int, int)>(
        [](int a, int b) { cout << "a: " << a << "b: " << b << endl; }
));

std::function 有一个构造函数模板接受任何内容：

template<class F> function(F);

因此，编译器无法在重载解析期间知道要选择哪个 foo：两者都是 std::function和 std::function有一个构造函数，可以将 lambda 表达式作为参数。

当您直接传递 std::function 对象时，在重载决策期间会首选 std::function 复制构造函数，因此会选择它而不是构造函数模板。

---

未来的答案：如果保证捕获列表为空，也可以使用普通函数指针。在 C++0x 中，无捕获 lambda 可以隐式转换为函数指针。因此，您可以使用类似的方法

void foo(void (*t)(int, int)) { t(1, 2); }

void foo(void (*t)(int)) { t(1); }

并直接使用无捕获 lambda（或具有匹配类型的函数指针）调用 foo 。

请注意，此转换是语言标准草案中最近添加的内容（于今年 2 月添加），因此它还不太可能得到广泛支持。 Visual C++ 2010尚不支持；我不知道最新的g++。

Answer 2

我最近一直在考虑一个类似的问题，在寻找任何已知的解决方案时，我遇到了这篇文章，并且缺乏解决方案。

另一种解决方案是将函子抽象为模板参数，并使用 decltype 来解析其类型。因此，上面的示例将变为：

#include <iostream>
#include <functional>
using namespace std;

template<class F>
auto foo(F t) -> decltype(t(1,2))
{
    t(1, 2);
}

template<class F>
auto foo(F t) -> decltype(t(2)) 
{
    t(2);
}

int main()
{
     foo([](int a, int b){ cout << "a: " << a << " b: " << b << endl;});
}

这在 gcc 4.5 中按预期工作。