배열의 이름이 포인터로 변환되는 조건?

Question

강의에서 "배열의 이름은 배열의 시작 주소값을 가지는 TYPE*형 포인터로 쉽게 변환 가능"이라고 하셨는데요! 이건 C++에서 배열이름에 []가 붙지 않은채로 배열 이름만 덩그러니 놓여있을 때만 컴파일러가 포인터로 변환해준다는 말씀이신가요??? 특정 상황에서는 변환되지 않을 수도 있나요?

Rookiss · Answer

문법상 항상 그렇게 변환이 됩니다. int arr[10]; 라는 배열이 있다고 가정할 때, 배열의 첫번째 데이터는 arr[0]으로 접근 가능합니다. 여기서 arr[0]는 *(arr+0)와 동일한 의미입니다. 그렇다면 배열의 첫번째 데이터의 주소는 데이터 앞에 &를 붙인 &arr[0] 인데, arr[0]는 *(arr+0)이기 때문에, &arr[0] = &*(arr+0)이 됩니다. 그런데 +0은 생략 가능하고, &와 * 는 서로 상쇄되기 떄문에, 결과적으로 배열의 첫번째 주소는 arr로 줄여서 표현이 가능합니다. 그래서 많은 C++ 서적에서 [배열의 이름은 곧 배열의 시작 주소이다] [배열의 이름은 (배열의 데이터 타입과 동일한) 포인터 타입과 변환 가능하다] 라고 설명하고 받아들이는거죠.

피로한 문어 · Answer

배열의 이름은 포인터로 항상 변환되는군요! 그 이유도 답변해주신 것 읽고 이해가 잘 되었습니다 감사합니다!