std :: vector에 추가 할 때 클래스 필드의 이상한 동작

다음 상황에서 매우 이상한 동작 (clang 및 GCC에서)이 발견되었습니다. nodes하나의 요소가있는 class의 인스턴스 가있는 벡터가 있습니다 Node. 그런 다음 벡터에 nodes[0]새로운 것을 추가 하는 함수를 호출합니다 Node. 새 노드가 추가되면 호출 객체의 필드가 재설정됩니다! 그러나 일단 기능이 완료되면 다시 정상으로 돌아 오는 것 같습니다.

나는 이것이 최소한의 재현 가능한 예라고 생각합니다.

#include <iostream>
#include <vector>

using namespace std;

struct Node;
vector<Node> nodes;

struct Node{
    int X;
    void set(){
        X = 3;
        cout << "Before, X = " << X << endl;
        nodes.push_back(Node());
        cout << "After, X = " << X << endl;
    }
};

int main() {
    nodes = vector<Node>();
    nodes.push_back(Node());

    nodes[0].set();
    cout << "Finally, X = " << nodes[0].X << endl;
}

어떤 출력

Before, X = 3
After, X = 0
Finally, X = 3

X는 프로세스에 의해 변경되지 않은 상태로 유지 될 것으로 예상합니다.

내가 시도한 다른 것들 :

• Nodeinside 추가하는 줄을 제거하면 set()매번 X = 3이 출력됩니다.
• 새로운 것을 만들고 Node그것을 호출하면 ( Node p = nodes[0]) 출력은 3, 3, 3입니다.
• 참조를 만들고 Node그 ( Node &p = nodes[0]) 에서 호출 하면 출력은 3, 0, 0입니다 (아마도 이것은 벡터 크기를 조정할 때 참조가 손실 되었기 때문일까요?)

어떤 이유로이 정의되지 않은 동작입니까? 왜?

코드에 정의되지 않은 동작이 있습니다. 에

void set(){
    X = 3;
    cout << "Before, X = " << X << endl;
    nodes.push_back(Node());
    cout << "After, X = " << X << endl;
}

액세스에는 X정말 this->X와 this벡터의 멤버에 대한 포인터입니다. 당신이 할 때 nodes.push_back(Node());당신은 벡터와 그 과정의 재 할당에 새로운 요소를 추가 모든 반복자, 포인터와 참조를 무효화 벡터의 요소에. 그 의미는

cout << "After, X = " << X << endl;

this더 이상 유효하지 않은를 사용하고 있습니다.

nodes.push_back(Node());

는 벡터를 재 할당하여 주소를 변경 nodes[0]하지만 this업데이트되지는 않습니다. 이 코드로 메소드를
대체하십시오 set.

    void set(){
        X = 3;
        cout << "Before, X = " << X << endl;
        cout << "Before, this = " << this << endl;
        cout << "Before, &nodes[0] = " << &nodes[0] << endl;
        nodes.push_back(Node());
        cout << "After, X = " << X << endl;
        cout << "After, this = " << this << endl;
        cout << "After, &nodes[0] = " << &nodes[0] << endl;
    }

&nodes[0]을 호출 한 후 어떻게 다른지 확인하십시오 push_back.

-fsanitize=address를 잡아서 컴파일하면 메모리가 어느 줄에서 해제되었는지 알려줍니다 -g.