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

문법상 항상 그렇게 변환이 됩니다.

int arr[10]; 라는 배열이 있다고 가정할 때,
배열의 첫번째 데이터는 arr[0]으로 접근 가능합니다.
여기서 arr[0]는 *(arr+0)와 동일한 의미입니다.

그렇다면 배열의 첫번째 데이터의 주소는 데이터 앞에 &를 붙인 &arr[0] 인데,
arr[0]는 *(arr+0)이기 때문에,
&arr[0] = &*(arr+0)이 됩니다.
그런데 +0은 생략 가능하고, &와 * 는 서로 상쇄되기 떄문에,
결과적으로 배열의 첫번째 주소는 arr로 줄여서 표현이 가능합니다.

그래서 많은 C++ 서적에서
[배열의 이름은 곧 배열의 시작 주소이다]
[배열의 이름은 (배열의 데이터 타입과 동일한) 포인터 타입과 변환 가능하다]
라고 설명하고 받아들이는거죠.

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