我正在编写一些代码,其中有2个向量分别包含4个智能指针。我不小心将第一个向量中生成的迭代器应用于第二个向量中的擦除方法。然后程序崩溃。我了解到复制构造和移动构造涉及擦除方法。根据调试器,我找出1)一个nullptr和2个智能指针留在第一个向量中。 2)4个智能指针驻留在第二个向量中。 3)多次成功运行后,程序开始崩溃。我的问题如下


nullptr如何附加到第一向量?
为什么允许将迭代器应用于第二向量?
为什么程序从一开始就不会崩溃?


顺便说一句,我的平台是Xcode 8.1。提前致谢

#include <memory>
#include <vector>
#include <iostream>
#include <string>

using namespace std;

class A{
public:
    A(string name_) : name(name_) {cout << name << " construction\n";}
    const string& get_name() const {return name;}
    ~A() {cout <<get_name() << " destruction\n";}
    A (const A& rhs) : name(rhs.name){cout << "A copy constructor\n";}
    A(A&& rhs) : name(""){
        cout <<"A move constructor\n";
        swap(rhs);
    }
    void swap(A& rhs) noexcept {
        std::swap(name, rhs.name);
    }

private:
    string name;
};
void foo();

int main(){
    foo();
}

void foo(){
    vector<shared_ptr<A>> vect1, vect2;
    auto a1 = make_shared<A>("Mike");
    auto a2 = make_shared<A>("Alice");
    auto a3 = make_shared<A>("Peter");
    auto a4 = make_shared<A>("Paul");
    vect1.push_back(a1);
    vect1.push_back(a2);
    vect1.push_back(a3);
    vect1.push_back(a4);
    vect2.push_back(a4);
    vect2.push_back(a1);
    vect2.push_back(a2);
    vect2.push_back(a3);
    auto it = vect1.begin();
    vect1.erase(it);
    for (auto &c : vect1){
        cout << c->get_name() << endl;
    }
    vect2.erase(it);
    for (auto &c : vect2){
        cout << c->get_name() << endl;
    }
}

最佳答案

在VS2015中,它在行vect2.erase(it);上失败并显示消息;迭代器确实超出了范围。

如您在问题中所述,it甚至都不属于vect2

即使它在您的平台上运行,也是未定义的行为。因此,从那时起,任何事情都可能发生。

您不再使用c ++标准工作,现在可以处理平台的实现方式(也许它对迭代器使用指针,也许对偏移使用;谁知道?)。

10-07 22:50