C++ 정리 - 13 (for 루프, 증가 연산자, 감소 연산자, 부수효과와 시퀀스 포인트, 접두어, 접미어 방식)

for 루프

for 루프를 구성하는 각 부분은 순서대로 다음과 같은 단계를 처리함

1. 조건 검사에 사용할 카운터 값을 초기화
2. 루프를 진행할 것 인지 조건을 검사
3. 루프 몸체를 수행
4. 카운터 값 갱신

초기화, 조건 검사, 갱신을 처리하는 for 루프의 세 제어 부분은 괄호로 묶여 있다. 이들은 각각 하나의 표현식이며, 세미콜론에 의해 분리되어 있다. 제어 부분 뒤에 오는 구문을 루프 몸체라 함

 

for(initialization;test_expression;update_expression)

body

 

초기화는 처음에 단 한 번만 수행

test_expression은 루프 몸체 body를 실행할 것 인지 여부를 결정

참-거짓을 비교하는 관계식뿐만 아니라, 어떠한 표현식도 사용 가능

C++은 이러한 표현식을 bool형으로 변환함. 0 값을 가진 표현식일 경우 bool형 값 false로 변환되고 루프가 종료, 표현식이 0이 아닌 다른 수로 평가되면 bool형 값 true로 변환되고 루프가 계속 진행

 

for 루프는 진입 조건 (entry_condition) 루프이다

조건 검사 표현식이 거짓으로 평가되면 루프 몸체는 결코 수행되지 않는다

update_expression은 루프 몸체가 실행되고 나서 루프 주기의 끝에서 평가됨. 일반적으로 루프 주기의 수를 추적하는 변수의 값을 증가시키거나 감소시킴. 어떠한 표현식도 사용 가능하다.

 

C++에서의 for 구문

for(for_init_statement condition;expression)

statement

for_init_statement가 구문이고 자체에 세미콜론이 있으므로 문제없음

for_init_statement에 변수를 선언하면 그 변수를 for 구문 안에서만 존재하고 for 루프를 벗어나면 소멸된다.

 

증가 연산자(++)와  감소 연산자(--)

증가 연산자와 감소 연산자는 둘 다 접두어 방식과 접미어 방식으로 사용 가능

접두어 방식은 ++x, 접미어 방식은 x++와 같이 사용

접두어 : ++x, x의 값을 먼저 증가

접미어 : x++, x가 현재 가지고 있는 값으로 표현식의 값을 먼저 평가한 후, x의 값을 나중에 평가

 

부수효과와 시퀀스 포인트

부수효과 (side effect)

수식을 평가할 때 변수에 저장되어 있는 값과 같은 것이 변경될 때 일어나는 효과를 말함

 

시퀀스 포인트

프로그램의 실행이 다음 단계로 넘어가기 전에 모든 부수 효과들이 확실하게 평가되는 포인트

c++에서 구문에 있는 세미콜론은 시퀀스 포인트를 표시함

 

접두어 방식과 접미어 방식

클래스의 경우에 접두어 버전이 접미어 버전보다 더 효율적인 이유

접미어 버전은 먼저 값의 복사본을 만들고, 복사본의 값을 증가시키고, 그 복사본을 리턴하는 방식으로 동작함

내장 데이터형에 대해서는 어느 방식을 사용해도 거의 차이가 없음

 

증가 연산자는 기본 변수에 대해서만이 아니라 포인터에도 사용 가능

이 연산자들을 *연산자와 결합하여 사용함으로써 포인터가 지시하는 값 변경 가능

접두형 증가, 접두형 감소, 내용 참조 연산자는 우선순위가 같고, 오른쪽에서 왼쪽으로 결합함

접미형 증가, 접미형 감소 연산자는 우선순위가 같고, 접두형보다 우선순위가 높다. 또한 이 두 연산자는 왼쪽에서 오른쪽으로 결합함

*++pt; //++가 pt에 먼저 적용 후 pt의 새로운 값에 *가 적용

*pt++; //원래 주소를 참조한 뒤 포인터 증가