在仅移动类型上强制复制（然后销毁）

Question

考虑以下无锁工作窃取（de）que函数：

template<class T>
inline T WorkStealQ<T>::Steal(void)
{
    auto tail{_tail.load(std::memory_order_acquire)};
    if (_head.load(std::memory_order_acquire) <= tail) return T();
    auto task{_tasks[tail & _mask]};
    if (_tail.compare_exchange_weak(tail, tail + 1, std::memory_order_release, std::memory_order_relaxed)) return task;
    return T();
}

但是，如果T仅可移动但不可复制该怎么办？ 问题是从缓冲区读取项目是一项复制操作，无法更改为auto task{std::move(_tasks[tail & _mask])}; 因为另一个并发操作也可以移动它，在这种情况下，任何非只读但又修改原始操作的move构造函数（例如，使指向资源的指针为空）都会破坏算法。

请注意， Steal()的整体语义仅从外部角度执行一次移动，因为只有一个并发操作将返回存储在该位置的T并返回。 输掉比赛的其他任何人都将使compare_exchange_weak()失败。 因此，就用户而言，该操作不会破坏仅可移动T的语义。 不幸的是，在内部，它需要制作一个临时的T浅拷贝，直到确定是将其完成还是放弃后再将其保留在缓冲区中（这基本上是两阶段移动，中间进行检查）。

一种实现方法是使T副本构造函数和副本分配私有成员，并拥有一个friend WorkStealQ 。 问题是在我可能想用作T的第三方库类的情况下该怎么做。 在那种情况下，除了使用指向此类对象的指针而不是侵入性地存储它们（从而导致性能下降）之外，还有其他选择吗？ 我假设对于带有虚函数的类，即使对于浅表副本， memcpy也无法使用。

Answer 1

我认为最好的选择可能是为每个T显式定义一个单独的shallow_copy类，并在工作窃取函数中使用该类。 这也将使您能够处理任何导致您的类型变为仅移动的问题（因为您无法先验地知道临时副本可以避免这些问题）。