[JS] 모던 자바스크립트 Deep Dive - 47. 에러처리

에러 처리의 필요성

• 에러는 언제나 발생할 수 있고 발생한 에러에 대해 대처하지 않고 방치하면 프로그램은 강제 종료된다.

console.log('[Start]');

try { 
	foo();
} catch (error) { 
	console.error('[에러 발생]', error); 
	// [에러 발생] ReferenceError: foo is not defined 
}

// 발생한 에러에 적절한 대응을 하면 프로그랭이 강제 종료되지 않는다.
console.log('[End]');

• 직접적으로 에러를 발생시키지 않는 예외적인 상황이 발생할 수도 있다.
• 따라서 코드를 작성할 때에는 언제나 에러나 예외적인 상황이 발생할 수 있다는 것을 전제하고 이에 대응하는 코드를 작성하는 것이 중요하다. 

try...catch...finally 문

✅에러 처리 (error handling)

에러 처리 코드를 미리 등록해주도 에러가 발생하면 에러 처리 코드로 점프하도록 하는 방법

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

• finally문은 불필요하다면 생략 가능하다.
• catch문도 생략 가능하지만 catch문이 없는 try문은 의미가 없으므로 생략하지 않는다.
• 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	encodeURI 또는 decodeURI 함수에 부적절한 인수를 전달했을 때 발생하는 에러 객체
EvalError	eval 함수에서 발생하는 에러 객체

throw 문

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

throw 표현식;

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

try { 
	// 에러 객체를 던지면 catch 코드 블록이 실행되기 시작한다． 
	throw new Error('something wrong'); 
} catch (error) { 
	console.log(error); 
}

에러의 전파

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

• throw된 에러를 캐치하여 적절히 대응하면 프로그램을 강제 종료시키지 않고 코드의 실행 흐름을 복구할 수 있다.
• throw된 에러를 어디에서도 캐치하지 않으면 프로그램은 강제 종료된다. 
• 비동기 함수인 setTimeout이나 프로미스 후속 처리 메서드의 콜백 함수는 호출자가 없다.
  • setTimeout이나 프로미스 후속 처리 메서드의 콜백 함수는 태스크 큐나 마이크로 태스크 큐에 일시 저장되었다가 콜 스택이 비면 이벤트 루프에 의해 콜 스택으로 푸시되어 실행된다.
  • 이때 콜 스택에 푸시된 콜백 함수의 실행 컨텐스트는 콜 스택의 가장 하부에 존재하기 때문에 에러를 전파할 호출자가 존재하지 않는다.