C++ vector의 원소 포인터를 보관한 뒤 push_back을 했습니다. 언제 포인터와 iterator가 무효화되나요?

vector가 용량을 넘어 재할당하면 기존 저장소가 바뀌어 원소에 대한 포인터·참조·iterator가 무효화됩니다. 재할당이 없어도 삽입·삭제 위치와 end iterator 등 무효화 규칙이 연산별로 다릅니다.

동작 원리와 전제

reserve는 예상 크기 안 재할당을 줄일 수 있지만 영구 안정성을 보장하지 않습니다. 원소를 삭제하면 뒤 원소 이동으로 같은 주소가 다른 논리 객체를 뜻할 수도 있습니다. 메모리가 남아 보인다고 참조가 유효한 것은 아닙니다.

선택과 실패 처리

안정적인 객체 수명이 필요하면 소유 객체를 별도 할당하고 ID·핸들로 접근하거나 적합한 컨테이너를 선택합니다. list나 deque도 모든 iterator·참조 규칙이 동일한 것은 아니므로 필요한 연산과 라이브러리 계약을 확인합니다.

구체적인 사례와 검증

vector의 capacity가 충분해 push_back에서 재할당이 없으면 기존 원소 참조를 유지할 수 있는 경우가 있지만 end iterator는 달라질 수 있습니다. 중간 erase는 뒤 원소를 이동시켜 같은 인덱스가 다른 원소를 뜻하게 합니다. 따라서 단순히 포인터가 아직 접근 가능한 메모리를 가리키는지와 논리적으로 같은 객체인지도 구분해야 합니다. 비동기 callback에 원소 주소를 넘기면 callback이 끝날 때까지 컨테이너의 이동·삭제를 막거나 독립 소유 객체를 사용합니다. 디버그 빌드에서만 보이는 오류가 사라져도 계약 위반은 남을 수 있어 재할당 경계를 의도적으로 만들고 검사하겠습니다.

용량 경계·중간 삽입·erase·반복자 보관을 sanitizer와 테스트로 확인합니다. reserve로 우연히 오류가 사라진 것을 정확한 수명 설계로 보지 않습니다. 컨테이너의 성능 선택과 외부 참조의 안정성을 함께 평가하겠습니다.