시간복잡도 개념문제 Deque질문

Question

[ 질문 배경 ] Deque에 대한 자료를 보면 포인터를 사용한다고 나와있습니다. 따라서 popleft()시 맨 좌측부터 포인터가 가르키며 삭제하게 되는데, 이는 논리적으로 "삭제"라는 개념보다는 포인터가 가르키는 곳을 다음으로 이동시킨다는 의미를 가진다고 gpt를 통해 알게 되었습니다. [ 질문 ] 그렇다면, popleft()시 포인터가 다음으로 이동할 시 메모리에 적재되어 있던 이전 값은 그대로 남아있게 될텐데, 그렇다면 이것은 메모리 낭비로 이어질 수 있지 않나요? 자바의 경우 가비지 컬렉터가 알아서 메모리를 관리하죠. GPT에게 물어보니 메모리 슬롯은 유지하며 재사용할 수 있도록 대기상태에 들어간다고 합니다. 그렇다면 이 재사용을 할지 말지에 대한 것은 누가 결정하며 어떻게 처리되나요? 궁금합니다. C의 경우 malloc 으로 메모리 빌림 , 메모리 반납을 거치게 되는데, 이 경우도 궁금합니다.

dremdeveloper · Answer

deque 는 하나의 거대한 배열이 아니라, 여러 개의 block 으로 쪼개져 관리됩니다. 각 블록은 보통 64개의 포인터를 저장할 수 있는 고정 배열입니다. 말씀하신 대로 popleft() 는 초기에는 논리적 삭제(포인터 이동)로 동작하다가, 특정 조건에서 물리적 해제가 발생합니다. 단, 그 방식이 전체 재할당이 아닌 블록 단위 해제입니다. deque 는 '전체 로드 팩터'를 계산하여 전체를 수축(Contraction)하지 않습니다. 대신 해당 블록이 완전히 비었을 때 그 블록만 떼어내어 메모리를 해제합니다. 정리하면 논리적 삭제를 하다가 블럭이 완전히 비는 조건이 되면 해당 블록만 떼어내어 메모리를 해제합니다.