如何从 C++ 中的集合中删除一个项目而不删除它？

Question

在 C++ 中使用 std::set，我能找到从集合中删除项目的唯一方法是使用擦除方法。这会删除有问题的项目，我不希望发生这种情况。我能想到的从集合中删除一个项目而不删除它的唯一方法是创建一个新集合并迭代地将旧集合的所有项目添加到其中，确保不添加需要从中删除的项目集，然后删除旧集。

有没有更简洁的方法来做到这一点？

Answer 1

您无法从集合中移除一个项目而不删除它。集合拥有他们的成员。如果该成员从集合中删除，则它不再存在。如果您希望能够在不删除的情况下删除某些内容，请不要将其添加到集合中。

想象一下，如果你有int x[5]; x[2]=2;。你怎么能把x[2]从数组中取出来？这甚至意味着什么？当然，您可以构造一个具有相同值的新整数int j = x[2];。但这是一个新对象（具有相同的值），不会延长现有对象的寿命。

根据您的外部问题，可能会有解决方案。例如，您可以将std::unique_ptr 添加到一个对象到一个集合中，然后您可以销毁该std::unique_ptr 而不会破坏它指向的对象，该对象正在为同一底层对象构造一个新的std::unique_ptr。

Answer 2

将对象移出集合

您可以使用extract 从集合中删除相应的节点。这为您提供了节点的句柄。拿到手柄后，您可以将物品移出手柄。

template<class T>
T find_and_remove(std::set<T>& s, T const& elem) {
    auto iterator = s.find(elem); 
    if(iterator == s.end() {
        throw std::invalid_argument("elem not in set"); 
    }
    // Remove element, return node handle
    auto node_handle = s.extract(iterator);
    return std::move(node_handle.value());
}

或者，如果你已经有了节点的迭代器，你可以这样写：

template<class T>
T remove_from_set(std::set<T>& s, std::set<T>::iterator it) {
    return std::move(s.extract(it).value());
}

移动价值会转移价值拥有的任何资源的所有权。例如，如果集合包含一个字符串，则不会删除该字符串的内容，并且该字符串的任何迭代器都不会失效。

需要注意的是，如果您在对象仍在集合中时就拥有指向该对象的指针或引用，则这些将无效。

在不移动且不使对象的任何指针或引用无效的情况下提取对象本身

这是不太常见的情况，但如果您有指向集合中对象的引用或指针，您可能想要这样做。

同样，我们可以使用extract函数：

auto node_handle = s.extract(my_object);

或者：

auto node_handle = s.extract(my_iterator); 

您可以使用node_handle.value() 访问存储的对象，这将返回对该对象的引用。在删除 node_handle 之前，该对象不会被删除，如果您需要进一步延长它的生命周期，您可以从函数中返回 node_handle 而不会删除该对象。