[JS] 제어문

블록문

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

// 블록문
{
	var foo = 10;
}

// 제어문
var x = 1;
if (x < 10) {
  x++;
}

// 함수 선언문
function sum(a, b) {
  return a + b;
}

조건문

조건문은 주어진 조건식의 평가 결과에 따라 코드 블록의 실행을 결정한다. 조건식은 불리언 값으로 평가될 수 있는 표현식이다. 자바스크립트는 if...else 문과 switch 문으로 두 가지 조건문을 제공한다.

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)에 따라 실행할 코드 블록을 결정할 때 사용한다.

반복문

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

for 문

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

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

// 예제
for(let i = 0; i < 2; i++) {
  console.log(i); // 0, 1
}

위 예제는 i가 0으로 초기화된 상태에서 시작하여 i가 2보다 작을 때까지 코드 블록을 반복 실행한 것이다.

for 문의 변수 선언문, 조건식, 증감식은 모두 옵션이므로 반드시 사용할 필요는 없지만 어떤 식도 선언하지 않으면 무한루프가 되기 때문에 주의해야 한다.

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

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

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

간단히 설명하자면 가장 상위의 for 문의 선언문 i가 1일때 그 하위의 for 문의 선언문 j가 1부터 6까지 반복되고, i=2일 때 다시 j가 1부터 6까지 반복된다.

while 문

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

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

var count = 0;

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

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

var count = 0;
// 조건식의 평가 결과가 언제나 참이면 무한루프가 된다.
while (true) { ... }

while (true) {
  console.log(count);
  count++;
  
  if(count === 3) break;
} // 0, 1, 2

do...while 문

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

var count = 0;

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

break 문

switch 문과 while 문에서 살펴보았듯이 break 문은 코드 블록을 탈출한다. 좀 더 정확히 표현하자면 코드 블록을 탈출하는 것이 아니라 레이블 문, 반복문 또는 switch 문의 코드 블록을 탈출한다. 레이블 문, 반복문, switch 문의 코드 블록 외에 break 문을 사용하면 SyntaxError(문법 에러)가 발생한다.

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

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

레이블 문은 프로그램의 실행 순서를 제어하는 데 사용한다. 사실 switch 문의 case 문과 default 문도 레이블 문이다. 레이블 문을 탈출하려면 break 문에 레이블 식별자를 지정한다.

foo: {
  console.log(1);
  break foo; // foo 레이블 블록문을 탈출한다.
  console.log(2); // console에 찍히지 않는다.
}

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!');

// 결과 : inner [0, 0], inner [0, 1], inner [0, 2], inner [1, 0], inner [1, 1], Done!

위의 결과를 설명하자면 i=1, j=2 일 때 i+j=3 이므로 레이블 문을 탈출하여 더 이상 코드를 진행하지 않는다.

레이블 문은 중첩된 for 문 외부로 탈출할 때 유용하지만 그 밖의 경우에는 일반적으로 권장하지 않는다. 레이블 문을 사용하면 프로그램의 흐름이 복잡해져서 가독성이 나빠지고 오류를 발생시킬 가능성이 높아지기 때문이다.

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

var string = 'Hello World.';
var search = 'l';
var index;

// 문자열은 유사 배열이므로 for 문으로 순회할 수 있다.
for(var i = 0; i < string.length; i++) {
  if(string[i] === search) {
    index = i;
    break; // 반복문을 탈출한다.
  }
}

console.log(index); // 2

// 참고로 String.prototype.indexOf 메서드를 사용해도 같은 동작을 한다.
console.log(string.indexOf(search)); // 2

💡 for 문을 반복해서 index를 찾아낸 것은 객체 지향 프로그래밍이며 String.prototype.indexOf 메서드를 사용한 것은 함수형 프로그래밍이다.

continue 문

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

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

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

console.log(count); // 3

// 참고로 String.prototype.match 메서드를 사용해도 같은 동작을 한다.
const regexp = new RegExp(search, 'g'); // 'g' : 문자열 전체를 확인한다.
console.log(string.match(regexp).length); // 3