c++ - 如何在模板类中实现 move 语义

Question

我有一个队列模板类。我还希望能够存储包含在 std::unique_ptr 中的对象。

正常的模板特化是不可能的，因为 std::unique 指针可以用任何类型实例化。

队列代码是这​​样的:

bool TQueue<T>::Push(const T& item)
{
  m_Mem[currTail] = item;
}

bool TQueue<T>::Pop( T& item )
{
  item = m_Mem[currHead];
} 

当我需要执行 m_Mem[curtail] = std::move(item) 时，如何使它也适用于 std::unique_ptr 类型

Answer 1

您从稍微错误的角度处理问题。 move() 不能在 Push() 内，那太晚了。它必须在外面——你不能真正窃取任意参数的资源，你必须要求用户主动将不可复制的资源移到那里。所以简单地提供一个额外的重载:

bool TQueue<T>::Push(const T& item)
{
  m_Mem[currTail] = item;
}

bool TQueue<T>::Push(T&& item)
{
  m_Mem[currTail] = std::move(item);
}

这样，您的用户可以在需要时主动将他们的对象 move 到容器中(通过执行 queue.Push(std::move(my_object));。

对于 Pop()，情况更简单:Pop() 从队列中删除一个元素，所以你应该总是 move() it out - 你没有保留任何拷贝:

bool TQueue<T>::Pop( T& item )
{
  item = std::move(m_Mem[currHead]);
}