memory - KimTaebin-ai/study_posts GitHub Wiki

메모리 할당

메모리 할당과 영역은 각각 정적과 동적으로 구분된다.

정적은 컴파일 단계에서 필요한 메모리 공간을 할당하는 것이며 동적은 실행 단계에서 공간을 할당하는 것이다.

• 정적영역의 code영역은 함수나 상수, 프로그램의 코드가 컴파일 단계에서 code영역에 저장된다.
• 정젹영역의 전역변수와 정적변수가 저장되는 영역으로 컴파일 단계에서 메모리할당이 이루어 진다.
• stack영역은 지역변수와 매개변수가 저장되며 해당 함수내에서 생성되고 사라진다.(따라서 동적영역)
• heap은 동적할당을 받아오는 장소로 무조건적으로 free를 해제해줘야 한다. (동적영역)

여기서 헷갈리는 부분이 동적/정적의 영역과 정적/동적 할당에 대한 오해이다.

지역변수나 매개변수의 경우는 영역은 동적영역인 stack에 해당되지만 컴파일 단계에서 메모리 공간을 할당 받으니 정적할당이다.

할당과 영역을 헷갈리지 말것!

malloc함수는

int *ptr; ptr = (int*)malloc(sizeof(int) * 5);

malloc은 sizof(int) -> 4byte * 5 즉 20만큼의 공간을 가진 void 포인터로 반환되는 값을 형변환을 통해 ptr에 넣어준다고 한다.

동적 할당(free의 개념)

c에서는 흔히 동적할당 된 메모리는 사용 후 반드시 해제해줘야 한다고 한다.

동적할당은 코딩하는 사람이 명확하게 malloc, calloc, realloc을 사용하여 직접 할당해준다.

그에 맞춰서 free(3)라는 함수는 사용자가 동적할당한 메모리만 해제해준다.

따라서 리터럴 값이나 상수값을 free하게 되면 [segmentation fault]가 뜬다.

free에서 등장하는 중요한 개념중 하나인dangling pointer!!

허상포인터라고 불리기도 하는 댕글링 포인터는 사용자가 free를 포인터가 가리키는 메모리 자체는 해제되었지만 ptr은 삭제되지 않아서 그대로 해제된 메모리 주소를 가리키는 것!

실수로 허상포인터를 사용한다면 프로그램에 큰 문제가 생길 수 있기 때문에 null체크와 free후 null할당이 중요하다.