为什么 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;
}

它按原样编译和运行良好（https://ideone.com/fork/2SywE2），但取消注释注释行会导致编译器错误：

prog.cpp: 在函数中 'int main()': prog.cpp:10:48: 错误：没有匹配函数来调用 'bind(, int, const std::_Placeholder<1>&)' auto functor = std::bind(&f,1,placeholders::_1); ^ 在 prog.cpp:2:0 包含的文件中： /usr/include/c++/5/functional:1462:5: 注意：候选：模板类型名 std::_Bind_helper::value, _Func, _BoundArgs ...>::type std::bind(_Func&&, _BoundArgs&& ... ) 绑定(_Func&& __f, _BoundArgs&&... __args) ^ /usr/include/c++/5/functional:1462:5: 注意：模板参数 deduction/substitution 失败： prog.cpp:10:48: 注意：无法推断模板参数“_Func” auto functor = std::bind(&f,1,placeholders::_1); ^ 在 prog.cpp:2:0 包含的文件中： /usr/include/c++/5/functional:1490:5: 注意：候选：模板类型名 std::_Bindres_helper<_Result, _Func, _BoundArgs>::type std::bind(_Func&&, _BoundArgs&& ...) 绑定(_Func&& __f, _BoundArgs&&... __args) ^ /usr/include/c++/5/functional:1490:5: 注意：模板参数 deduction/substitution 失败： prog.cpp:10:48: 注意：无法推断模板参数“_Result” 自动仿函数 = std::bind(&f,1,placeholders::_1);

如果存在多个重载，为什么 std::bind 无法解析模板参数，因为重载具有不同数量的输入参数，调用 bind 意味着输入参数的数量为 2。

Answer 1

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

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

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

为什么 std::bind 无法解析具有多个参数的函数重载？

Why std::bind cannot resolve function overloads with multiple arguments?

templates

c++11

lambda

std-function