从字符串向量中，从子字符串中删除字符串

Question

我正在将单元子句传播算法实现到 C++ 中。我已经在 CNF 文件中读取了一个向量，其中每个子句都位于向量的单个元素中，例如

1 2 0
1 2 3 0
1 0
3 4 0

到目前为止，我能够隔离单个元素并将它们设置为字符串，因此在此示例中，我会将字符串设置为“1”。

下一步将删除向量中包含 1 的所有元素，因此在此示例中，将删除第 1、第 2 和第 3 个元素。但是，当我运行矢量删除命令时

clauses.erase(std::remove(clauses.begin(), clauses.end(), "1"), clauses.end());

它只会删除恰好为“1”的元素，而不是包含 1 以及其他字符的元素。无论如何要删除包含字符串的向量的任何元素？

（我希望这是有道理的，感谢您的宝贵时间）

Answer 1

使用std::remove_if 并在字符串中搜索1 (live example)：

clauses.erase(
    std::remove_if(clauses.begin(), clauses.end(), 
        [](const std::string &s) {return s.find('1') != std::string::npos;} 
    ), 
    clauses.end()
);

如果您没有用于 lambda 的 C++11，那么普通函数、仿函数或 Boost lambda 或任何漂浮的东西都可以。