templates - 为什么 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>&)'
自动仿函数 = 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&& ... )
绑定(bind)(_Func&& __f, _BoundArgs&&... __args)
^
/usr/include/c++/5/functional:1462:5: 注意:模板参数推导/替换失败:
prog.cpp:10:48:注意:无法推断模板参数“_Func”
自动仿函数 = 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&& ...)
绑定(bind)(_Func&& __f, _BoundArgs&&... __args)
^
/usr/include/c++/5/functional:1490:5:注意:模板参数推导/替换失败:
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);