调用嵌套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 标准规定的对绑定表达式的急切求值有关(请参见此处),但这不会是问题,不是吗?