널 포인터에 대한 생각.

언어 정의에 의하면 각각의 포인터 타입에 대해, 특별한 값이 -null 포인터- 있어서,

다흔 포인터 값들과는 구별되며, 어떤 오브젝트나 함수를 가리키는 포인터와는 항상

구별되는 포인터를 말합니다. (널은 우선 포인터가 가리키는 곳의 상태(?) 나타내는 말로 ..

그 나타내는 값이 아무것도 안 가리킬때 그것을 널이라 한다. ) 즉, 주소를 리턴하는

&연산자는 절대로 널 포인터를 만들어 낼 수 없으며, 실패하지 않는 한 malloc 함수도

널 포인터를 리턴하지 않습니다.

.......

위에서 설명한 것처럼, C언어는 각각의 포인터 타입에 따라 널 포인터가 존재합니다.

(포인터 타입에 따라 널 포인터가 존재한다. 이말은 우리가 흔히 알고 있는 NULL==0

의 개념을 깨는 이야기이다. 그런데 생각해 보면 NULL 은 0이다란 말은 0과 NULL을

구별 할 수 있는 방법이 없다는 것과 모순되는 말이니 당연한 결과라 본다.... 그렇다면

실제 각각의 타입에 대한 널 포인터 값은 어떻게 될까? )

다음의 예를 보면 0과 널 포인터와 구별을 지워줘야 하는 이유가 분명히 설명 되어 질 수

있다.

execl("/bin/sh", "sh", "-c", "date", (char *)0);

위 함수는 가변인자를 인자로 받는 함수로 (char *)0 (널포인터) 인자로 지정해 줘야

가변인자의 끝을 알 수가 있다. 만약 끝의 인자를 0으로 넘겼을 경우 execl 은 정상동작

하지 않을 것이다. 왜냐면 인자의 끝을 널포인터로 알리지 않고 상수값 0으로 알렸으니

말이다.