# 블록 스코프 (Block Scope)

## 1. 개요
**블록 스코프(Block Scope)**란 프로그래밍 언어에서 중괄호(`{ }`)와 같이 특정 코드 블록 내에서 선언된 변수의 유효 범위가 해당 블록 내부로 제한되는 메커니즘을 의미한다. 변수가 선언된 블록 외부에서는 해당 변수에 접근할 수 없으며, 블록의 실행이 종료되면 해당 변수는 메모리에서 해제되거나 더 이상 참조할 수 없는 상태가 된다.

이는 프로그램 전체에서 접근 가능한 **전역 스코프(Global Scope)**나 함수 내부에서만 유효한 **함수 스코프(Function Scope)**보다 더 세밀한 범위 제어를 가능하게 하여, 변수의 오남용을 막고 메모리 효율성을 높이는 역할을 한다.

## 2. 블록의 정의와 작동 원리
### 2.1 블록의 정의
프로그래밍에서 '블록'은 논리적으로 하나의 단위로 묶인 코드의 집합을 말한다. 대부분의 C-계열 언어(C, C++, Java, JavaScript 등)에서는 중괄호 `{ }`를 사용하여 블록을 구분한다. Python과 같은 언어에서는 들여쓰기(Indentation)를 통해 논리적 블록을 구분하지만, 이는 구문상의 구분일 뿐 변수의 유효 범위를 제한하는 블록 스코프를 생성하지는 않는다.

### 2.2 작동 원리 및 메모리 관리
블록 스코프 내에서 변수가 선언되면, 해당 변수는 해당 블록을 위한 **렉시컬 환경(Lexical Environment)**에 할당된다. 
- **접근 제한**: 컴파일러나 인터프리터는 변수 참조 시 현재 블록에서 해당 식별자를 찾고, 없으면 상위 스코프로 이동한다. 하지만 하위 블록에서 선언된 변수는 상위 블록에서 보이지 않으므로 접근이 불가능하다.
- **메모리 관리**: 블록 실행이 완료되어 제어 흐름이 블록 외부로 나가면, 해당 블록 내에서 생성된 지역 변수들은 더 이상 필요하지 않은 것으로 간주되어 가비지 컬렉션(Garbage Collection)의 대상이 되거나 스택 프레임에서 제거된다.

### 2.3 언어별 블록 구분자 비교
| 언어 | 블록 구분 방식 | 특징 |
| :--- | :--- | :--- |
| C / C++ / Java | 중괄호 `{ }` | 명시적인 중괄호 범위 내에서 스코프 결정 |
| JavaScript (ES6+) | 중괄호 `{ }` | `let`, `const` 키워드 사용 시 블록 스코프 적용 |
| Python | 들여쓰기 (Indentation) | 함수/클래스 단위 스코프는 존재하나, `if`/`for` 문은 블록 스코프를 생성하지 않음 |
| Rust | 중괄호 `{ }` | 매우 엄격한 블록 스코프 및 소유권(Ownership) 개념 적용 |

## 3. 언어별 구현 사례
### 3.1 JavaScript: `var` vs `let`/`const`
JavaScript는 과거에 함수 스코프만 지원하는 `var` 키워드를 사용했으나, 이로 인해 의도치 않은 변수 재선언과 전역 오염 문제가 빈번했다. 이를 해결하기 위해 ES6(2015)부터 블록 스코프를 지원하는 `let`과 `const`가 도입되었다.

```javascript
// var: 함수 스코프 (블록을 무시함)
if (true) {
    var functionScoped = "I am var";
}
console.log(functionScoped); // 출력: "I am var" (블록 밖에서도 접근 가능)

// let: 블록 스코프
if (true) {
    let blockScoped = "I am let";
}
console.log(blockScoped); // ReferenceError: blockScoped is not defined
```

### 3.2 Java 및 C++
Java와 C++는 전통적으로 블록 스코프를 엄격하게 적용한다. `for` 루프의 초기화 식에서 선언된 변수는 루프 외부에서 사용할 수 없다.

```java
for (int i = 0; i < 5; i++) {
    System.out.println(i);
}
// System.out.println(i); // 컴파일 에러: i를 찾을 수 없음
```

### 3.3 Python의 변수 유출 사례
Python은 `if`문이나 `for`문과 같은 제어문 내에서 선언된 변수가 블록 외부에서도 유지되는 특성을 가진다.

```python
if True:
    leak_var = "I leak outside!"

print(leak_var) # 출력: "I leak outside!" (블록 스코프가 없으므로 접근 가능)

for i in range(3):
    pass

print(i) # 출력: 2 (루프 변수 i가 블록 외부로 유출됨)
```

### 3.4 언어별 블록 스코프 지원 여부
| 언어 | 블록 스코프 지원 | 비고 |
| :--- | :---: | :--- |
| C / C++ | O | 기본 동작 방식 |
| Java | O | 기본 동작 방식 |
| JavaScript | O | `let`, `const` 사용 시에만 적용 |
| Python | X | 함수/모듈 단위 스코프만 존재 (if, for 문 내 변수는 외부 유출) |
| Swift | O | 기본 동작 방식 |

## 4. 스코프 체이닝과 섀도잉
### 4.1 스코프 체이닝 (Scope Chaining)
스코프 체이닝이란 변수를 참조할 때 현재 자신이 속한 스코프에서 해당 변수를 찾지 못하면, **상위 스코프로 단계적으로 올라가며 변수를 찾는 과정**을 말한다. 

1. **현재 블록**에서 변수 탐색 $\rightarrow$ 발견 시 사용
2. 발견 실패 시 **상위 블록/함수 스코프**로 이동 $\rightarrow$ 탐색
3. 최종적으로 **전역 스코프(Global Scope)**까지 탐색
4. 전역 스코프에서도 찾지 못할 경우 `ReferenceError` 발생

### 4.2 변수 섀도잉 (Variable Shadowing)
섀도잉은 하위 스코프에서 상위 스코프의 변수와 **동일한 이름의 변수를 선언**하는 것을 말한다. 이 경우 하위 스코프 내에서는 상위 변수가 '가려져(Shadowed)' 보이지 않게 되며, 하위 스코프의 변수가 우선권을 갖는다.

```javascript
const name = "Global"; // 전역 변수

{
    const name = "Local"; // 섀도잉 발생
    console.log(name);    // 출력: "Local"
}

console.log(name);        // 출력: "Global" (상위 스코프 변수는 유지됨)
```

**⚠️ 섀도잉의 위험성 및 주의사항**
- **가독성 저하**: 동일한 이름의 변수가 여러 층의 스코프에 존재할 경우, 현재 참조하는 변수가 정확히 어떤 스코프의 변수인지 파악하기 어려워 코드 분석 시간이 증가한다.
- **의도치 않은 버그**: 상위 스코프의 변수 값을 변경하려 했으나, 실수로 하위 스코프에서 동일한 이름의 변수를 선언(섀도잉)하게 되면 상위 변수는 업데이트되지 않고 하위 변수만 변경되는 논리적 오류가 발생할 수 있다. 따라서 가급적이면 스코프별로 명확히 구분되는 변수명을 사용하는 것이 권장된다.

## 5. 블록 스코프의 주요 특징 및 장점
- **변수 이름 충돌 방지**: 동일한 변수명을 서로 다른 블록에서 독립적으로 사용할 수 있어, 대규모 프로젝트에서 네이밍 충돌 가능성을 낮춘다.
- **캡슐화(Encapsulation)**: 특정 로직에서만 필요한 임시 변수를 블록 내에 가둠으로써, 외부에서 내부 상태를 함부로 변경하는 것을 방지하고 데이터 무결성을 유지한다.
- **메모리 효율성**: 변수의 생명주기가 블록 종료와 함께 끝나므로, 불필요한 메모리 점유를 줄이고 가비지 컬렉터의 부담을 완화할 수 있다.
- **코드 가독성 및 유지보수**: 변수의 유효 범위가 명확하므로, 해당 변수가 어디서 사용되고 어디서 소멸하는지 추적하기 쉬워 코드의 예측 가능성이 높아진다.

## 6. 주의사항 및 흔한 실수
### 6.1 호이스팅과 TDZ (Temporal Dead Zone)
JavaScript의 `let`과 `const`는 호이스팅(선언부가 최상단으로 끌어올려지는 현상)이 발생하지만, 실제 선언문에 도달하기 전까지는 변수에 접근할 수 없는 **TDZ(일시적 사각지대)**가 형성된다. 이는 블록 스코프를 구현하는 `let`과 `const`가 `var`와 달리 선언 전 접근을 엄격히 금지함으로써, 블록 스코프의 설계 의도인 '엄격한 범위 제어'를 유지하기 위한 장치이다. 이 기간에 접근을 시도하면 런타임 에러가 발생한다.

### 6.2 루프 내 블록 스코프와 클로저
과거 `var`를 사용한 루프에서는 반복문 내부의 비동기 콜백 함수가 루프가 종료된 후의 최종 변수 값만을 참조하는 문제가 있었다. 블록 스코프(`let`)를 사용하면 반복 회차마다 새로운 바인딩이 생성되어 이 문제가 해결된다.

```javascript
// var 사용 시 문제점
for (var i = 0; i < 3; i++) {
    setTimeout(() => console.log(i), 100); // 출력: 3, 3, 3
}

// let 사용 시 해결 (블록 스코프 적용)
for (let j = 0; j < 3; j++) {
    setTimeout(() => console.log(j), 100); // 출력: 0, 1, 2
}
```

## 7. 요약 및 비교
스코프의 종류에 따른 특성을 정리하면 다음과 같다.

| 구분 | 전역 스코프 (Global) | 함수 스코프 (Function) | 블록 스코프 (Block) |
| :--- | :--- | :--- | :--- |
| **유효 범위** | 프로그램 전체 | 함수 내부 전체 | 중괄호 `{ }` 내부 |
| **대표적 키워드(JS 기준)** | `var` (전역 선언 시) | `var` | `let`, `const` |
| **생명 주기** | 프로그램 종료 시까지 | 함수 실행 종료 시까지 | 블록 실행 종료 시까지 |
| **접근성** | 어디서든 접근 가능 | 함수 내부 및 하위 스코프에서 접근 | 블록 내부 및 하위 스코프에서 접근 |