47장 에러 처리

47.1 에러 처리의 필요성

• 에러가 발생하지 않는 코드를 작성하는 것은 불가능하다.
• 발생한 에러에 대해 대처하지 않고 방치하면 프로그램은 강제 종료된다.
• try ... catch 문을 사용해 발생한 에러에 적절하게 대응하면 프로그램이 강제 종료되지 않고 계속해서 코드를 실행시킬 수 있다.

console.log('[Start]');

try {
    foo();
} catch(error) {
    console.error('[에러 발생]', error);
}

console.log('[End]');

47.2 try ... catch ... finally 문

• try ... catch ... finally 문은 에러 처리 코드를 미리 등록해 두고 에러가 발생하면 에러 처리 코드로 점프하도록 하는 방법이다.

try {
    // 실행할 코드(에러가 발생할 가능성이 있는 코드)
} catch (err) {
    // try 코드 블록에서 에러가 발생하면 이 코드 블록의 코드가 실행된다.
    // err에는 try 코드 블록에서 발생한 Error 객체가 전달된다.
} finally {
    // 에러 발생과 상관없이 반드시 한 번 실행된다.
}

• try ... catch ... finally 문으로 에러 처리를 하면 프로그램이 강제 종료되지 않는다.

47.3 Error 객체

• Error 생성자 함수는 에러 객체를 생성한다. Error 생성자 함수에는 에러를 상세히 설명하는 에러 메시지를 인수로 전달할 수 있다.
• Error 생성자 함수에는
  • message 프로퍼티 : Error 생성자 함수에 인수로 전달한 에러 메시지
  • stack 프로퍼티 : 에러를 발생시킨 콜스택의 호출 정보를 나타내는 문자열, 디비깅 목적

const error = new Error(message, stack);

• 자바스크립트는 7가지의 에러 객체를 생성할 수 있는 Error 생성자 함수를 제공한다.
  • Error, SyntaxError, ReferenceError, TypeError, RangeError, URIError, EvalError

47.4 throw 문

• Error 생성자 함수로 에러 객체를 생성한다고 에러가 발생하는 것은 아니다.
• 에러를 발생 시키려면 try 코드 블록에서 throw 문으로 에러 객체를 던져야 한다.

try {
    throw new Error('something wrong');
} catch (error) {
    console.log(error);
}

// 함수를 구현할때 에러 처리시 (매개변수 f에 콜백함수가 없는 경우)
const repeat = (n, f) => {
    if (typeof f !== 'function') throw new TypeError('f must be a function');

    for(var i = 0; i < n; i++) {
        f(i);
    }
};

try {
    repeat(2, 1); // 두번째 인수가 함수가 아님
} catch(err) {
    console.error(err); // TypeError: f must be a function
}

47.5 에러의 전파

• 에러는 호출자 방향으로 전파된다.
• 콜 스택의 아래 방향(실행 중인 실행 컨텍스트가 푸시되기 직전에 푸시된 실행 컨텍스트 방향) 으로 전파된다.

const foo = () => {
    throw Error('foo에서 발생한 에러');
};

const bar = () => {
    foo();
};

const baz = () => {
    bar();
};

try {
    baz();
} catch(err) {
    console.error(err);
}

• baz 호출 -> bar 호출 -> foo 호출 -> foo 함수 에러 발생 -> foo 에러 bar 함수에 전파 -> foo 에러 baz 함수에 전파 -> foo 에러 전역 실행 컨텍스트에 전파 -> 전역에서 에러 캐치
• 주의할 것은 비동기 함수인 setTimeout이나 프로미스 후속 처리 메서드의 콜백함수(then, catch, finally)는 태스크큐나 마이크로태스크큐에 일시 저장되었다가 콜스택이 비면 콜스택으로 푸시되어 실행한다. 이때 콜스택의 가장 하부에 존재하기 때문에 에러를 전파할 호출자가 존재하지 않는다.