有效的std :: search用于查找子序列的所有出现避免无限循环

如何解决有效的std :: search用于查找子序列的所有出现避免无限循环

我正在尝试查找序列中子序列的所有所有出现。我的想法是使用std::search，然后前进结果迭代器，直到到达集合的结尾。

这是有效的代码：

#include <algorithm>
#include <vector>

using namespace std;

int main ()
{
    vector<int> MainSequence {2,3,1,2,4,-5,8,6,3};
    //for the sake of simplicity assume MainSequence is always non-empty

    vector<int> SubSequence {2,3}; // this will always be of length 2
    auto it = MainSequence.begin();
    int Count = 0;
  
    while (it < MainSequence.end() - 1)
    {
        it = search(it,MainSequence.end(),SubSequence.begin(),SubSequence.end()) + 2;
        Count++;
    }
    
    // Count = 5   

    return 0;

}

我已经测试了各种组合，并且看起来很有效，但是我感觉到我已经做了很多调整，以使类似的东西可以工作。

您能帮助我理解为什么在以下情况下此while循环为何变为无限大的原因吗？

• 条件是否更改为it < MainSequence.end()或it != MainSequence.end()？

和/或

• 在循环体中，如果it增加了1而不是2？

非常感谢！

解决方法

更通用的方式是：

std::size_t count_subsequence(const std::vector<T>& mainSequence,const std::vector<T>& subSequence)
{
    assert(!subSequence.empty());
    std::size_t count = 0;
    auto it = mainSequence.begin();
    while (it != mainSequence.end())
    {
        it = search(it,mainSequence.end(),subSequence.begin(),subSequence.end());
        if (it != mainSequence.end()) {
             count++;
             std::advance(it,subSequence.size()); // or 1 depending how you want to count {1,1} in {1,1,1}
        } 
    }
    return count;
}

std::search(..) + 2会在未找到时调用未定义的行为（end() + 2）

能不能帮助我理解为什么在以下情况下while循环会变为无限大？

条件更改为it < MainSequence.end() 或it != MainSequence.end()？

因为要递增一个以上的数量，所以必须确保您拥有有效的迭代器，而不是MainSequence.end() + 1之类的迭代器 在循环体中，是否将其增加1而不是2？

,

条件更改为

都是正确的，我个人更喜欢第二种方式

但是可以肯定的是，(it < MainSequence.end() - 1)永远不可能是真实的，您必须使用上述两个提议之一

在循环体中，如果将其增加1而不是2？

要确定需要知道在{1,1}中搜索{1,1}的预期结果是什么，如果要2，则加2，如果要3，则加1

警告无条件地Count++;进行操作，即使 SubSequence 不在 MainSequence

中，结果也将为1

例如做

#include <algorithm>
#include <vector>
#include <iostream>

using namespace std;

int main ()
{
    vector<int> MainSequence {2,3,2,4,-5,8,6,3};
    //for the sake of simplicity assume MainSequence is always non-empty

    vector<int> SubSequence {2,3}; // this will always be of length 2
    auto it = MainSequence.begin();
    int Count = 0;
  
    while ((it = search(it,MainSequence.end(),SubSequence.begin(),SubSequence.end()))
           != MainSequence.end())
    {
      it += SubSequence.size(); // or += 1 depending on what you expect searching  {1,1}
      Count++;
    }
    
    cout << Count << endl;

    return 0;
}

编译和执行：

pi@raspberrypi:/tmp $ g++ -Wall s.cc
pi@raspberrypi:/tmp $ ./a.out
5
pi@raspberrypi:/tmp $