[C] array name의 주소와 array의 첫번째 원소의 주소

3가지가 문제군요.

1. 배열은 상수 포인터이다.

배열, 포인터 관계를 설명하기 위해서 자주 도입해 사용되는 개념입니다만
결코 추천하지 않습니다. 배열, 포인터 혼란의 적지 않은 원인이 바로 이런
설명에서 기인합니다. 예전에는 뉴스그룹에서 포인터 상수니, 상수
포인터니 말 바꿔가며 어느 것이 설명에 더 나은 개념이나 토론도 하고
했습니다만 결론은 아예 배열과 포인터를 확실히 구분하고 이 둘 사이의
변환을 올바르게 이해하자는 것이었습니다. 상수 포인터(const T *)든,
포인터 상수(T * const)든 개념상 결국 포인터이지 배열은 아니라는 것
이었습니다. 뭐, 어찌되었든 학습자가 "올바른" 내용을 가장 쉽게 익힐 수
있는 방법이 있다면 그것이 최선의 방법이 아닐까 생각합니다.

2. 배열의 주소와 배열 첫 원소의 주소 문제

이것도 많은 분들이 혼동하시는 문제 중 하나입니다. 어린이들이 소꼽놀이를
하고 있습니다. 바닥에 분필로 집 모양의 선을 그려놓고 방도 나누었습니다.
그 중 북쪽벽에 있는 방이 철수방이 되었습니다. 그 순간(!) 어떤 아저씨가
GPS 수신기를 들고 아이들 곁으로 다가왔습니다 (대체 무슨... --;).
그리고는 아이들이 만든 가상의 집 북쪽 위치를 측정했습니다. 북위 38.12도
(헉!!)가 나오네요. 그래서 이번엔 철수방의 위치를 측정했습니다. 역시
북위 38.12도(다시 헉!!)가 나오네요 (당연히 그럴 수 밖에...). 그럼 철수,
영희, 말순이가 사는 집의 위치와 철수방의 위치가 같으니
"철영말이네 집 = 철수 방" 인가요?

배열과 그 배열 첫 요소의 주소는 같지만, 주소가 같다고 해서 동일한 개념
의 존재가 아닙니다. 둘은 분명히 다른 type 과 다른 특성을 가지고
있습니다. 일례로,

int (*x)[10] = &a;
int *y = &a[0];
 
if ((void *)x == (void *)y)
    result = (sizeof(*x) == sizeof(*y));

result 의 결과는 무엇일까요?

3. 배열이 포인터로 변환되는 문맥

이 모든 혼란의 원인은 C 언어의 조상에서 유래합니다. C 언어에서 배열에
직접 적용될 수 있는 연산은

- sizeof 적용
- & 연산자 적용
- 문자 배열 초기화에 사용

뿐입니다. 그 외에는 첫 요소를 가리키는 포인터로 "변신"을 하는 것
뿐입니다.

--
Jun, Woong (woong at icu.ac.kr)
Web: http://www.woong.org (서버 공사중)