Boost C++ 库

以下是遗留移动语义辅助类和函数的接口。

namespace boost
{
  namespace detail
  {
      template<typename T>
      struct thread_move_t
      {
        explicit thread_move_t(T& t_);
        T& operator*() const;
        T* operator->() const;
      private:
        void operator=(thread_move_t&);
      };
  }
  template<typename T>
  boost::detail::thread_move_t<T> move(boost::detail::thread_move_t<T> t);
}

我们可以编写一个 MovableOny 类，如下所示。您只需遵循以下简单步骤

例如，thread 类定义了以下内容：

class thread
{
  // ...
private:
    thread(thread&);
    thread& operator=(thread&);
public:
    detail::thread_move_t<thread> move()
    {
        detail::thread_move_t<thread> x(*this);
        return x;
    }
    operator detail::thread_move_t<thread>()
    {
        return move();
    }
    thread(detail::thread_move_t<thread> x)
    {
        thread_info=x->thread_info;
        x->thread_info.reset();
    }
    thread& operator=(detail::thread_move_t<thread> x)
    {
        thread new_thread(x);
        swap(new_thread);
        return *this;
    }
  // ...

};

此宏将类标记为不可复制，禁用复制构造和赋值。

此宏将类标记为可移动，声明所有隐式转换为右值引用。

此宏将类型标记为可移动但不可复制，禁用复制构造和赋值。用户需要编写移动构造函数/赋值运算符才能完全编写可移动但不可复制的类。

此宏将类型标记为可复制和可移动。用户需要编写移动构造函数/赋值运算符和复制赋值运算符才能完全编写可复制和可移动的类。

此宏用于在标记为 BOOST_THREAD_COPYABLE_AND_MOVABLE 或 BOOST_THREAD_MOVABLE_ONLY 的类的移动构造函数和赋值运算符中实现可移植语法。

当参数以>结尾时，使用BOOST_THREAD_RV_REF_BEG和BOOST_THREAD_RV_REF_END可以避免编译器错误。

虽然Boost.Move模拟允许使用点运算符访问右值引用BOOST_THREAD_RV_REF(TYPE)，但遗留定义使用operator->。因此，我们需要一个宏BOOST_THREAD_RV来掩盖这种差异。例如：

thread(BOOST_THREAD_RV_REF(thread) x)
{
    thread_info=BOOST_THREAD_RV(x).thread_info;
    BOOST_THREAD_RV(x).thread_info.reset();
}

使用这些宏大大减少了Boost.Thread移动相关代码的规模。

虽然Boost.Move是最好的C++03移动模拟，但它也有一些限制会影响库的使用方式。例如，使用以下声明：

class thread {
  // ...
private:
  thread(thread &);
public:
  thread(rv<thread>&);
  // ...
};

即使thread可以转换为rv<thread>，这在某些编译器上也可能无法工作，因为编译器更倾向于使用私有的复制构造函数。

thread mkth()
{
  return thread(f);
}

在这些编译器上，我们需要使用显式转换。库提供了一个移动成员函数来解决这个问题。

thread mkth()
{
  return thread(f).move();
}

请注意，在这种情况下不能使用::boost::move，因为thread不能隐式转换为thread&。

thread mkth()
{
  return ::boost::move(thread(f));
}

为了使Boost.Thread代码可移植，用户需要使用宏BOOST_THREAD_MAKE_RV_REF，其使用方法如下：

thread mkth()
{
  return BOOST_THREAD_MAKE_RV_REF(thread(f));
}

请注意，此限制也适用于遗留的Boost.Thread移动模拟。

由于Boost.Move也定义了boost::move函数，我们需要专门化has_move_emulation_enabled_aux元函数。

template <>
struct has_move_emulation_enabled_aux<thread>
  : BOOST_MOVE_BOOST_NS::integral_constant<bool, true>
{};

以便禁用以下Boost.Move重载：

template <class T>
inline typename BOOST_MOVE_BOOST_NS::disable_if<has_move_emulation_enabled_aux<T>, T&>::type move(T& x);

宏BOOST_THREAD_DCL_MOVABLE(CLASS)、BOOST_THREAD_DCL_MOVABLE_BEG(T1)和BOOST_THREAD_DCL_MOVABLE_END用于此目的。例如：

BOOST_THREAD_DCL_MOVABLE(thread)

和

BOOST_THREAD_DCL_MOVABLE_BEG(T) promise<T> BOOST_THREAD_DCL_MOVABLE_END