C 배열 요소는 실제로 const가 아닙니다.

Question

나는 모든 것을 읽고 사방 대해 C에 "시간 상수를 컴파일 할"수 있고, 나는 아직에 설명을 드릴 수 없습니다 다음

const short testArray[2]={1,2}; 
//void IndeedConst(void){ testArray[0]=3; } //correctly reports "error: assignment of read-only location 'testArray[0]'" 
const short testItem=testArray[0]; //why "error: initializer element is not constant"?? 

그래서 컴파일러는 testArray [0] 읽기 전용되는 것을 불평/const 그리고 동시에 testArray [0]이 일정하지 않다는 것을 나타냅니다! 나 자신이 컴파일시에 "분명 역 참조 연산자 [] 작동하지 않을 수 있습니다"대답 않았다 "일정 초기화,이 선은 오류없이 컴파일 것 whyever?

const short* testItem=&(testArray[1]); 

을 여기 나는의 주소를 얻고 있습니다 배열의 두번째 항목. 그러므로 일정한 초기화 수있는 문제없이 역 참조!
이에 대한 설명 무엇 ? 정적 저장 기간과 변수의

Answer 1

이, 이니셜 라이저는 상수 식으로 구성해야합니다. 이러한 "컴파일 타임"을 포함 :

• 산술 상수 표현식 : 정수/열거 형/문자/부동 소수점 수이고 피연산자는 sizeof 수만 있습니다. 다른 변수의 값을 참조하지 않을 수도 있습니다.
• null 포인터 상수.
• 정수 상수 표현식에 선택적으로 추가되는 주소 상수. 이 주소 상수는 null이거나 함수를 가리 키거나 정적 저장 기간이있는 객체를 가리킬 수 있습니다. 표준에서는 객체의 값을 참조하지 않는 한 [] 및 &과 같은 연산자를 사용할 수 있습니다. 이 경우

, testArray[1] 인해 다른 변수에 저장된 값을 참조로 일정한 표현되지 않지만 &testArray[1]는 어드레스 정수이고 유효한 일정한 표현이다.

참조 : C99 표준, 섹션 6.6.