c++ - 从 std::set 中提取仅 move 类型

Question

我有一个 std::set<std::unique_ptr<T>>我想把它移到 std::vector<std::unique_ptr<T>>

#include <set>
#include <vector>
#include <memory>

class C {};

int main()
{
  std::set<std::unique_ptr<const C>> s;
  std::vector<std::unique_ptr<const C>> v;
  std::move(s.begin(), s.end(), std::back_inserter(v));
}

这会在 VS2017 上出现以下错误:

error C2280: 'std::unique_ptr>::unique_ptr(const std::unique_ptr<_Ty,std::default_delete<_Ty>> &)': attempting to reference a deleted function

我们不能将迭代器从 std::set move 到非常量变量吗？ ？什么是解决这个问题的可行方案？

Answer 1

为了从集合中提取只能 move 的元素，唯一的可能是使用 extract方法，在 C++17 中添加:

while (!s.empty())
    v.emplace_back(std::move(s.extract(s.begin()).value()));

如果您不能使用 C++17，则允许修改集合中的元素(例如使用 mutable)仅当您确保它保持不变在强制排序中的位置——也就是说，只要与集合中的所有其他成员相比，它在你的比较器下具有相同的结果。您可以通过提供一个比较器来完成此操作，该比较器在非空之前对空的唯一指针进行排序(请注意，标准不保证这一点)并在修改后立即删除修改后的元素:

template<class T> struct MutableWrapper { mutable T value; };
template<class T> struct MutableWrapperCompare {
  bool operator()(MutableWrapper<T> const& lhs, MutableWrapper<T> const& rhs) {
    return lhs.value && rhs.value ? lhs.value < rhs.value : rhs.value;
  }
};

int main()
{
  std::set<MutableWrapper<std::unique_ptr<const C>>, MutableWrapperCompare<std::unique_ptr<const C>>> s;
  std::vector<std::unique_ptr<const C>> v;
  while (!s.empty())
  {
    v.emplace_back(std::move(s.begin()->value));
    s.erase(s.begin());
  }
}

然而，这是相当丑陋和危险的；你最好使用来自 Boost.Container 的 boost::container::set ，它具有 C++17 提取方法( since 1.62.0 ；它是 was undocumented ，但这只是一个疏忽，请注意相应的 extract 方法已记录在 map 中和 multimap)。