2

我有点困惑为什么这个绑定调用不起作用。我已将问题缩小到尝试将绑定对象嵌套在新的绑定调用中。

#include <iostream>
#include <algorithm>
#include <tr1/functional>
using namespace std;
using tr1::bind;
using namespace std::tr1::placeholders;

double times_2(double a) { 
    return 2*a;
}
void print_num(double a) {
    cout << a << endl;
}

template <typename Oper>
void oper_on_list(Oper op) {

    int list[] = {0,1,2,3,4};

    for_each(list, list+5, bind(print_num, bind(op, _1)));      // This works!
    for_each(list, list+5, bind(print_num, bind(op, bind(op, _1)))); // This doesn't!
}

int main() {
    oper_on_list(bind(times_2, _1));
    return 0;
}

在这里,我no matching function for call to 'bind'从我的编译器收到一条消息。(G++ 4.2.1 或 Apple LLVM 3.0)。

(实际上,no matching function for call to object of type 'std::tr1::_Bind<double (*(std::tr1::_Placeholder<1>))(double)>'

这里的目标是在不同的绑定中重用绑定对象。从我能够归结为,问题是使用第二个绑定调用的结果作为已经创建的绑定调用的参数。有没有办法解决这个问题?

我认为这也可能有助于说明情况?:

template <typename T>
void print(T t) {
    cout << t << endl;
}

template <typename Oper>
void oper_on_list(Oper op) {

    int list[] = {0,1,2,3,4};

    for_each(list, list+5, bind(print, bind(op, _1)));        // This doesn't work
    for_each(list, list+5, bind(print<double>, bind(op, _1))); // This does
    for_each(list, list+5, bind<void(*)(double)>(print, bind(op, _1))); // So does this!
}

在这里,我认为,问题在于它在推断基于bind(op, _1). 虽然我不知道为什么它不能..

但无论哪种方式,指定它似乎都可以解决问题。不幸的是,我看不到如何在原始示例中指定模板,因为我不知道Oper会是什么!

任何帮助将非常感激!:D 谢谢!

==============================

更新!事实证明,这可以在 C++11 上正确编译。现在的问题是:为什么没有 C++11 就不能编译?据我所知,没有任何特定于 C++11 的功能。有没有办法在没有 C++11 的情况下完成同样的任务?也许是另一种设置代码的方法?

==============================

更新2!好吧,这适用于 boost::bind,所以我想这只是 tr1::bind 的问题。

4

1 回答 1

0

好吧,无论如何,这适用于 boost::bind。

所以显然这只是 tr1::bind pre-C++11 中的一个错误。

于 2013-02-10T06:48:32.453 回答