free()함수의 정확한 용법 ( realloc함수와 free함수의 관계)

안녕하세요?

좋은 질문입니다. 꼼꼼하게 공부하고 계신 것 같네요. 

free() 함수는 운영체제에게 메모리를 반납하는 것이 맞습니다. 만약에 운영체제가 그 메모리를 다른 곳에 사용하지 않았다면 같은 주소에 같은 데이터가 계속 남아있는 것을 우연히 볼 수도 있겠지요. 그러나 어디까지나 free()를 한 후에 다시 그 메모리를 접근하는 것은 운영체제 입장에서는 무단침입입니다. 아침에 이사나간다고 집주인에게 열쇠까지 반납해놓고 저녁때 무단침입한 것과 같습니다.

메모리 관리는 운영체제의 주요 업무입니다. 우리가 만드는 프로그램은 모두 운영체제의 관리를 받으면서 작동합니다. 프로그래밍 언어의 문법은 운영체제가 어떻게 작동할 것이다까지 약속할 수 없습니다.

realloc()은 강의에서 설명을 드렸을 텐데 내부적으로 free()를 할 수도 있고 하지 않을 수도 있습니다. 이것도 결국 운영체제가 판단하는 것이기 때문에 프로그래밍 문법 차원에서 어떤 상황에서 결과가 어떻게 되어야 한다고 강제할 수 없습니다.

참고로 포인터는 주소라고 가르치기는 하는데 사실은 가상의 주소입니다. 따라서 메모리의 진짜 어디에 있는 지 조차 운영체제만 압니다. 메모리 관리를 운영체제가 어떻게 하는지 구체적인 내용에 대해서는 운영체제 과목의 영역이며 윈도우, 리눅스, 맥OS 등이 모두 다릅니다.