Question

在c ++中使用set时，我编写了以下代码。它只是将元素从1到50推送到两个集合s1和s2，然后对于这两个集合，我从相同的值迭代到打印值直到固定限制。但我无法理解为什么我得到s1和s2的不同输出，因为唯一的区别是s1.erase（it ++）写成{s2.erase（it）; it ++;}。

#include<bits/stdc++.h>
using namespace std;
set<int> s1,s2;
int main()
{
    int l,r,i;
    for(i=1;i<=50;i++)
    {       s1.insert(i);
            s2.insert(i);
    }
    //scanf("%d%d",&l,&r);
    l=3;r=9;

    printf("Output 1:\n");
    set<int>::iterator it=s1.lower_bound(l);

    while(it!=s1.end() && (*it<=r))
    {
            printf("Before deletion: %d\n",*it);
            s1.erase(it++);
            printf("After deletion: %d\n",*it);
    }

    it=s2.lower_bound(l);
    printf("Output 2\n");
    while(it!=s2.end() && (*it<=r))
    {
            printf("Before deletion: %d\n",*it);
            s2.erase(it);
            it++;
            printf("After deletion: %d\n",*it);
    }
    return 0;
  }

输出结果为：

 Output 1:
Before deletion: 3
After deletion: 4  
Before deletion: 4
After deletion: 5
Before deletion: 5
After deletion: 6
Before deletion: 6
After deletion: 7
Before deletion: 7
After deletion: 8
Before deletion: 8 
After deletion: 9
Before deletion: 9
After deletion: 10
Output 2
Before deletion: 3
After deletion: 2
Before deletion: 2
After deletion: 4
Before deletion: 4
After deletion: 6
Before deletion: 6
After deletion: 7
Before deletion: 7
After deletion: 5
Before deletion: 5
After deletion: 8
Before deletion: 8
After deletion: 10

Answer 1

s2.erase(it);
it++;

简单。这是非法的。一旦你有erase个节点，你就不能使用迭代器，甚至可以增加它。你有Undefined Behaviour。

未定义的行为是令人讨厌的事情。您的代码可能崩溃，做一些奇怪的事情，甚至看起来工作正常。最后一种情况是最糟糕的，因为它可能会在未来的某个未知点突破。

尽管语言本身并没有定义细节，但实际的原因是它实现为二叉树（Red-Black tree），因此每个节点都包含指向其左右子节点的指针，并且可能是家长。这些指针用于在树中移动。删除节点后，当您检查这些指针时，您无法预期它会起作用。

在另一种情况下：s1.erase(it++);在 erase之前递增迭代器，这样你就可以继续查看容器的其余部分。

另一种可能性是it = s2.erase(it);，因为erase返回下一个迭代器（注意这可能是end()）。这是一个更常见/惯用的模式，并且仅因为这个原因应该是首选，但它也适用于其他容器类型（您的版本没有）。

迭代器失效规则对于不同类型的容器是不同的，因此请务必仔细read the documentation。（注意这不是真正的官方文档，只有标准，但这个网站非常受欢迎）。

我还建议你加入实际使用的standard headers（例如<set>）和avoid using namespace std;。

在几乎相同的方式使用C ++ STL中的set属性后获得不同的输出

1 个答案: