왜 v [i] = i ++가 C에서 정의되지 않은 동작입니까? ACCU의 과부하 # 115에 흥미로운 기사 읽기

Question

: 순서 사이

당신이 참여 변수의 상태에 대해 어떤 가정을 할 수 없습니다 포인트 : "악마는 코의 날아 월"나는 저자가 말하는 발견 . 이는 C에서 다른 언어와 달리 다음과 같은 표현식은 정의되지 않은 동작을 초래 함을 의미합니다.

v [i] = i ++;

때문에 C

에서 일련의 지점을 나타내지 않는 할당 연산자

사람이 여기 UB을 의미 자세한 추론 무엇을 설명 할 수 있습니까? 두 시퀀스 포인트 사이에 동일한 변수에 두 번 이상 쓰는 문제가있을 것이라고 생각했는데, 여기에는 v [i] 앨리어싱의 가능성을 제외하고는 볼 수 없습니다 ...

Answer 1

중간에 시퀀스 포인트없이 한 번 이상 변수를 수정하면 정의되지 않은 동작이 발생합니다. 그러나 수정할 값을 결정하기 위해 변수의 값이 인 경우에만에 액세스해야한다는 추가 요구 사항이 있습니다. 여기가 배열 인덱싱 i의 값에 액세스

v[i] = i++; 

을 허용하지 변형이 i (i++)로 이루어지고와 무관 번째 요구 사항이다. 두 액세스 사이에 중간에 시퀀스 포인트가 없으므로 이것은 정의되지 않은 동작입니다.

Answer 2

읽기가 있습니다 동일한 시퀀스 포인트 내에서 i의 쓰기가 가능합니다. 즉, 주소 v[i]을 계산 한 후 i++이 i를 OR 할 수 있습니다. 사실,이 동작은 정의되지 않았기 때문에 컴파일러는이 문을 도달 할 수 없다고 가정하고 제거 할 수 있습니다. (또는 악마가 코 등으로 날아 오르게하십시오)

Answer 3

글쓰기 만의 것이 아닙니다. 읽기는 변수의 이전 값 또는 새 값을 읽는지 여부를 모르는 경우에도 역할을합니다. 이 경우 v[i]이 이전 값인 i 또는 i의 새 값을 참조하는지 여부를 알 수있는 방법이 없습니다.

예를 들어, 식 v[i] = i++는 과제 수행

1. 로 해석 될 수 있습니다 v[i] = i
2. 증가를 i

또는, 또는,

1. 로 해석 될 수 이전 값인가져 오기: 쉽게 볼 수 있듯이, 코드의 행동이 그것을 해석 방법에 따라 변경 v[i] = i_old

: i_old = i

은 증가 i

은 할당을 수행합니다.이것은 가능한 두 가지 가능한 시나리오의 예입니다.

그러나 언어는 제한된 다양한 시나리오에 대한 동작을 제한하지 않습니다. 대신에 언어는 그 행동이 정의되지 않았다고 말합니다. 다른 말로하면, 컴파일러는이 코드를 "예측 가능한"방식으로 해석하는 것을 거부 할 수 있습니다.