将右值引用传递给 boost::in_place 函数

val*_*y_l 5 c++ boost rvalue-reference c++11

我是 C++ 中右值引用的新手,想学习如何在日常生活中使用它们。我有两个关于流行用例的相关问题:使用带有 boost::in_place 和 boost::bind 的右值引用。

  1. 在 boost::in_place 中使用右值引用

考虑一个类,构造函数将右值引用作为参数:

struct A
    : boost::noncopyable 
{
    A(int&&){}
};
Run Code Online (Sandbox Code Playgroud)

现在让我们尝试为这个类创建 boost 可选变量:

void foo(int&& value)
{
    boost::optional<A> opt;
    // some code here 
    opt = boost::in_place(std::forward<int>(value)); //Error!
}
Run Code Online (Sandbox Code Playgroud)

在这样的例子中传递 rvalue ref 的正确方法是什么。有没有类似 boost::reference_wrapper 的解决方案用于右值引用?

  1. 将绑定函子传递给具有右值引用的函数对象

另一个常见的用例是将 boost::bind 函子对象分配给 boost::function 对象。

void foo(int&&)
{
}

void bar()
{
    boost::function<void(int&&)> func;

    int x = 0;
    func = boost::bind(foo, std::move(x)); // Compilation error (a)

    func = boost::bind(foo, _1); // Compilation error too (b)
}
Run Code Online (Sandbox Code Playgroud)

我知道指令 (a) 在第一次调用后可能会导致未定义的变量值,但指令 (b) 甚至没有这样的问题。但是如何正确编写这段代码呢?

小智 0

boost in_places 本身不支持移动或右值引用。但是,您可以创建一个继承自 boost::in_place_factory_base 的新类,并创建您自己的类。或者您可以使用支持 emplace 函数的可选选项(例如 folly::Optional)。

我不确定我是否建议这样做,但您可以在 boost 中进行通用重载来处理它,如下所示:

#include <boost/optional.hpp>      
#include <boost/utility/in_place_factory.hpp>
#include <folly/ApplyTuple.h>

namespace boost                                                                      
{                                                                                  
  template<class ... As> 
  struct rvalue_in_place : public in_place_factory_base 
  {
    mutable std::tuple<As...> tup_; 
    rvalue_in_place(As ... as)
      : tup_(std::forward<As>(as)...)
   {
   }                                                                                   
   template< class T >
   void apply ( void* address ) const 
   {
     auto make = [address](As ... as) { new (address) T(std::forward<As>(as)...);  }; 
     folly::applyTuple(make, tup_); 
   }
 };   
 template <class ... As> 
 rvalue_in_place<As&&...> in_place(As && ... a)
 {
   return rvalue_in_place<As&&...>(std::forward<As>(a)...);
 }
}
Run Code Online (Sandbox Code Playgroud)