[C/C++] Sequencing (Sequence Point)

1. Sequencing / Sequence Point란?

c++11부터 Sequence Point가 Sequencing으로 말이 바뀌었다고 한다. 이 글에선 sequence point란 말을 쓰겠다.

모든 연산의 결과가 완료되는 시점

쉽게 말하면, 한 시퀀스 포인트에서 다음 시퀀스 포인트로 가기 전에 이전의 모든 연산이 완료된다는 의미다.

 

2. Sequence Point

1. ; (세미콜론)

2. ||, &&, ? : 와 같은 논리 연산

예를 들어, a || b에서 b가 되기 전에 a의 연산이 모두 완료된다. (a) ? (b) : 는 ?가 sequence point로 무조건 a가 먼저 완료된다.

3. , (쉼표)

a = f1(), b = f2()와 같이 , 로 연결된 표현

4.  함수의 리턴

함수가 return 되기 전에 모든 연산이 완료된다.

대표적으로 위와 같은 시퀀스 포인트들이 있다.

 

3. Sequence Point Rule

1. 이전 시퀀스와 다음 시퀀스 사이에 객체(변수)의 값은 최대 한 번만 바뀔 수 있다.

해당 룰을 어긴 대표적 Undefine behavior

i++ + ++iC++

+연산자는 Sequence point에 해당하지 않기 때문에 한 Sqeunce에 i++로 한번, ++i로 한번 총 두 번 값이 변경됐다.

i = i++C++

=연산자 또한 Sequence point에 해당하지 않기 때문에 한 Sqeunce에 i++과 i = 을 통해 두 번 값이 변경됐다. 

2. 수정하기 전의 값에 대한 엑세스는 새로 저장할 값을 결정하기 위해서만 일어나야 한다.

해당 룰을 어긴 대표적 Undefine behavior

arr[i] = i++C++

 

arr[i]의 값이 증가된 값이 적용될지 아닐지 모른다.

 

시퀀스 포인트를 적용해보면

f1() + f2() + f3(); 과 같은 표현식에서 +는 시퀀스 포인트가 아니기 때문에 어떤 함수가 먼저 실행될지 모른다.

하지만 f1(), f2(), f3();은 , 가 시퀀스 포인트이기 때문에 f1, f2, f3 순서대로 호출이 된다.

4. 레퍼런스

https://knowledgeforengineers.tistory.com/114?category=916186 

[C Language] Sequence Point (시퀀스 포인트)