호이스팅 (Hoisting)

호이스팅이란, 변수와 함수 선언이 코드 실행 전에 먼저 메모리에 올라가는 동작을 의미한다.
즉, 변수(var, let, const)나 함수 선언이 해당 범위의 최상단으로 끌어올려진 것처럼 동작한다.

자바스크립트 코드는 위에서 아래로 순차적으로 실행되기 때문에, 일반적으로는 함수를 먼저 선언한 뒤 호출하거나, 변수를 먼저 선언한 뒤 참조하는 것이 바람직하다. 하지만 자바스크립트의 호이스팅 특징 덕분에, 선언보다 앞선 코드에서 함수나 변수를 참조해도 에러가 발생하지 않는 경우가 있다.

less

호이스팅 (Hoisting)
├── 함수 호이스팅 (Function Hoisting)
│   ├── 함수 선언문 (Function Declaration)
│   └── 함수 표현식 (Function Expression)
└── 변수 호이스팅 (Variable Hoisting)
    ├── var
    ├── let
    └── const

호이스팅 동작 구조 정리

less

호이스팅 (Hoisting)
├── 함수 호이스팅 (Function Hoisting)
│   ├── 함수 선언문 (Function Declaration)
│   │   ├── 선언 호이스팅: O
│   │   ├── 실행 시 오류: 없음
│   │   └── 특징: 선언부 전체가 끌어올려짐
│   └── 함수 표현식 (Function Expression)
│       ├── 선언 호이스팅: 변수만 O
│       ├── 실행 시 오류: TypeError
│       └── 특징: 함수 내용은 호이스팅되지 않음
└── 변수 호이스팅 (Variable Hoisting)
    ├── var
    │   ├── 선언 호이스팅: O
    │   ├── 초기화 전 접근 시: undefined
    │   ├── TDZ(일시적 사각지대): 없음
    │   ├── 재할당: 가능
    │   └── 선언 시 초기화: 선택 사항
    ├── let
    │   ├── 선언 호이스팅: O
    │   ├── 초기화 전 접근 시: ReferenceError
    │   ├── TDZ(일시적 사각지대): 존재
    │   ├── 재할당: 가능
    │   └── 선언 시 초기화: 선택 사항
    └── const
        ├── 선언 호이스팅: O
        ├── 초기화 전 접근 시: ReferenceError
        ├── TDZ(일시적 사각지대): 존재
        ├── 재할당: 불가능
        └── 선언 시 초기화: 반드시 필요

호이스팅이 코드 실행 전에 일어난다는데, 그 코드 실행이 정확히 뭘까? 실행 컨텍스트의 시점과 호이스팅의 관계까지 한번에 정리해보자!

`코드 실행 흐름`

코드 실행은 단순히 함수 호출만을 의미하는 것이 아니다. 전체 자바스크립트 실행 흐름 속에서 실행 컨텍스트가 생성되고, 그 안에서 실제 코드가 순차적으로 실행되는 단계 전체를 의미한다.

자바스크립트는 실행 전에 두 단계를 거친다:

`1. 코드 실행 전 단계`

전역 컨텍스트가 생성되고, 이 과정에서 호이스팅이 발생한다.
변수와 함수 선언이 메모리에 등록된다.
- var: 선언만 올라가고 값은 undefined로 초기화된다.
- let, const: 선언만 올라가고 TDZ(일시적 사각지대)에 머무른다.
- function 선언문: 함수 전체(정의 포함)가 메모리에 올라간다.
이 시점에는 아직 코드 실행은 시작되지 않는다.

`2. 코드 실행 단계`

실제 코드가 위에서 아래로 한 줄씩 실행된다.
변수에 값이 할당되고, 함수가 호출되며 연산이 수행된다.
이때 함수가 호출되면, 자바스크립트 엔진은 해당 함수를 위한 실행 컨텍스트를 생성하고, 그 안에서 함수 코드가 실행된다.

`실행 컨텍스트(Execution Context)`란?

실행 컨텍스트는 자바스크립트 엔진이 코드를 해석하고 실행하기 위해 내부적으로 생성하는 환경(객체)이다. 스코프, 변수, 함수, this 등 실행에 필요한 정보들을 담고 있으며, 전역 컨텍스트/함수 컨텍스트 등으로 나뉘어 Call Stack(호출 스택) 구조로 관리된다.

function greet() {
  var message = "Hi";
  console.log(message);
}

greet();

위 코드가 실행되는 흐름은 다음과 같다:

greet()함수가 호출되면, JS 엔진은 greet 함수 실행 컨텍스트를 생성한다.
실행 컨텍스트의 준비 단게에서 var message 변수 선언이 메모리에 등록된다. (초기값: undefined)
코드 실행 단계에서 Hi가 할당되고, console.log()가 실행된다.

(1) 함수 호이스팅 (Function Hoisting)

함수 호이스팅이란, 함수 선언문으로 정의된 함수가 자바스크립트 엔진에 의해 호출문보다 앞선 위치에 선언된 것처럼 처리되는 현상을 말한다. 즉, 코드 실행 전에 함수 선언이 메모리에 먼저 등록되기 때문에, 선언보다 먼저 함수를 호출해도 정상적으로 실행된다. 반면, 함수 표현식은 변수 선언만 호이스팅되고 함수의 정의는 그대로 남아 있기 때문에, 선언 전에 호출하면 에러가 발생하게 된다.

함수 선언문 (Function Declaration)

함수 선언문이란, function 함수이름() { ... } 형태로 이름이 있는 함수를 직접 정의하는 방식이다. 자바스크립트에서 함수 선언문은 전체가 호이스팅되므로, 정의보다 먼저 호출해도 정상적으로 실행된다.

function 함수이름(매개변수) {
  // 실행 코드
}

함수 선언문 예시

print(); // hello world

function print() {
  console.log("hello world");
}

함수 선언은 호이스팅되기 때문에, 함수가 코드 내 어디에 정의되어 있든 선언 전에 호출할 수 있다.
자바스크립트 엔진은 실행 전에 함수 선언 전체(이름+정의)를 메모리에 먼저 등록하기 때문에, print()를 호출하는 시점에는 이미 함수가 정의된 상태이며, 결과적으로 "hello world"가 정상 출력된다.

함수 표현식 (Function Expression)

함수 표현식이란, 함수를 변수에 할당하는 방식으로 정의하는 방법이다. 이 방식은 함수 선언과 달리, 호이스팅 시 변수 선언만 끌어올려지고 함수 내용은 끌어올려지지 않는다.

const 변수 = function (매개변수) {
  // 실행 코드
};

// '변수'는 익명 함수를 담고 있는 변수이다.
// 따라서, 변수()를 통해 함수를 간접 호출할 수 있다.

함수 표현식 예시

print(); // TypeError: print is not a function

var print = function () {
  console.log("hello world");
};

// 내부적으로 동작하는 방식
var print; // 변수 선언만 위로 끌어올림
print(); // 여기서 print는 undefined 상태
print = function () {
  console.log("hello world");
};

자바스크립트에서 var로 선언된 변수는 호이스팅은 되지만, 값이 할당되기 전까지는 undefined 상태이다. 따라서 print()를 호출하는 시점에는 print가 함수가 아니라 undefined이므로, 에러가 발생한다.
var print;,에서 알 수 있듯, print라는 변수 선언만 먼저 끌어올려지고, function () {...}이라는 함수 대입은 원래 자리에 남아 있기 때문에, 호출 시점에는 print === undefined인 상태로, 정의되지 않은 함수를 호출하게 된다.
함수 표현식을 사용할 때는 항상 선언 이후에 호출하는 것이 안전하며, let이나 const를 사용하면 TDZ(일시적 사각지대)에 의해 잘못된 접근을 막을 수 있어 코드의 안정성을 높일 수 있다.
왜 TDZ(일시적 사각지대)가 코드의 안정성을 높일까 ?
일시적 사각지대란, 변수가 선언되었지만 초기화되기 전까지 접근이 허용되지 않는 구간을 의미한다. 잘못된 변수 접근을 사전에 "에러로 알려주는" 보호 장치 역할을 한다.
js
```
console.log(value); // undefined → 조용히 잘못된 값 사용
var value = 10;
```
- var는 선언이 끌어올려지고 초기화까지 되어버리기 때문에, 위 같은 코드도 에러 없이 실행된다. 이는 잠재적인 버그를 조용히 통과시키는 문제이다!
js
```
console.log(value); // ReferenceError
let value = 10;
```
- 반면, let이나 const는 TDZ에 머무르다가 초기화되기 전까지는 접근 자체가 불가능하다. 즉, 잘못된 순서의 코드 작성을 명확히 알려줘서 버그를 조기에 발견할 수 있게 해주는 것이다.
✅ 정리하면
- TDZ는 변수 선언 전에 그 변수를 사용하려 할 때 에러를 발생시킴으로써, 코드의 논리 오류를 방지해주는 장치이다.
- let이나 const는 TDZ 덕분에 개발자에게 안전장치를 제공하므로, 코드의 예측 가능성과 안정성을 높여준다.

(2) 변수 호이스팅 (Variable Hoisting)

변수 호이스팅이란, 자바스크립트 엔진이 코드 실행 전에 변수 선언을 해당 스코프의 최상단으로 끌어올리는 동작을 말한다. 변수 선언이 코드의 어디에 위치하든, 실행 시점에는 해당 변수가 이미 메모리에 존재하는 상태가 된다. 이때 선언문만 호이스팅되고, 값을 할당하는 구문(할당문)은 원래 위치에 그대로 남아 실행 시점에 처리된다.

Var

console.log(num); // undefined

var num = 10;

// 내부적으로 동작하는 방식
var num;
console.log(num); // undefined

num = 10; // 변수 초기화(값 할당)

var로 선언된 변수는 선언만 호이스팅되고, 값의 할당은 원래 위치에 남아 실행 시점에 처리된다.
따라서, 값의 할당은 호이스팅되지 않기 때문에 해당 변수는 초기값으로 undefined가 설정된다.
이는 자바스크립트가 변수 선언문만 메모리에 먼저 등록하고, 값을 할당하는 구문은 나중에 실행되기 때문이다.

Let

console.log(num1); // ReferenceError: Cannot access 'num1' before initialization

let num1 = 10;

let으로 선언된 변수는 호이스팅되지만, 변수의 초기화가 완료되기 전까지는 TDZ에 머무른다. 이 시점에는 변수에 접근할 수 없기 때문에, 선언 전에 접근하면 ReferenceError가 발생한다.
변수는 메모리에 등록되어 있지만, 초기화되지 않았기 때문에 사용할 수 없는 상태이다.
이는 var가 변수 선언 시 메모리에 공간을 할당하는 것과 달리, let과 const는 초기화 시점까지 메모리 공간이 확보되지 않기 때문이다.
일시적 사각지대 (TDZ, Temporal Dead Zone)란?
일시적 사각지대란, 변수가 선언되었지만 초기화되기 전까지 접근이 허용되지 않는 구간을 의미한다. 즉, let과 const는 호이스팅 되지만 TDZ 때문에 마치 호이스팅이 안되는 것처럼 보인다.

Const

// 선언만 하면 오류 발생
const num2; // SyntaxError: Missing initializer in const declaration

// 선언 전에 접근하면 오류 발생
console.log(num2); // ReferenceError: Cannot access 'num2' before initialization
const num2 = 15;

const도 let과 마찬가지로 TDZ에 머무르며, 초기화 전까지는 접근할 수 없다.
const는 선언과 동시에 반드시 초기화해야 하며, 그렇지 않으면 SyntaxError가 발생한다.
선언 전에 접근하면 ReferenceError가 발생한다.
또한, const는 재할당이 불가능하며, 중복 선언도 허용되지 않는다.
const는 왜 선언과 동시에 초기화해야 하고, 재할당이나 중복 선언이 불가능할까?
const는 "변경할 수 없는 상수(constant)"를 선언하기 위한 키워드이다. 따라서 초기값 없이 선언하는 것은 허용되지 않으며, 이미 한 번 값을 가진 상수는 재할당 또는 중복 선언이 불가능하다.

정리 💡

호이스팅은 자바스크립트의 기본 동작 방식이지만, 호이스팅이 많이 발생하는 코드 구조는 가독성을 해치고, 예기치 못한 오류를 유발할 수 있다. 코드를 직관적으로 이해하기 어려워지고, 디버깅이나 유지보수에도 불편함이 생기게 된다.

따라서, 변수는 "var" 대신 "let"과 "const"를 사용해 선언 시점을 명확히 하고, 함수는 호출 이전에 미리 선언하여 예측 가능한 흐름으로 코드를 작성하는 것이 바람직하다.

호이스팅 (Hoisting) ​

호이스팅 동작 구조 정리 ​

코드 실행 흐름 ​

1. 코드 실행 전 단계 ​

2. 코드 실행 단계 ​

실행 컨텍스트(Execution Context)란? ​

(1) 함수 호이스팅 (Function Hoisting) ​

함수 선언문 (Function Declaration) ​

함수 선언문 예시 ​

함수 표현식 (Function Expression) ​

함수 표현식 예시 ​

(2) 변수 호이스팅 (Variable Hoisting) ​

Var ​

Let ​

Const ​