C Language
시퀀스 포인트

비고

시퀀스 식

다음 표현식이 순서대로 나열됩니다 .

a && b
a || b
a , b
a ? b : c
for ( a ; b ; c ) { ... }

모든 경우에, 표현식 a 는 완전히 평가되고 b 또는 c 가 평가되기 전에 모든 부작용이 적용 됩니다. 네 번째 경우에는 b 또는 c 중 하나만 평가됩니다. 마지막 경우에는 b 가 완전히 평가되고 c 가 평가되기 전에 모든 부작용이 적용됩니다.

모든 경우에있어서, 식의 평가 a 의 평가 전에 서열화 b 또는 c (또는, 평가의 b 및 c 평가 후에 서열화된다 ). a

따라서 다음과 같은 식은

x++ && x++
x++ ? x++ : y++ 
(x = f()) && x != 0
for ( x = 0; x < 10; x++ ) { ... }
y = (x++, x++);

잘 정의 된 행동을 취한다.

순서없는 표현

a + b;
a - b;
a * b;
a / b;
a % b;
a & b;
a | b;

f(a, b);

x++ & x++;
f(x++, x++); /* the ',' in a function call is *not* the same as the comma operator */
x++ * x++;
a[i] = i++;

x++ & x;
f(x++, x);
x++ * x;
a[i++] = i;

_{1 실행 환경의 상태가 변경되었습니다.}

불확실한 시퀀스 식

f(a) 와 같은 함수 호출은 항상 인수와 지정자 (여기에서 f 와 a )의 평가와 실제 호출 사이의 시퀀스 포인트를 의미합니다. 이러한 두 개의 호출이 순서가 지정되지 않은 경우 두 함수 호출은 불확실한 순서로 배열됩니다. 즉, 하나가 다른 호출보다 먼저 실행되고 순서가 지정되지 않습니다.

unsigned counter = 0;

unsingned account(void) {
   return counter++;
}

int main(void) {
   printf("the order is %u %u\n", account(), account());
}

printf 인수를 평가하는 동안 counter 암시 적으로 두 번 수정하면 유효하며 어떤 호출이 먼저 발생하는지 알 수 없습니다. 주문이 명시되지 않았기 때문에 달라질 수 있으며 의존 할 수 없습니다. 그래서 출력물은 다음과 같습니다 :

순서는 0 1

또는

순서는 1 0이다.

중간 함수 호출없이 위와 유사한 문

   printf("the order is %u %u\n", counter++, counter++); // undefined behavior

counter 의 두 수정간에 순서 지점이 없기 때문에 정의되지 않은 동작이 있습니다.