[모던자바스크립트 Deep Dive] 8장. JavaScript 제어문

1. 제어문

제어문(control flow statement)은 조건에 따라 코드 블록을 실행(조건문)하거나 반복 실행(반복문)할 때 사용한다. 일반적으로 코드는 위에서 아래 방향으로 순차적으로 실행된다. 제어문을 사용하면 코드의 실행 흐름을 인위적으로 제어할 수 있다.

하지만 코드의 실행 순서가 변경된다는 것은 단순히 위에서 아래로 순차적으로 진행하는 직관적인 코드의 흐름을 혼란스럽게 만든다.

따라서 제어문은 코드의 흐름을 이해하기 어렵게 만들어 가독성을 해치는 단점이 있다. 

가독성이 좋지 않은 코드는 오류를 발생시키는 원인이 된다. 나중에 살펴볼 forEach, map, filter, reduce 같은 고차 함수를 사용한 함수형 프로그래밍 기법에서는 제어문의 사용을 억제하여 복잡성을 해결하려고 노력한다.

제어문을 바르게 이해하는 것은 코딩 스킬에 많은 영향을 준다. 특히 for문은 매우 중요하므로 확실히 이해하자

2. 블록문(block statement / compound statement)

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

문의 끝에는 세미콜론을 붙이는 것이 일반적이다. 하지만 블록문은 언제나 문의 종료를 의미하는 자체 종결성을 갖기 때문에 블록문의 끝에는 세미콜론을 붙이지 않는다는 것에 주의하기를 바란다.

// 블럭문
{
 var foo = 10;
 }
 
 // 제어문 
 var x = 1;
 if (x < 10) {
  x+;
 }
 
 // 함수 선언문
 function sum(a, b) {
  return a + b;
 }

 

3. 조건문(conditional statement)

조건문(conditional statement)은 주어진 조건식(conditional expression)의 평가에 따라 코드 블록(블록문)의 실행을 결정한다. 

조건식은 불리언 값으로 평가될 수 있는 표현식이다.

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

 

3-1. if ... else 문

if ... else 문은 주어진 조건식(불리언 값으로 평가될 수 있는 표현식)의 평가 결과, 즉 논리적 참 또는 거짓에 따라 실행할 코드 블록을 결정한다. 조건식의 평가 결과가 true일 경우 if 문의 코드 블럭이 실행되고, false일 경우 else문의 코드블록이 실행된다.

 

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

 

if 문의 조건식은 불리언 값으로 평가되어야 한다. 만약 조건식이 불리언 값이 아닌 값으로 평가되면 자바스크립트 엔진에 의해 암죽적으로 불리언 값으로 강제 변환되어 실행할 코드 블록을 결정한다.

 

여기서 만약에 조건을 추가 시키고 싶다면 else if를 사용하면 된다.

if(조건식) {
 // 조건식이 참이면 이 코드 블록이 실행된다.
 } else if(조건식 2) {
 // 조건식 2가 참이면 이 코드 블록이 실행된다.
 } else {
 // 조간식이 거짓이면 이 코드 블록이 실행된다.
}

 

if 문과 else 문은 2번 이상 사용할 순 없지만, else if 문은 여러 번 사용할 수 있다.

 

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

 

let x = 2;
let result;

if(x % 2) {
 result = '홀수'
} else {
 result = '짝수'
}

console.log(result); // 짝수

 

이를 삼항 연산 조건자로 바꿔보자

let x = 2;

// 0은 false로 취급된다.
let result = x % 2 ? '홀수' : '짝수';
console.log(result); // 짝수

 

위 경우는 경우의 수가 2가지이지만, 만약 경우의 수가 세가지라면 아래와 같이 쓸 수 있다.

 

let num = 2;

// 0은 false로 취급한다.
let kind = num ? (num > 0 ? '양수' ? '음수') : '영';

console.log(kind) // 양수

 

num > 0 ? '양수' : '음수'는 표현식이다. 즉, 삼항 조건 연산자는 값으로 평가되는 표현식을 만든다. 따라서 삼항 조건 연산자 표현식은 값처럼 사용할 수 있기 때문에 변수에 할당할 수 있다. 하지만 if ... else문은 표현식이 아닌 문이다. 따라서 if ... else 문은 값처럼 사용할 수 없기 때문에 변수에 할당할 수 없다.

 

조건에 따라 단순하게 값을 결정하여 변수에 할당한다면 삼항 조건 연산자가 좋지만, 복잡하고 여러 줄인 경우에는 if ... else를 사용하는 것이 가독성에서 좋다.

 

3-2. switch 문

switch 문은 주어진 표현식을 평가하여 그 값과 일치하는 표현식을 갖는 case문으로 실행 흐름을 옮긴다. 

case 문은 상황을 의미하는 표현식을 지정하고 콜론으로 마친다. 그리고 그 뒤에 실행할 문들을 위치 시킨다.

switch 문의 표현식과 일치하는 case 문이 없다면, 실행 순서는 default 문으로 이동한다. default 문은 선택사항으로, 사용할 수도 있고, 사용하지 않을 수도 있다.

 

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

 

if ... else 문의 조건식은 불리언 값으로 평가되어야 하지만 switch 문의 표현식은 불리언 값보다는 문자열이나 숫자 값 인 경우가 많다.

다시 말해 if ... else 문은 논리적 참, 거짓ㅁ으로 실행할 코드 블록을 결정한다. switch 문은 논리적 참, 거짓보다는 다양한 상황(case)에 따라 실행할 코드 블록을 결정할 때 사용한다.

 

여기서 만약에 break가 없이 코드가 작성되었다면, 맨 마지막 문을 실행할 것이다. 

이는 switch문의 표현식의 평가 결과와 일치하는 case 문으로 실행 흐름이 이동하여 문을 실행한 것은 맞지만, 문을 실행한 후 switch 문을 탈출 하지 않고 switch 문이 끝날 때까지 이후의 모든 case 문과 default 문을 실행했기 때문이다. 이를 폴스루(fall through)라 한다. 

다시 말해 변수가 있다는 가정하에, 변수가 할당되어 끝나지 않고 다음 변수에 또 재할당이 되어 맨 마지막에 있는 문으로 재할당이 된 것이다.

 

여기서 if .. else 문으로 해결 할 수 있다면 switch 문 보다 if ... else 문을 사용하는 편이 좋다. 하지만 조건이 너무 많다면 switch 문을 사용 하는 것이 가독성이 좋다면 사용한다.

 

4. 반복문(loop statement)

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

자바스크립트는 3가지 반복문인 for문, while문, do ... while문이 있다.

 

4-1. for 문

for 문은 조건식이 거짓으로 평가될 때까지 코드 블록을 반복 실행한다. 가장 일반적으로 사용되는 for문의 형태는 아래와 같다.

 

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

 

이는 중요하므로 잘 공부해두자!!

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

// 0
// 1

 

위 예제의

1. for 문은 i 변수(for 문의 변수 선언문의 변수 이름은 반복을 의미하는 iteration의 i를 사용하는 것이 일반적이다)가 0으로 초기화
2. i가 2보다 작을 때까지 코드 블록을 2번 반복 실행한다.

for 문 내에 for 문을 중첩해 사용할 수 있다. 이를 중첩 for 문이라고 한다. 두 개 의 주사위를 던졌을 때, 두 눈의 합이 6이 되는 모든 경우의 수를 출력하기 위해 중첩 for 문을 사용한 예이다.

 

for (let i = 0; i <= 6; i++) {
 for (let j = 0; j <= 6; j++ {
 	if ( i + j === 6) console.log(`[${i}, ${j}]`);
    }
 }
 
 [1, 5]
 [2, 4]
 [3, 3]
 [4, 2]
 [5, 1]

 

4-2. while 문

while 문은 주어진 조건식의 평가 결과가 참이면 코드 블록을 계속해서 반복 실행한다. for 문은 반복 횟수가 명확할 때 주로 사용하고 whie문은 반복 횟수가 불명확할 때 주로 사용한다.

while 문은 조건문의 평가 결과가 거짓이 되면 코드 블록을 실행하지 않고 종료한다. 만약 조건식의 평가 결과가 불리언 값이 아니면 불리언 값으로 강제 변환하여 논리적 참, 거짓을 구별한다.

 

let count = 0;

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

 

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

 

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

 

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

 

let count = 0;

// 무한 루프
while(true) {
 console.log(count);
 count++;
 // count가 3이면 코드 블록을 탈출한다.
 if(count === 3) break;
} // 0 1 2

 

4-3. do ... while 문

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

 

let count = 0;

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

 

5. break 문

switch 문과 while 문에서 살펴보았듯이 break문은 코드 블록을 탈출한다. 좀 더 정확히 말하자면 코드 블록을 탈출하는 것이 아니라 레이블 문, 반복문(for, for...in, for ...of, while, do ... while) 또는 switch 문의 코드 블록을 탈출 한다. 

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

 

if (true) {
 break; // Uncaught SyntaxError: Illegal break statement
 }

 

참고로 레이블 문(label statement)이란 식별자가 붙은 문을 말한다.

 

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

 

break 문은 레이블 문 뿐만 아니라 반복문, switch 문에서도 사용할 수 있다. 이 경우에는 break문에 레이블 식별자를 지정하지 않는다. break문은 반복문을 더 이상 진행하지 않아도 될 때 불필요한 반복을 회피 할 수 있어 유용하다.

 

6. continue 문

continue 문은 반복적으로 코드 블록 실행을 현 지점에서 중단하고 반복문의 중감식으로 실행 흐름을 이동 시킨다. 

break 문처럼 반복문을 탈출하지는 않는다.

 

다음은 문자열에서 특정 문자 개수를 세는 예이다.

 

let string = 'Hello World';
let search = 'l';
let count = 0;

// 문자열은 유사 배열이므로 for 문으로 순회할 수 있다.
	for (let i = 0; i < string.length; i++) {
 // 'l' 이 아니면 현 지점에서 실행을 중단하고 반복문의 증감식으로 이동한다.
 	if( string[i] !== search) continue;
 	count ++; // continue 문이 실행되면 이 문은 실행되지 않는다.
 }
 
 console.log(count); // 3

 

위 예제의 for 문은 아래와 같이 동일하게 작동한다.

 

for (let i = 0; i < string.length; i++) {
 if(string[i] === search) count ++;
}

 

위와 같이 if 문 내에서 실행해야 할 코드가 할 줄이라면 continue 문을 사용했을 때보다 간편하고 가독성도 좋다.

하지만 if 문 내에서 실행해야 할 코드가 길다면 들여쓰기가 한 단계 더 깊어지므로 continue 문을 사용하는 편이 가독성이 더 좋다.

 

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

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