typeof() 표현식 내 부작용

Question

GNUC C에서는 typeof(expression)을 사용할 수 있으며 부작용이있는 표현식을 사용할 수 있습니다. 예를 들어 당신이 C 코드를 가질 수 있도록이 경우

int x = 0; 
typeof(x++) y; 

을, 측면 효과 (유형은 컴파일 시간이 유일한만큼이 말이) 무시 x는 여전히 제로 이후입니다.

그러나 GCC documentation 말한다 : 대해서 typeof의

피연산자는 부작용 경우에만이 가변적으로 개질 형 의 발현 또는 같은 종류의 이름 인 경우에 대해 평가된다.

이 문장의 의미는 무엇입니까? 부작용이있는 typeof을 작성하고 실제로 런타임에 부작용을 실행하게 할 수 있습니까? 나를 위해,이 문장은 이것을 나타냅니다.

Answer 1

예, 경우에 따라 typeof 내부에 부작용이있을 수 있습니다. 설명서에 나와 있듯이 "가변적으로 수정 된 유형"내에 있어야합니다. 이것은 런타임 값에 따라 달라지는 유형입니다 (예 : int[x]).

그래서 다음 코드는 합법적 입력 int[1] 될 y를 선언하고 x는 이후에 값 1이 : 물론

int x = 0; 
typeof(int[++x]) y; 

, 일반적으로 동등하게 다양하게 수정하는 유형을이 법적 아니라 로컬 변수 선언 (내부 함수).