[모던 자바스크립트] 에러 처리

에러 처리의 필요성

에러가 발생하지 않는 코드를 작성하는 것은 불가능하다. 에러는 언제나 발생할 수 있으나 발생한 에러에 대해 대처하지 않고 방치하면 프로그램은 강제 종료된다.

console.log('[Start]');

foo(); // ReferenceError

console.log('[End]'); // 에러에 의해 프로그램이 강제 종료되어 코드가 실행되지 않는다.

try...catch 문을 사용해 발생한 에러에 적절하게 대응하면 프로그램이 강제 종료되지 않고 계속해서 코드를 실행시킬 수 있다.

console.log('[Start]');

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

console.log('[End]');

에러가 발생하지 않는 코드를 작성하는 것이 이상적이지만 안타깝게도 그것은 불가능하다. 따라서 작성한 코드에서는 언제나 에러나 예외적인 상황이 발생할 수 있다는 것을 전제하고 이에 대응하는 코드를 작성하는 것이 중요하다.

try...catch...finally 문

try...catch...finally 문은 에러 처리 라고도 한다. 3개의 코드 블록으로 구성되는데 finally 문은 불필요하다면 생략 가능하다. catch 문도 생략이 가능하지만 catch 문이 없는 try 문은 의미가 없으므로 생략하지 않는다.

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

try...catch...finally 문을 실행하면 먼저 try 코드 블록이 실행된다. 이때 try 코드 블록에 포함된 문 중에서 에러가 발생하면 에러는 catch 문의 err 변수에 전달되고 catch 코드 블록이 실행된다. catch문의 err 변수는 try 코드 블록에 포함된 문 중에서 에러가 발생하면 생성되고 catch 코드 블록에서만 유효하다. finally 코드 블록은 에러 발생과 상관없이 반드시 한번 실행된다.

Error 객체

Error 생성자 함수는 에러 객체를 생성한다. Error 생성자 함수에는 에러를 상세히 설명하는 에러 메시지를 인수로 전달할 수 있다.

const error = new Error('invalid');

Error 생성자 함수가 생성한 에러 객체는 message 프로퍼티와 stack 프로퍼티를 갖는다. message 프로퍼티의 값은 Error 생성자 함수에 인수로 전달한 에러 메시지이고, stack 프로퍼티의 값은 에러를 발생시킨 콜스택의 호출 정보를 나타내는 문자열이며 디버깅 목적으로 사용된다.

자바스크립트는 Error 생성자 함수를 포함해 7가지의 에러 객체를 생성할 수 있는 Error 생성자 함수를 제공한다.

• Error : 일반적 에러 객체
• SyntaxError : 문법에 맞지 않는 문을 해석할 때 발생하는 에러 객체
• ReferenceError : 참조할 수 없는 식별자를 참조했을 때 발생하는 에러 객체
• TypeError : 피연산자 또는 인수의 데이터 타입이 유효하지 않을 때 발생하는 에러 객체
• RangeError : 숫자값의 허용 범위를 벗어났을 때 발생하는 에러 객체
• URIError : URI 함수에 부적절한 인수를 전달했을 때 발생하는 에러 객체
• EvalError : eval 함수에서 발생하는 에러 객체

throw 문

Error 생성자 함수로 에러 객체를 생성한다고 에러가 발생하는 것은 아니다. 즉, 에러 객체 생성과 에러 발생은 의미가 다르다.

에러를 발생시키려면 try 코드 블록에서 throw 문으로 에러 객체를 던져야 한다.

throw 문의 표현식은 어떤 값이라도 상관없지만 일반적으로 에러 객체를 지정한다. 에러를 던지면 catch 문의 에러 변수가 생성되고 던져진 에러 객체가 할당된다. 그리고 catch 코드 블록이 실행된다.

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

예시를 확인해보자. 외부에서 전달받은 콜백 함수를 n번만큼 반복 호출하는 repeat 함수를 구현해 보자. repeat 함수는 두번째 인수로 반드시 콜백 함수를 전달받아야 한다. 만약 두번째 인수가 함수가 아니면 TypeError을 발생시키자.

const repeat = (n, f) => {
  if(typeOf f !== 'function') throw new TypeError('f must be a function');
  
  for(let i=0; i<n; i++) {
    f(i);
  }
}

try {
  repeat(2, 1);
} catch (err) {
  console.log(err); // TypeError: f must be a function
}