5

调用嵌套std::bind表达式时出现问题。下面的代码演示了这个问题。它无法使用 libc++ 编译,但可以使用 boost:

#define BOOST 0

#if BOOST
    #include <boost/function.hpp>
    #include <boost/bind.hpp>
    using boost::function;
    using boost::bind;
#else
    #include <functional>
    using std::function;
    using std::bind;
    using std::placeholders::_1;
#endif


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

// works
template <typename F>
int yeah(F f, int c)
{
    return f(c);
}

// breaks with libc++
template <typename F>
int nope(F f, int c)
{
    return bind(f, c)();
}

// fixes the problem
template <typename F>
int fix1(F f, int c)
{
    function<int(int)> g = f;
    return bind(g, c)();
}

template <typename F>
class protect_t
{
public:
    typedef typename F::result_type result_type;

    explicit protect_t(F f): f_(f) {}

    template <typename... Args>
    result_type operator()(Args&&... args)
    {
        return f_(std::forward<Args>(args)...);
    }

private:
    F f_;
};

template <typename F>
protect_t<F> protect(F f)
{
    return protect_t<F>(f);
}

// compilation fails with libc++
template <typename F>
int fix2(F f, int c)
{
    return bind(protect(f), c)();
    // F copy(f);    // fails due to this!
}

#include <iostream>

int main()
{    
    std::cout << yeah(bind(sum, _1, 4), 5) << std::endl;  // works
    std::cout << nope(bind(sum, _1, 4), 5) << std::endl;  // breaks
    std::cout << fix1(bind(sum, _1, 4), 5) << std::endl;  // fixes
    std::cout << fix2(bind(sum, _1, 4), 5) << std::endl;  // doesn't compile
}

将绑定表达式包装在 a std::function(请参阅fix1参考资料)中可以解决问题,尽管会由于运行时多态性禁用内联而牺牲速度(尽管尚未测量)。

将绑定表达式包装在protect_t(参见参考资料fix2)中的灵感来自boost::protect,但是,由于绑定表达式不可复制,使用 libc++ 进行编译会失败。这让我想知道为什么std::function无论如何都要将它们包装在作品中。

知道如何解决这个问题吗?到底是怎么回事std::bind?首先,我认为问题与 C++11 标准规定的对绑定表达式的急切求值有关(请参见此处),但这不会是问题,不是吗?

4

1 回答 1

0

该标准规定任何可调用对象都可以使用 来包装std::bind,包括由先前调用生成的对象std::bind。您的问题是由于您正在使用的标准库的实现存在缺陷引起的,解决方案是升级,或者如果此错误仍未修复,则切换到不同的实现。

于 2012-09-30T09:43:01.143 回答