在对 tr1::bind() 的新调用中嵌套来自 tr1::bind() 的 tr1::bind<> 对象

Nesting a tr1::bind<> object from tr1::bind() in a new call to tr1::bind()

本文关键字:bind tr1 lt 对象 gt 调用 新调用 在对 嵌套      更新时间:2023-10-16

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

#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 的问题。

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

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