为什么STD：：BIND不能解析具有多个参数的函数重载？

Question

考虑以下示例：

#include <iostream>
#include <functional>

using namespace std;

void f(int x,int y) {}
// void f(int x) {} // if this line is uncommented, code does not compile.

int main() {
    auto functor = std::bind(&f,1,placeholders::_1);
    cout << "works!" << endl;
    return 0;
}

Answer 1

当C++编译器看到调用std::bind(&f,1,placeholders::_1)时，它不知道参数之间的任何关系。关系只有在模板实例化时才可见。为了实例化它，编译器需要模板参数。但是&f是一个重载函数，因此它没有定义类型。因此，C++编译器无法实例化模板，甚至在可以看到任何关系之前编译就失败了。

您可以通过明确指定类型来解决此问题：

std::bind(static_cast<void(*)(int,int)>(&f),1,placeholders::_1);