선배님들 안녕하세요! c++ vector 관련해서 질문이 있습니다

Question

제가 아직 vector의 특성중에 놓치는 부분이 있는것 같아서 질문 남깁니다.vector에 값을 push_back한 이후의 size와 원소 값을 출력했고vector에 값을 pop_back한 이후의 size와 원소 값을 출력해보았는데 size자체는 예상한대로 shrink한 값으로 나왔다면원소값들은 삭제되지 않고 이전과 그대로인 형태로 출력이 됐는데혹시 이유를 알수 있을까요??

아자가리 · Accepted Answer

매번 쓰는 vector인데도 몰랐던 부분인데덕분에 찾아볼 수 있는 기회를 주셔서 감사합니다. vector쪽 코드를 보면 pop_back은 last pointer를 앞으로 당기기만 할 뿐 reloc이 이루어지지 않아서 데이터 자체는 다 살아 있는 상태입니다. _CONSTEXPR20_CONTAINER void pop_back() noexcept /* strengthened */ { auto& _My_data = _Mypair._Myval2; pointer& _Mylast = _My_data._Mylast; #if _ITERATOR_DEBUG_LEVEL == 2 _STL_VERIFY(_My_data._Myfirst != _Mylast, "vector empty before pop"); #endif // _ITERATOR_DEBUG_LEVEL == 2 _Orphan_range(_Mylast - 1, _Mylast); _Alty_traits::destroy(_Getal(), _Unfancy(_Mylast - 1)); --_Mylast; } 그리고 operator[]는조건에 따라서 사이즈 체크 없이 pointer에 접근해서 해당 순번의 데이터를 그대로 가져오기 때문에데이터가 보인 것으로 생각되네요 _NODISCARD _CONSTEXPR20_CONTAINER _Ty& operator[](const size_type _Pos) noexcept /* strengthened */ { auto& _My_data = _Mypair._Myval2; #if _CONTAINER_DEBUG_LEVEL > 0 _STL_VERIFY( _Pos < static_cast(_My_data._Mylast - _My_data._Myfirst), "vector subscript out of range"); #endif // _CONTAINER_DEBUG_LEVEL > 0 return _My_data._Myfirst[_Pos]; } 반대로 at을 이용하면 무조건 size체크를 하기 때문에 에러가 발생했을 것으로 보입니다. _NODISCARD _CONSTEXPR20_CONTAINER _Ty& at(const size_type _Pos) { auto& _My_data = _Mypair._Myval2; if (static_cast(_My_data._Mylast - _My_data._Myfirst) <= _Pos) { _Xrange(); } return _My_data._Myfirst[_Pos]; }

NARUHODO · Answer

&#64;아자가리 상세한 설명 너무 감사드립니다 선배님 ㅜㅜㅜ 이것때문에 하루종일 골머리 앓았었는데 시원하게 해소가 되었네요.명쾌한 답변 너무 감사드립니다 선배님!!!

선배님들 안녕하세요! c++ vector 관련해서 질문이 있습니다

2개의 답변

#vector 목록