在 gcc 4.7 中使用 std：：bind 编译错误

Question

我在代码的不同地方使用< code>std::bind时遇到了很多问题。有时行得通，有时行不通，所以我认为我正在做一些根本错误的事情。

据我所知，std：：bind的以下基本用法应该可以正常使用：

#include <functional>

int foo(int a, int b){ return a+b; }

int main(){

    using namespace std::placeholders;

    // works
    auto bar_auto=std::bind(foo,1,_2);

    // compile error
    std::function<int(int)> bar_fun=std::bind(foo,1,_2);

    int quux=1;
    // compile error
    std::function<int(int)> bar_fun_lvalue=std::bind(foo,quux,_2);

}

当然< code>bar_auto的类型是< code>std::function

它类似于这个bug，但是它太老了，我不认为它是相关的。

gcc的输出并不特别有启发性:

在文件中包含从bindnew.cpp： 1:0： /usr/include/c /4.7/functional：在实例化'静态_Resstd::_Function_handler

Answer 1

2占位符意味着使用返回函子的第二个参数。因此

std::bind(foo,1,_2)

不是 std：：函数

std::function<int(unspecified_type, int)>

获取std::f

std::bind(foo, 1, _1)
//                ^^

Answer 2

占位符位置对象（例如，当您使用_2）不是您调用的函数中参数的位置，而是创建的可调用对象中参数的占位符。相反，总是从_1开始，然后增加。

所以：

auto bar_auto=std::bind(foo,1,_1);

等。

这意味着你可以切换由std：：bind创建的对象中的参数，只需做类似

auto bar_auto=std::bind(foo,_2,_1);

当您“调用”< code>bar_auto对象时，第一个参数将是< code>foo的第二个参数，调用中的第二个参数将是< code>foo的第一个参数。