[딥다이브] 8장 | 제어문

예도리·2021년 9월 11일
0

목차

  • 블록문
  • 조건문
    • if...else 문
      • truthy, falsy
    • 삼항 조건 연산자
      • if...else 문과의 차이점
    • switch 문
      • 폴스루
  • 반복문
    • for 문
    • while 문
    • do...while 문
  • break 문
  • continue 문

블록문

0개 이상의 문을 중괄호 {}로 묶은 것을 코드 블록 또는 블록이라고 부른다.
자바스크립트는 블록문을 하나의 실행 단위로 취급한다. 하나의 문을 기대하는 곳에서 다수의 문을 실행할 수 있다. 단독으로도 사용할 수 있으나 제어문이나 함수를 정의할 때 사용하는 것이 일반적이다.
블록문은 자체 종결성을 갖기 때문에 끝에 세미콜론을 붙이지 않는다.

// block 문
{
  let a = 5;
  let b = 6;
}

// if...else 문에 사용된 block 문
if (a) {
  console.log('hi');
} else {
  console.log('hello')
}

💡 자체 종결성이란?

블록문과 반대되는 개념으로 공백문 ; 이 존재한다. 공백문은 하나의 문을 기대하는 곳에 아무것도 제공하지 않는 것이다. 공백문은 실행해도 아무런 action이 수행되지 않고, 아무런 효과도 없다.
공백문은 정상적인 세미 콜론과 구분하는 것이 쉽지 않기 때문에 주석을 달아주는 것이 좋다. 

let num = [1, 2, 3];

for (let i = 0; i < 3; i++) {
  num[i] = 0;
}

for (let i = 0; i < 3; num[i++] = 0) ; // Empty

// 만약 c가 true면 ?
if (a)
  console.log('hi');
else if (b)
  console.log('hi');
else if (c)
  ; 
else if (d)
  console.log('hi');
else
  console.log('hi');

What is the point of using empty statement in JavaScript?

조건문

조건식의 평가 결과에 따라 코드 블록의 실행을 결정한다.
조건식 : boolean 값으로 평가될 수 있는 표현식

if...else 문

조건식의 평가 결과, 즉 논리적 참 또는 거짓에 따라 실행할 코드 블록을 결정한다.
조건식 평가 결과가 true일 경우 if문의 코드 블록, false일 경우 else문의 코드 블록이 실행된다.
조건식을 추가해서 조건에 따라 실행된 코드 블록을 늘리고 싶으면 else if 문을 사용한다.
else if 문과 else 문은 옵션이다.
if 문과 else 문은 한 조건문 당 한 번만 사용할 수 있지만, else if 문은 여러 번 사용할 수 있다.

if (조건식1) {
  // 조건식1이 true일 경우 실행되는 코드
} else if (조건식2) {
  // 조건식1이 false, 조건식2가 true일 경우 실행되는 코드
} else {
  // 조건식1, 조건식2 모두 false일 경우 실행되는 코드
}

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

truthy, falsy

truthy와 falsy는 boolean을 기대하는 문맥에서 평가되는 값이다.

falsy

  • undefined
  • null
  • false
  • +0, -0, NaN
  • ""

truthy

  • {}
  • []
  • 그 외 모든 것

주의할 점!
boolean 값인 true, false와 Boolean 객체의 truthiness, falsiness를 혼동하면 안된다.
Boolean 객체 자체는 객체이기 때문에 안의 값과는 상관없이 항상 truthy이다.

HTML 요소가 if 문의 조건식으로 전달되면 어떻게 될까?

const a = document.querySelector('div');
// class가 name인 요소가 없으면 null을 반환
// 만약 있는 경우?! node가 object로 반환된다
// if 문의 조건식에 넣으면 true가 된다
const b = document.querySelectorAll('div');
// document.querySelectorAll은 해당하는 요소 노드의 NodeList를 반환한다
// NodeList는 object이다.
const c = document.querySelectorAll('.hihi');
// document.querySelectorAll의 경우 해당하는 요소가 없어도
// null이 아닌 빈 NodeList를 반환한다
// 따라서 빈 값이어도 truthy이니깐 조심해야한다

삼항 조건 연산자

대부분의 if...else 문은 삼항 조건 연산자로 바꿔 쓸 수 있다.
조건문 ? 참이면 실행되는 식 : 거짓이면 실행되는 식의 형식을 갖는다. 

let a = 123;
let result = '';

if (a > 0) {
  result = '양수';
} else {
  result = '음수';
}

result = a > 0 ? '양수' : '음수';

else if 문처럼 표현하기 위해 삼항 조건 연산자를 중첩시킬 수도 있다. 

result = a > 0 ? '양수' : (a === 0 ? '영' : '음수');

if...else 문과의 차이점

  1. 변수에 할당할 수 있다.

    삼항 조건 연산자로 만든 식 a === 123 ? true : false;은 값으로 평가되는 표현식이다. 따라서 값처럼 사용할 수 있기 때문에 변수에 할당할 수 있다. 반면, if...else 문은 표현식이 아닌 문이고, 값처럼 사용할 수 없기 때문에 변수에 할당할 수 없다.

  2. 스코프를 생성할 수 없다.
    if...else 문은 블록문으로 이루어져있기 때문에 지역변수를 생성할 수 있다.
    반면, 삼항 조건 연산자는 블록문을 만들 수 없고 피연산자로 표현식만 사용할 수 있기 때문에 지역변수를 생성할 수 없다.

    Why ternary operator does not support blocks?

가독성을 위해 다음과 같은 경우로 나눠서 사용하면 좋을 것 같다!

if...else 문삼항 조건 연산자
조건에 따라 실행해야 할 내용이 복잡하여 여러 줄의 문이 필요할 때조건에 따라 단순히 값을 결정하여 변수에 할당하는 경우

switch 문

주어진 표현식을 평가해서 그 값과 일치하는 표현식을 갖는 case 문으로 실행 흐름을 옮긴다.
case 문은 상황을 의미하는 표현식을 지정하고 콜론으로 마친다. 그 뒤에 실행할 문들을 위치시킨다.
switch 문의 표현식과 일치하는 case 문이 없다면 실행 순서가 default 문으로 이동한다.
default 문은 if...else 문의 else 문과 마찬가지로 선택사항이고 switch 문 당 한 번만 쓸 수 있다.

switch (표현식) {
  case 표현식1:
    // 표현식 === 표현식1일 때 실행되는 코드
    break;
  default: 
    // 표현식과 일치하는 case 문 없을 때 실행되는 코드
}

default 문이 else 문과 다른 점은 case 문 중간에 쓸 수 있다는 것이다. 다만 default 문이 가장 마지막에 위치할 때는 break 문을 작성하지 않아도 상관없었지만, case 문 중간에 쓸 경우 원하는 대로 동작하게 하려면 break 문을 작성해야한다. 

let text = '';
let today = 3; 
  switch (today) {
    case 1:
    case 2:
    case 3:
    default: 
      text = '주말 멀었다,,';
      break;
    case 4:
    case 5:
      text = "얼마 안남았다,,,!"; 
      break;
    case 0:
    case 6:
      text = "주말이다!!!";
  }

if...else 문의 조건식은 boolean 값으로 평가되어야 하는 반면, switch 문의 표현식은 boolean, string, number 모두 가능하기 때문에 다양한 상황에 따라 실행할 코드 블록을 결정할 때 사용한다.

주의할 점!

switch (표현식) {
  case 표현식1:
    // 코드
  case 표현식2:
    // 코드
  case 표현식3:
    // 코드
  default:
    // 코드
}

위 코드를 실행하면 만약 switch 문의 표현식이 표현식1과 같다고 가정했을 때, 표현식1부터 시작해서 모든 case들을 거치게 될 것이다.
표현식2와 같을 때도 마찬가지로, 표현식2부터 표현식2 이후의 default를 포함한 모든 case 문을 거친 뒤 종료하게 된다.

case 문에 해당하는 문의 마지막에 break 문을 사용하지 않아서 폴스루가 일어났기 때문이다.

💡 폴스루란?

폴스루 fall through

switch 문의 평가 결과와 일치하는 case 문으로 실행 흐름이 이동하여 해당하는 문을 실행한 후 switch 문을 탈출하지 않고 switch 문이 끝날 때까지 이후의 모든 case 문과 default 문을 실행한다. 이를 폴스루 fall through라고 한다.

폴스루를 응용해서 코드를 작성하는 방법도 있다. if...else 문은 논리 연산자 || 를 사용한 조건식을 사용할 수 있는데, 폴스루를 사용하면 이와 비슷한 방식으로 여러 개의 case 문을 하나의 조건으로 사용할 수 있다. 

// if...else 문
if (a === 'apple' || a === 'banana') {
  console.log('a는 과일입니다.');
} else {
  console.log('a는 과일이 아닙니다.');
}

// switch 문
switch (a) {
  case 'apple':
  case 'banana':
    console.log('a는 과일입니다.');
    break;
  default:
    console.log('a는 과일이 아닙니다.');
}

a가 'apple'일 경우 case 'apple'로 이동하지만 해당 case 문 안에 break 문이 없기 때문에 실행흐름이 연이어서 다음 case 문인 case 'banana'로 이동한다. case 'banana'에 해당하는 문을 실행한 뒤 break 문을 만나 탈출한다.

if...else 문에서 a가 'apple' 또는 'banana'일 때 같은 코드 블록에 들어가는 것처럼, switch 문에서도 a가 'apple' 또는 'banana'일 때 같은 코드가 실행된다.

JavaScript: Is Fallthrough From Switch Statement A Troublemaker?

만약 위의 default 문의 예시로 쓰인 코드에서 default 문에 해당하는 문 마지막에 break 문이 없다면 어떻게 동작할까?

let text = '';
let today = 3; 
  switch (today) {
    case 1:
    case 2:
    case 3:
    default: 
      text = '주말 멀었다,,';
    case 4:
    case 5:
      text = '얼마 안남았다,,,!'; 
      break;
    case 0:
    case 6:
      text = '주말이다!!!';
  }

today가 3이라는 값으로 들어가도 default 문에서 '주말 멀었다,,'가 되었다가 break 문이 없기 때문에 폴스루가 일어나서 코드 실행 흐름이 이어지고 case 5를 만나 '얼마 안남았다,,,!'가 된다.

폴스루는 유용하게 사용할 수 있지만, 예기치 못한 실행 결과를 만들 수 있으니 조심해야한다.

반복문

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

for 문

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

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

변수 선언문, 조건식, 증감식은 모두 선택사항으로 어떤 식도 선언하지 않으면 무한루프가 된다.

for (;;) { ... }

for 문은 중첩해서 사용할 수 있다. 이를 중첩 for 문이라 한다.

while 문

조건식의 평가 결과가 참이면 코드 블록을 계속해서 반복 실행한다.
조건문의 평가 결과가 거짓이 되면 코드 블록을 실행하지 않고 종료한다.
if...else 문과 마찬가지로 조건식의 평가 결과가 boolean 값이 아니면 boolean 값으로 강제 변환하여 true, false를 구별한다.

언제 for 문, while 문을 사용해야 할까?!

for 문while 문
반복 횟수가 명확할 때반복 횟수가 불명확할 때

while 문의 조건식에 true를 넣으면 평가 결과가 언제나 참이기 때문에 무한루프가 된다.

while (true) { ... }

for 문이나 while 문으로 만들어진 무한루프를 탈출하기 위해서는 코드 블록 내에서 break 문으로 탈출해야한다.

do...while 문

코드 블록을 먼저 실행하고 조건식을 평가한다. 따라서 코드 블록이 최소 한 번 무조건 실행된다.
조건식 뒤에는 세미콜론을 붙여야한다.

do {
  ...
} while (조건식);

break 문

레이블 문, 반복문(for, for...in, for...of, while, do...while) 또는 switch 문의 코드 블록을 탈출한다. 그 외에 break 문을 사용하면 SyntaxError가 발생한다.

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

레이블 문: 식별자가 붙은 문, switch 문의 case 문과 default 문도 레이블 문이다.
레이블 문에서 탈출하려면 break 문에 레이블 식별자를 지정해야한다.

중첩 for 문의 경우, 내부 for 문에서 break 문을 실행하면 내부 for 문에서 탈출해서 외부 for 문에 진입한다. break는 한 번에 한 단계 밖에 탈출하지 못하기 때문에 내부 for 문에서 외부 for 문까지 탈출하려면 레이블 문을 사용한다.

outer: for (let i = 0; i < 3; j++) {
  for (let j = 0; j < 3; j++) {
    if (i + j === 3) break outer;
  }
}

중첩된 while 문 역시 중첩 for 문처럼 내부 while 문에서 외부 while 문까지 탈출하려면 레이블 문을 사용하면 된다.

레이블 문은 중첩된 반복문 외부로 탈출할 때는 유용하지만 일반적으로는 권장하지 않는다. 코드 흐름이 복잡해져서 가독성이 나빠지고 오류 발생 가능성이 높아진다.

break 문을 중첩되지 않은 반복문이나 switch 문에서 사용할 경우 레이블 식별자를 지정하지 않는다.

💡 label 문은 언제 사용하는 걸까? 원리는,,,?

→ label 문은 break, continue 문과만 사용한다.

continue 문

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

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

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

위의 두 코드는 동일하게 동작한다.

for 문은 continue 문을 사용했을 때 실행 흐름이 증감식으로 이동하기 때문에 문제가 없지만 while 문 코드 블록 안에서 증감식을 사용할 경우 주의해야한다.

위의 두 코드는 큰 차이가 없어보이지만 왼쪽 코드를 실행하면 무한루프에 빠지게 된다. 이유는 continue 조건문이 증감식보다 위에 있기 때문이다.

a가 3일 때 실행 흐름이 조건식으로 옮겨지고 a가 10보다 작은 상태이기 때문에 다시 while 문 코드 블록 안으로 들어간다. 이때, 코드 블록에 들어가자 마자 다시 a가 3인 상태로 continue 문을 만나기 때문에 다시 조건식으로 실행 흐름이 옮겨지고 이 과정이 무한으로 반복된다.

반면 오른쪽 코드는 증감식이 continue 문보다 위에 있기 때문에 a가 3이 돼서 continue 문을 만나 조건식을 거친 후 다시 코드 블록에 들어와도 바로 4로 증가되기 때문에 다시 continue문을 만날 일이 없다.

💡 forEach나 map에서는 break, continue 문을 사용할 수 없는 이유는?

forEach는 Array 객체의 메서드로 주어진 함수를 배열 요소 각각에 대해 실행한다.
forEach에 전달되는 것이 loop가 아닌 콜백 함수이기 때문에 break, continue 문을 사용할 수 없다.
미처 구현을 안한 것이라는 얘기가 있다,,,,

forEach에 break문 대신 some 사용하기
Does the ForEach loop allow using break and continue?
[JS] forEach 메소드와 루프 제어문

forEach에서 continue를 구현하려면? return을 사용하면 된다.
콜백 함수 안에서 return을 만나게 되면 함수가 종료되고 다음 요소에 대해 콜백 함수가 실행된다.

profile
예도리
이전 포스트

[딥다이브] 6장 | 데이터 타입

다음 포스트

[딥다이브] 9장 | 타입 변환과 단축 평가

0개의 댓글