[11주차 스터디]47장-에러 처리

에러 처리

try ... catch ... finally

• 에러 처리 구현하는 방법은 크게 두가지

  1. 예외 적인 상황이 발생 시 반환 하는 값을 if 문, 단축 평가, 옵셔널 체이닝 등으로 직접 확인하는 방법
  2. 에러 처리 코드를 미리 등록해 두고 에러가 발생하면 에러 처리 코드로 점프하도록 하는 방법

• try ... catch ... finally 는 두번 째 방법

• 3개의 코드 블록으로 구성

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

• finally문은 불필요 하다면 생략 가능

Error 객체

• Error 생성자 함수는 에러 객체를 생성
• Error 생성자 함수에는 에러 메세지를 전달 가능

const error = new Error('this is Error message');

• Error 객체는 message 프로퍼티와 stack 프로퍼티를 가진다

  • message 프로퍼티 : Error 생성자 함수에 인수로 전달한 에러 메세지
  • stack 프로퍼티 : 에러를 발생시킨 콜스택의 호출 정보를 나타내는 문자열 (디버깅 목적)

• 자바스크립트는 에러 객체를 생성할 수 있는 생성자 함수를 7가지 제공

• 모두 Error.prototype을 상속 받는다

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

throw 문

• 에러 객체를 생성한다고 에러가 발생 되는 것 아님
• 에러를 발생시키려면 try 코드 블록에서 throw 문으로 에러 객체를 던져야 한다.
• throw문의 표현식은 어떤 값이라도 상관 없지만 일반적으로 에러 객체를 지정
• 에러를 던지면 catch 문의 변수가 생성되고 던져진 에러 객체가 할당 됨

에러의 전파

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

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

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

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

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

• 위 예시의 경우 foo 실행 컨텍스트에서 에러가 throw 되지만 콜스택 아래 방향으로 전파되어 전역 실행 컨택스트에서 catch 된다
• 왜냐 전역 실행 컨택스트의 try 내부에서 baz(); 함수를 호출했기 때문에 이 함수가 호출자(caller)이다.
• 주의할 것은 비동기 함수인 setTimeout 이나 프로미스 후속 처리 메서드의 콜백 함수는 호출자가 없다는 것
• setTimeout 이나 프로미스 후속 처리 메서드는 태스크 큐나 마이크로 태스크큐에 일시 저장 되었다고, 콜 스택이 비면 이벤트 루프에 의해 콜 스택으로 푸시되어 실행 된다.
• 이때 콜 스택에 푸시된 콜백 함수의 실행 컨텍스트는 콜 스택의 가장 하부에 존재하기 때무엔 에러를 전파할 호출자가 존재 하지 않는다.