자바스크립트는 비동기 처리를 위한 하나의 패턴으로 콜백 함수를 사용. 하지만 전통적 콜백 패턴은 콜백 헬로 인해 가독성이 나쁘고, 비동기 처리 중 발생한 에러 처리가 곤란하며, 여러 개의 비동기 처리를 한 번에 처리하는 데도 한계가 있다.
ES6에서는 비동기 처리를 위한 또 다른 패턴으로 프로미스(promise)를 도입했다. 이는 전통적 콜백 패턴이 가진 단점을 보완하며, 비동기 처리 시점을 명확하게 표현할 수 있다는 장점이 있다.
1. 콜백 헬
GET 요청을 위한 함수를 작성해 보자.
// 🖥️ GET 요청을 위한 비동기 함수
const get = url => {
const xhr = new XMLHttpRequest();
xhr.open('GET', url);
xhr.send();
xhr.onload = () => {
if (xhr.status === 200) {
// 서버의 응답을 콘솔에 출력한다.
console.log(JSON.parse(xhr.response));
} else {
console.error(`${xhr.status} ${xhr.statusText}`)
}
}
};
// id가 1인 post를 취득
get('https://jsonplaceholder.typicode.com/posts/1')
// {
// "userId": 1,
// "id": 1,
// "title": "sunt aut facere ... ",
// "body": "quia et suscipit ... "
// }
위 예제의 get 함수로 하여금 서버의 응답 결과를 콘솔에 출력하는 대신 결과를 반환하게 하려면 어떻게 해야 할까?
get 함수는 비동기 함수다. 비동기 함수란, 함수 내부에 비동기로 동작하는 코드를 포함하는 함수를 말한다. 비동기 함수를 호출하면 함수 내부의 비동기로 동작하는 코드가 완료되지 않았다 해도 기다리지 않고 즉시 종료된다. 즉, 비동기 함수 내부의 비동기로 동작하는 코드는 비동기 함수가 종료된 이후에 완료된다.
따라서 비동기 함수 내부의 비동기로 동작하는 코드에서 처리 결과를 외부로 반환하거나 상위 스코프의 변수에 할당하면 기대한 대로 동작하지 않는다.
예를 들어, setTimeout 함수는 비동기 함수다. setTimeout 함수가 비동기 함수인 이유는 콜백 함수의 호출이 비동기로 동작하기 때문이다. setTimeout 함수를 호출하면, 콜백 함수를 호출 스케줄링한 다음, 타이머 id를 반환하고 즉시 종료된다.
즉, 비동기 함수인 setTimeout 함수의 콜백 함수는 setTimeout 함수가 종료된 이후에 호출된다. 따라서 setTimeout 함수 내부의 콜백 함수에서처리 결과를 외부로 반환하거나 상위 스코프의 변수에 할당하면 기대한 대로 동작하지 않는다.
setTimeout 함수는 생성된 타이머를 식별할 수 있는 고유한 타이머 id를 반환하므로, 콜백 함수에서 값을 반환하는 것은 무의미하다.
🖥️ let g = 0;
setTimeout(() => { g = 100; }, 0);
console.log(g); // 0
GET 요청을 전송하고 서버의 응답을 전달받는 get 함수도 비동기 함수다. get 함수가 비동기 함수인 이유는 get 함수 내부의 onload 이벤트 핸들러가 비동기로 동작하기 때문이다. get 함수를 호출하면 GET 요청을 전송하고 onload 이벤트 핸들러를 등록한 다음, undefined를 반환하고 즉시 종료된다. 즉, 비동기 함수인 get 함수 내부의 onload 이벤트 핸들러는 get 함수가 종료된 이후에 실행된다. 따라서, get 함수의 onload 이벤트 핸들러에서 서버의 응답 결과를 반환하거나 상위 스코프의 변수에 할당하면 기대한 대로 동작하지 않는다.
// 🖥️ GET 요청을 위한 비동기 함수
const get = (url) => {
const xhr = new XMLHttpRequest();
xhr.open("GET", url);
xhr.send();
xhr.onload = () => {
if (xhr.status === 200) {
// (1) 서버의 응답을 반환한다.
return JSON.parse(xhr.reponse);
} else {
console.error(`${xhr.status} ${xhr.statusText}`);
}
};
};
// (2) id가 1인 post를 취득
const reponse = get('https://jsonplaceholder.typicode.com/posts/1');
console.log(response) // undefined
get 함수가 호출되면 XMLHttpRequest 객체를 생성하고, HTTP 요청을 초기화한 후, HTTP 요청을 전송한다. 그리고 xhr.onload 이벤트 핸들러 프로퍼티에 이벤트 핸들러를 바인딩하고 종료한다. 이때 get 함수에 명시적인 반환문이 없으므로 get 함수는 undefined를 반환한다(2)
xhr.onload 이벤트 핸들러 프로퍼티에 바인딩한 이벤트 핸들러의 반환문(1)은 get 함수의 반환문이 아니다. get 함수는 반환문이 생략되었으므로 암묵적으로 undefined를 반환한다. 함수의 반환값은 명시적으로 호출한 다음에 캐치할 수 있으므로 onload 이벤ㄴ트 핸들러를 get 함수가 호출할 수 있다면 이벤트 핸들러의 반환값을 get 함수가 캐치하여 다시 반환할 수도 있겠지만, onload 이벤트 핸들러는 get 함수가 호출하지 않기 때문에 그럴 수도 없다. 따라서 onload 이벤트 핸들러의 반환값은 캐치할 수 없다.
🖥️
<!DOCTYPE html>
<html>
<body>
<input type="text">
<script>
document.querySelector('input').oninput = function () {
console.log(this.value);
// 이벤트 핸들러에서의 반환은 의미가 없다.
return this.value
}
</script>
</input>
</body>
</html>
그렇다면 (1)에서 서버의 응답을 상위 스코프의 변수에 할당하면 어떨까?
🖥️ let todos;
// GET 요청을 위한 비동기 함수
const get = url => {
const xhr = new XMLHttpRequest();
xhr.open("GET", url);
xhr.send();
xhr.onload = () => {
if (xhr.status === 200) {
// (1) 서버의 응답을 상위 스코프의 변수에 할당한다.
todos = JSON.parse(xhr.response);
} else {
console.error(`${xhr.status} ${xhr.statusText}`);
}
};
};
// id가 1인 post를 취득
const reponse = get('https://jsonplaceholder.typicode.com/posts/1');
console.log(todos) // (2) undefined
이 또한 기대한 대로 동작하지 않는다. xhr.onload 이벤트 핸들러 프로퍼티에 바인딩한 이벤트 핸들러는 언제나 (2)의 console.log가 종료한 이후에 호출된다. 따라서 (2)의 시점에는 아직 전역 변수 todos에 서버의 응답 결과가 할당되기 이전이다. 다시 말해, xhr.onload 이벤트 핸들러에서 서버의 응답을 상위 스코프의 변수에 할당(1)하면 처리 순서가 보자오되지 않는다.
그 이유는 다음과 같다.
비동기 함수 get이 호출되면
2. 에러 처리의 한계
( 출처 : 모던 자바스크립트 Deep Dive, 이웅모, 위키북스 )