[JS] 08장 제어문-모던 자바스크립트 Deep Dive

제어문은 조건에 따라 코드 블록을 실행하거나 반복 실행할 때 사용한다. 일반적으로 코드는 위에서 아래 방향으로 실행되는데 제어문을 사용하면 코드의 실행 흐름을 인위적으로 제어할 수 있다. 이는 직관적인 코드의 흐름을 혼란스럽게 만들어 가독성을 해친다는 단점이 있다. 이번 장에서는 for문이 매우 중요하므로 꼭 이해하도록 하자.

---

8.1 블록문

블록문은 0개 이상의 문을 중괄호로 묶은 것으로 자바스크립트는 블록문을 하나의 실행 단위로 취급한다. 블록문은 단독으로 사용할 수도 있으나 일반적으로 제어문이나 함수를 정의할 때 사용하는 것이 일반적이다.

특히 블록문이 끝날 때는 세미콜론을 붙이지 않는다. 블록문은 언제나 문의 종료를 의미하는 자체 종결성을 갖기 때문이다.

---

8.2 조건문

조건문은 주어진 조건식의 평가 결과에 따라 코드 블록의 실행을 결정한다. 조건식은 불리언 값으로 평가될 수 있는 표현식이다.

자바스크립트는 if... else문과 switch문으로 두 가지 조건문을 제공한다.

8.2.1 if...else문

if... else문은 주어진 조건식의 평가 결과(논리적 참/거짓)에 따라 실행할 코드 블록을 결정한다. 조건식의 평가 결과가 true이면 if 문의 코드 블록을 실행하고, false이면 else 문의 코드 블록을 실행한다.

if(조건식) {
	//조건식이 참이면 이 코드 블록 실행
}
else{
	//조건식이 거짓이면 이 코드 블록 실행
}

만약 if 문의 조건식이 불리언 값이 아닌 값으로 평가되면 자바스크립트 엔진에 의해 암묵적으로 불리언 값으로 강제 변환된다.

조건식을 추가하여 조건에 따라 실행될 코드 블록을 늘릴 때는 else if 문을 사용한다. else if문은 여러 번 사용 가능하고 필요하지 않다면 if문과 else문만 사용해도 무방하다.

if(조건식1) {
	//조건식1이 참이면 이 코드 블록 실행
} else if(조건식2){
	//조건식2가 참이면 이 코드 블록 실행
} else{
	//조건식1과 2가 모두 거짓이면 이 코드 블록 실행
}

대부분의 if... else문은 삼항 조건 연산자로 바꿔 쓸 수 있다.

//x가 짝수이면 result 변수에 문자열 '짝수'를 할당하고, 홀수이면 문자열 '홀수'를 할당한다.
var x = 2;
var result;

if (x % 2){ // 2 % 2는 0이다. 이때 0은 false로 암묵적 강제 변환된다.
	result = '홀수';
} else{
	result = '짝수';
}

console.log(result); // 짝수

// 삼항 조건 연산자로 해도 같은 결과이다. 0은 false로 취급된다.
result = x % 2 ? '홀수' : '짝수';
console.log(result); // 짝수

위의 예제에서 홀수, 짝수만 구분했다면 양수, 음수, 0 이 3가지로 나눈다고 하면 다음과 같이 삼항 조건 연산자를 적용할 수 있다.

var num =2;

var kind = num ? (num > 0 ? '양수' : '음수') : '0';

console.log(kind); // 양수

하지만 이렇게 작성하게 될 경우 가독성이 좋지 않기 때문에 여러 줄의 문이 필요하다면 if... else문을 사용하는 것이 더 좋다.

8.2.2 switch문

switch문은 주어진 표현식을 평가하여 그 값과 일치하는 표현식을 갖는 case문으로 실행 흐름을 옮긴다. case문은 상황을 의미하는 표현식을 지정하고 콜론으로 마친다.

switch문의 표현식과 일치하는 case문이 없다면 실행 순서는 default 문으로 이동한다. default문은 선택사항으로, 꼭 필요하지는 않다.

switch (표현식) {
	case 표현식1:
		switch 문의 표현식과 표현식1이 일치하면 실행될 문;
		break;
	case 표현식2:
		switch 문의 표현식과 표현식2가 일치하면 실행될 문;
		break;
	default 표현식1:
		switch 문의 표현식과 일치하는 case문이 없을 때 실행될 문;
}

여기서 주의해야 할 점은 각각의 case문에 대해서 break를 통해서 종료될 수 있도록 해야 한다. 만약 break를 적지 않으면 case와 일치하는 문으로 이동하여 실행된 다음에 그 이후의 모든 case들과 마지막의 default까지 탐색한 뒤 출력되기 때문에 올바른 값이 아닌 default문의 값이 출력된다. 이를 폴스루(fall through)라 한다. 따라서 각각의 case문의 마지막 부분에는 break문을 통해 탈출할 수 있도록 해야 한다. default문의 경우에는 switch문 맨 마지막에 위치하므로 break문을 생략하는 것이 일반적이다.

이러한 break문을 생략한 폴스루가 유용한 경우도 있다.

var year = 2000; //2000년은 윤년으로 2월이 29일이다.
var month = 2;
var days = 0;

switch(month){
    case 1: case 3: case 5: case 7: case 8: case 10: case 12:
        days = 31;
        break;
    case 4: case 6: case 9: case 11:
        days = 30;
        break;
    case 2:
        //윤년 계산 알고리즘
        //1.연도가 4로 나누어 떨어지는 해는 윤년이다.
        //2.연도가 4로 나누어떨어지더라도 연도가 100으로 나누어떨어지는 해는 평년이다.
        //3.연도가 400으로 나누어떨어지는 해는 윤년이다.
        days = ((year % 4 === 0 && year % 100 !== 0) || (year% 400 ===0))?29:28;
        break;
    default:
        console.log('Invalid month');
}

console.log(days); //29

switch문은 여러 키워드를 사용해야 하고 폴스루가 발생할 수 도 있어 복잡하기 때문에 if... else문으로 해결할 수 있다면 if... else문을 사용하는 것을 권장한다. 하지만 조건이 많아진다면 switch문을 사용하는 편이 좋다.

---

8.3 반복문

반복문은 조건식의 평가 결과가 참인 경우 코드 블록을 실행한다. 그 후 조건식을 다시 평가하여 여전히 참인 경우 코드 블록을 다시 실행한다. 이는 조건식이 거짓일 때까지 반복한다.

8.3.1 for문

for문은 조건식이 거짓으로 평가될 때까지 코드 블록을 반복 실행한다.

for( 변수 선언문 또는 할당문; 조건식; 증감식){
    조건식이 참인 경우 반복 실행될 문;
}

for (var i = 0; i < 2; i++) {
    console.log(i);
}

//출력 결과:
0
1

위 for문 예제의 작동 방식은 다음과 같다.

1. for문을 실행하면 맨 먼저 변수 선언문 var i = 0이 실행된다. 변수 선언문은 단 한 번만 실행된다.
2. 변수 선언문의 실행이 종료되면 조건식이 실행된다. 현재 i 변수의 값은 0이므로 조건식의 평가 결과는 true이다.(2 미만으로 참이다)
3. 조건식의 평가 결과가 true이므로 코드 블록이 실행된다. 증감문으로 실행 흐름이 이동하는 것이 아니라 코드 블록으로 실행 흐름이 이동하는 것에 주의하자.
4. 코드 블록의 실행이 종료되면 증감식 i++가 실행되어 i 변수의 값은 1이 된다.
5. 증감식 실행이 종료되면 다시 조건식이 실행된다. 변수 선언문이 실행되는 것이 아니라 조건식이 실행된다는 점에 주의하자. 현재 i 변수의 값은 1이므로 조건식의 평가 결과는 true이다.
6. 조건식의 평가 결과가 true이므로 코드 블록이 다시 실행된다.
7. 코드 블록의 실행이 종료되면 증감식 i++가 실행되어 i 변수의 값은 2가 된다.
8. 증감식 실행이 종료되면 다시 조건식이 실행된다. 현재 i 변수의 값은 2이므로 조건식의 평가 결과는 false이다. 조건식의 평가 결과가 false이므로 for문의 실행이 종료된다.

i 변수의 증가뿐만 아니라 감소 또한 가능하다.

for (var i = 1; i >= 0; i--) {
    console.log(i);
}

for문에서 변수 선언문, 조건식, 증감식은 모두 필수는 아니기 때문에 모두 적지 않으면 무한루프가 된다.

for(;;){
    ... //해당 부분 무한 반복하여 실행
}

for문을 중첩해서 사용할 수 있으며 이를 중첩 for문이라고 한다.

//두 개의 주사위를 던졌을 때 두 눈의 합이 6이 되는 모든 경우의 수
for (var i = 1; i <= 6; i++) {
    for (var j = 1; j <= 6; j++) {
        if (i + j === 6) {
            console.log(`[${i}, ${j}]`);
        }
    }
}

//출력 결과:
[1, 5]
[2, 4]
[3, 3]
[4, 2]
[5, 1]

8.3.2 while문

while문은 주어진 조건식의 평가 결과가 참이면 코드 블록을 계속해서 반복 실행한다. for문은 반복 횟수가 명확할 때 주로 사용하고, 반복 횟수가 불명확할 때 while문을 주로 사용한다. while문은 조건문의 평가 결과가 거짓이 되면 코드 블록을 실행하지 않고 종료한다. 만약 조건식의 평가 결과가 불리언 값(true, false)이 아니라면 불리언 값으로 강제 변환하여 논리적 참, 거짓을 구별한다.

var count = 0;

// count가 3보다 작을 때까지 코드 블록을 계속 반복 실행한다.
while (count < 3) {
    console.log(count); // 0 1 2
    count++;
}

조건식의 평가 결과가 언제나 참이면 무한루프가 된다.

//무한루프
while (true) { ... }

이러한 무한루프를 탈출하기 위해서는 코드 블록 내에 if문으로 탈출 조건을 만들고 break문으로 탈출한다.

8.3.3 do... while문

do... while문은 코드 블록을 먼저 실행하고 조건식을 평가한다. 따라서 코드 블록은 무조건 한 번 이상 실행된다.

var count = 0;

// count가 3보다 작을 때까지 코드 블록을 계속 반복 실행한다.
do {
    console.log(count); // 0 1 2
    count++;
} while (count < 3);

---

8.4 break문

break문은 코드 블록을 탈출한다. 하지만 레이블 문, 반복문, switch문의 코드 블록 외의 break문을 사용하면 SyntaxError(문법 에러)가 발생한다.

레이블 문은 식별자가 붙은 문을 말한다.

//foo라는 레이블 식별자가 붙은 레이블 문
foo: console.log('foo');

레이블 문은 프로그램의 실행 순서를 제어하는 데 사용한다. switch문의 case문과 default문도 레이블 문이다.

//foo라는 식별자가 붙은 레이블 블록문
foo: {
    console.log(1);
    break foo; // foo레이블 블록문을 탈출한다.
    console.log(2);
}

console.log('Done!');

중첩된 for문의 내부 for문에서 break문을 실행하면 내부 for문을 탈출하여 외부 for문으로 진입한다. 이때 내부 for문이 아닌 외부 for문을 탈출하려면 레이블 문을 사용한다.

//outer라는 식별자가 붙은 레이블 for문
outer: for(var i=0; i<3; i++){
    for(var j=0; j<3; j++){
        //i+j===3이면 outer라는 식별자가 붙은 레이블 FOr문을 탈출한다.
        if(i+j===3){
            break outer;
            console.log(`inner[${i}, ${j}]`);
        }
    }
}

console.log('Done!');

이러한 레이블 문은 for문 외부로 탈출할 때는 유용하지만 그 외의 경우에는 권장하지 않는다. 프로그램의 흐름이 복잡해져서 가족성이 나빠지고 오류를 발생시킬 가능성이 높아지기 때문이다.

---

8.5 continue문

continue문은 반복문의 코드 블록 실행을 현 지점에서 중단하고 반복문의 증감식으로 실행 흐름을 이동시킨다. break문처럼 반복문을 탈출하지는 않는다.

var string = 'Hello World.';
var search = 'l';
var count = 0;

//continue문을 사용하지 않으면 if문 내에 코드를 작성해야 한다.
for (var i = 0; i < string.length; i++) {
    //'l'이면 카운트를 증가시킨다.
    if (string[i] === search) {
        count++;
    }
}

//continue문을 사용하면 if문 밖에 코드를 작성할 수 있다.
for (var i = 0; i < string.length; i++) {
    //'l'이 아니면 카운트를 증가시키지 않는다.
    if (string[i] !== search) {
        continue;
    }
    count++;
}