在 C++ 中，从列表中删除对象

Question

我正在编写一个或多或少像这样的程序：

#include <list>

list<MyClass> things;

class MyClass {
   // some stuff

   void remove() {
       things.remove_if(THING_IS_ME);
   }
};

我需要写什么而不是 THING_IS_ME？

换句话说，我使用全局 STL 列表作为事物的集合。在某些时候，列表中的对象认识到它是多余的，并希望 a）将自己从列表中删除，b）将自己销毁。

我该怎么做？

我已经有大约 15 年没有写过 C++ 了，对这里的这个页面有点困惑：http: //www.cplusplus.com/reference/algorithm/remove_if/

这些谓词是什么？ C++现在有高阶函数了吗？

Answer 1

过去 15 年来，C++ 发生了巨大的变化。 1994 年 7 月，Alexander Stepanov 提出的一个包含他的泛型编程思想的库的提案得到了 ANSI/ISO 委员会的最终批准。这个我们今天方便地称为 STL 的库随后成为标准 C++ 库。 STL 的故事与其背后的想法一样引人入胜，绝对值得一读。

您发现的 std::remove_if() 函数只是这一哲学的另一个体现，它已成为 C++ 现代身份的一部分。简而言之，这是一个通用函数，适用于任何元素容器（序列）和任何（类似于某个）条件。为此，您必须为函数提供两件事：

1. 一对迭代器，用于界定您希望处理的元素范围；
2. 以及一个谓词，当在元素上调用时，如果要删除该元素，则返回 true，否则返回 false。

事实证明，在这种情况下，您想要的谓词是相等的谓词。由于基于相等性删除元素是一项常见任务，因此标准还提供了 std::remove() 函数，该函数假定隐式相等谓词。当然，您必须确保元素可以比较：

bool operator==(const MyClass& a, const MyClass& b)
{
    // return true if the two are equal, and false otherwise.
}

然后我们可以使用谓词来删除 MyClass 类型的元素：

std::remove(things.begin(), things.end(), *this);  // if *this == elem

回想一下标准函数 std::remove()适用于任何容器，甚至是尚未创建的容器。因为每种容器都有自己的删除元素的方式，所以如果不知道它所工作的容器的实现细节，这个函数就无法真正执行删除操作。因此，std::remove() 函数会交换元素，以便“删除”的元素位于容器的末尾。然后，它返回一个迭代器，指向“已删除”的连续元素的第一个元素。

typedef std::list<MyClass>::iterator iter;
iter first_removed = std::remove(things.begin(), things.end(), *this);

最后，我们通过调用特定容器的删除函数来真正删除元素，该函数适用于列表中的单个位置或要删除的一系列连续元素：

things.erase(first_removed, things.end());

在一行中看到此类代码并不罕见：

things.erase(std::remove(things.begin(), things.end(), *this),
             things.end());

这全部可能看起来势不可挡且复杂，但它有一些优点。一方面，标准库的这种设计支持动态编程。它还允许标准库提供具有非常精简接口的容器，以及一些可在许多不同类型的容器上运行的免费函数。它允许您快速创建容器并立即获得标准库的所有功能来使用它。或者，它允许您快速编写一个通用函数，该函数立即适用于所有标准容器 - 那些已经编写的容器和那些尚未编写的容器。

Answer 2

（最初是一组注释，但在发现 OP 实际想要做什么后重写为答案。）

您确实意识到 STL 容器存储您插入的内容的副本 ， 正确的？这意味着 MyClass 的实例最好具有可比性（例如通过 operator==） - 您不能只比较地址，因为它们总是不同的。

如果拥有 MyClass 的副本没有意义，那么您最好使用 指针容器。

话虽这么说，C++ 语言默认使用复制语义。该语言要求您在代码中明确引用之类的内容。我强烈建议您选择一本好的 C++ 书籍，否则您将以后会被这样的问题绊倒。

Answer 3

首先，一个简单的手写循环：

for( list<MyClass>::iterator it = things.begin(); it != things.end(); /*  */ ) {
    if( qualifiesForDelete( *it ) ) {
        it = things.erase( it );
    }
    else {
        ++it;
    }
}

其次，使用 remove_if 算法。 remove_if 是一种算法，与 list 的成员函数相反，它实际上不能删除任何元素，而是将要删除的元素移向末尾的列表。随后必须调用erase。这是一个非常重要的惯用法，擦除删除惯用法，必须学习。

things.erase( 
    remove_if( things.begin(), things.end(), deletionPredicate ), 
    things.end() 
);

其中deletionPredicate是一个函数或函数对象，它接受单个类型参数并返回bool。返回 true 的元素被视为已删除。

Answer 4

remove_if 函数采用三个参数：两个定义您正在处理的范围的迭代器，以及一个谓词（返回 bool 的测试函数）。开始迭代器指向您要处理的第一个元素； end 迭代器指向范围中最后一个元素之后的元素。

在链接到的页面的示例中，谓词是执行以下操作的代码行：说

bool IsOdd (int i) { return ((i%2)==1); }

要让您的代码执行您想要的操作，您需要编写如下内容：

things.remove_if(things.begin(), things.end(), SomePredicateFunction);

并且您将像这样定义 SomePredicateFunction （用适当的测试替换 true ） :

bool SomePredicateFunction (MyClass c) { return true; }