언제 법적으로 합법적으로 또는 불법으로 캐스팅하고 있습니까? (gcc, clang 및 MSVC)

Question

const을 (를) 멀리 캐스팅하는 것이 불법입니까?

대부분의 경우 const은 컴파일러에 의해 시행되는 사용자를위한 단순한 주석입니다. 이 질문은 멀리 던지기 const가 엄격하게 불법이고 C99 표준의 어떤 부분이 그것을 금지하는지 묻습니다.

글로벌 범위의 const 함수 포인터가 때때로 gcc에 의해 인라인된다는 것을 관찰했기 때문에 어떤 경우에는 불법이라고 생각합니다. 이러한 함수 포인터가 나중에 프로그램에서 합법적으로 수정 될 수있는 경우이 최적화는 유효하지 않습니다. 덧붙여서 나는 멀리 던지기에 대한 설명을 읽었을 것입니다. const은 StackOverflow에서 불법이지만 그냥 찾을 수 없습니다. (대답은 const은 변수가 원래 const으로 선언되지 않은 경우에만 제외 될 수 있다고 생각합니다.)

C99 표준에 명시되어 있기를 바라고 있기 때문에이 C99 태그를 붙였습니다.하지만 대답은 C99의 gcc, clang 및 MSVC 구현에 공통된 동작을 설명 할 수 있습니다. 그러면 나에게도 충분합니다.

(분명히 이것은 매우 기본적인 질문이므로 C 표준 인에 대해 복제본을 찾지 못했습니다. 다른 사람이 정확한 복제본을 가리킬 수 있으면 투표를 닫을 수 있습니다. 이 질문 제목은 SSO가 이런 종류의 질문을하는 데 최소한 도움이된다고 생각합니다.)

Answer 1

결코 불법적 인 행위를해서는 안됩니다. 당신은 자유롭고 합법적으로 원하는만큼 할 수 있습니다. 그러나 을 시도하면 const38을 제거한 후 뾰족한 객체가 정의되지 않은 동작으로 이어질 수 있습니다 (또는 상황에 따라 다를 수 있음). 시도 비와 좌변의 사용을 통해 const를 수식 유형으로 정의 객체를 변경하려고했을 경우

C99 명확하게

6.7.3 유형 예선

5을 말한다 -const-qualified 형식 인 경우 동작은 정의되지 않습니다.

(C11에서는 6.7.3/6).

C (및 C++)의 const는 두 개의 독립적 매우 다른 역할에 사용되는

참고 : CONST 의 적격 객체 자체 및 오브젝트에 액세스 경로 의 CONST 적격. 자체 이것은

*(int *) p = 6; // nothing formally wrong with it 

에서 const되지

const int a = 42; // `a` is a const-qualifiet object 

int b = 5;   // `b` is not const-qualified 
const int *p = &b; // `*p` is a const-qualified access path to `b` 

후자의 경우, const와 법적 멀리 캐스팅 할 수 있고, 생성 된 비 CONST 액세스 경로가 객체를 수정하는 데 사용될 수있는 오브젝트를 구비 우리가 언어로 constence를 버리는 능력을 가지고있는 바로 그 이유.CONST 객체가 실제로 읽기 전용 메모리에 위치 할 수 -

그러나 전 (개체 자체의 const와는)

*(int *) &a = 43; // undefined behavior 

이유는 아주 간단하다 재정의 할 수 없습니다. 그리고 컴파일러가 아니더라도 컴파일러는 객체의 값이 변하지 않는다는 가정하에 코드를 컴파일 할 수 있습니다.

이것은

const int *const cp = &b; 

같은 선언이 두 const 상당히 다른 의미를 가지고 있다는 것을 의미한다. 첫 번째 (가장 왼쪽) 것은 "부드러운"const이며 조건이 맞으면 재정의 할 수 있습니다. 그러나 두 번째 const은 무시할 수없는 "하드"const입니다.

따라서 "const은 컴파일러에 의해 시행되는 사용자를위한 단순한 주석"이라고 말하면 액세스 경로의 const 자격에 대해서만 해당됩니다. 객체 자체의 const-qualifications에 관해서는 일반적으로 순전히 개념적으로 컴파일러가 시행하는 "주석"보다 훨씬 더 많습니다.