C 17에서 \'i = i 1;\'이 합법적인 연산이 된 이유는 무엇입니까?

내가 왜 = 나는 1; C 17에서 합법화됨

C 11에서 코드 조각 "i = i 1;" 정의되지 않은 동작을 호출했습니다. 그러나 C 17에서는 이 코드가 법적으로 허용되었습니다. 이 변경은 C 17에 도입된 향상된 순서 보장에서 비롯됩니다.

C 11 표준 [N3337 basic.exec]에 따르면 부작용의 순서는 명시적으로 지정하지 않는 한 순서가 지정되지 않습니다. 예제 코드에서 대입 연산자(=)와 후위 증가 연산자( ) 모두 순서가 올바르지 않으면 정의되지 않은 동작으로 이어질 수 있는 부작용이 있습니다.

C 17에서는 [ N4659 expr.ass] 대입 연산자에 대한 순서 규칙을 명시합니다:

The right operand is sequenced before the left operand.

이 추가 문은 할당을 포함하여 왼쪽 피연산자 내의 부작용이 발생하기 전에 오른쪽 피연산자 내의 모든 부작용이 실행되도록 보장합니다.

"i = i 1;"의 경우 오른쪽 피연산자(i 1)는 후위 증가 연산자(i )와 상수 1로 구성됩니다. C 17에 도입된 순서 보장은 다음을 보장합니다. 할당이 실행되기 전에 후위 증가가 수행되고 부작용이 발생합니다. 이는 C 11에 존재했던 정의되지 않은 동작을 제거합니다.

따라서 C 17의 향상된 시퀀싱 보장으로 "i = i 1;"이 되었습니다. 오른쪽 및 왼쪽 피연산자의 부작용 순서가 올바르게 지정되어 정의되지 않은 동작을 방지함으로써 합법적입니다.

위 내용은 C 17에서 \'i = i 1;\'이 합법적인 연산이 된 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!