콜 스택까지 이해하고 나면 자연스럽게 “그럼 데이터는 어디에 저장되는 걸까?”라는 질문이 생긴다. 나도 처음에는 스택이랑 힙이라는 단어를 많이 봤지만, 그냥 외워야 하는 개념 정도로만 생각했다. 그런데 실제로 코드를 이해하려고 보니까, 이 둘의 차이를 모르면 흐름 자체가 잘 안 잡히는 느낌이었다. 그래서 이번에는 스택과 힙 메모리를 같이 정리해보려고 한다.
스택은 빠르고 단순하지만, 크기가 제한된 메모리 영역이다
스택 메모리는 함수 호출과 관련된 데이터를 저장하는 공간이다. 우리가 앞에서 봤던 콜 스택도 이 스택 메모리를 기반으로 동작한다. 함수가 호출될 때마다 지역 변수나 함수 정보가 스택에 쌓이고, 함수 실행이 끝나면 자동으로 제거된다.
이 구조의 가장 큰 장점은 속도다. 스택은 push, pop 같은 단순한 방식으로 동작하기 때문에 매우 빠르게 데이터를 처리할 수 있다. 그래서 대부분의 기본적인 변수들은 스택에 저장된다.
나도 처음에는 “그럼 그냥 다 스택에 저장하면 되는 거 아닌가?”라고 생각했는데, 실제로는 그렇지 않았다. 스택은 크기가 제한되어 있기 때문에 너무 많은 데이터를 넣을 수 없다. 특히 큰 배열이나 복잡한 객체를 스택에 계속 쌓으면 문제가 발생할 수 있다.
그래서 스택은 빠르지만, 작은 데이터와 짧은 생명주기를 가진 값들을 저장하는 데 적합한 공간이라고 이해하는 게 좋다.
힙은 유연하지만 관리가 필요한 메모리 영역이다
힙 메모리는 스택과는 완전히 다른 방식으로 동작한다. 필요한 만큼 메모리를 동적으로 할당해서 사용하는 공간이다. 예를 들어 객체나 큰 데이터 구조는 대부분 힙에 저장된다.
힙의 가장 큰 특징은 유연성이다. 스택처럼 크기가 제한되어 있지 않고, 필요할 때마다 메모리를 할당받을 수 있다. 그래서 큰 데이터를 다루거나, 실행 중에 크기가 변하는 데이터를 처리할 때는 힙을 사용한다.
하지만 단점도 분명하다. 힙은 자동으로 정리되지 않는 경우가 많기 때문에, 사용이 끝난 데이터를 직접 관리해야 한다. 이걸 잘못 처리하면 메모리 누수 같은 문제가 발생할 수 있다.
나도 이 부분을 처음 접했을 때는 “왜 이렇게 복잡하게 나뉘어 있을까?”라는 생각이 들었는데, 스택과 힙이 각각 역할이 다르다는 걸 이해하고 나니까 자연스럽게 납득이 됐다.
즉, 힙은 자유롭게 사용할 수 있지만 그만큼 책임도 따라오는 공간이다.
스택과 힙의 핵심 차이는 ‘속도’와 ‘유연성’이다
스택과 힙을 구분할 때 가장 중요한 기준은 속도와 유연성이다. 스택은 빠르고 관리가 간단하지만, 크기가 제한되어 있고 구조가 고정되어 있다. 반면 힙은 크기 제한이 적고 자유롭게 사용할 수 있지만, 상대적으로 느리고 관리가 필요하다.
정리해보면 다음과 같다.
- 스택 → 빠름, 자동 관리, 크기 제한 있음
- 힙 → 유연함, 수동 관리, 큰 데이터 처리 가능
이 차이를 이해하고 나니까, 왜 어떤 데이터는 스택에 저장되고 어떤 데이터는 힙에 저장되는지 조금씩 보이기 시작했다. 특히 프로그램이 갑자기 느려지거나 메모리 문제가 발생하는 이유도 이 구조와 연결된다는 걸 느꼈다.
한 줄로 정리하면 스택은 빠르고 자동으로 관리되는 메모리 영역이고, 힙은 유연하지만 직접 관리가 필요한 메모리 영역이다.