# 사후 검사 루프 (Post-test Loop)

## 개요

**사후 검사 루프(Post-test Loop)**는 프로그래밍에서 반복문(Loop)의 한 종류로, 루프의 본문(body)이 실행된 **후**에 조건식(condition)을 평가하여 루프를 계속할지 종료할지를 결정하는 제어 흐름 구조를 의미합니다.

일반적으로 가장 널리 알려진 `for` 루프나 `while` 루프는 조건을 먼저 검사하는 **사전 검사 루프(Pre-test Loop)**에 해당합니다. 반면, 사후 검사 루프는 최소한 한 번은 루프 본문을 실행해야 하는 상황에 유용하게 사용됩니다. 대표적인 예로 사용자 입력을 받을 때, 최소 한 번은 프롬프트를 띄워야 하는 경우나, 데이터베이스에서 결과를 가져와야 하는 경우 등이 있습니다.

## 주요 특징

사후 검사 루프는 다음과 같은 핵심적인 특징을 가지고 있습니다.

1. **최소 한 번의 실행 보장**: 조건식이 루프의 끝에서 평가되므로, 조건이 거짓(false)이더라도 루프 본문은 반드시 한 번 이상 실행됩니다.
2. **조건 평가 시점**: 루프의 마지막 단계에서 조건이 확인되므로, 루프가 종료되는 시점이 사전 검사 루프와 다릅니다.
3. **가독성**: "무엇인가를 수행하고, 그 결과가 만족스러운지 확인한다"는 논리적 흐름을 자연스럽게 표현할 수 있습니다.

## 주요 구현 예시

대부분의 현대 프로그래밍 언어는 사후 검사 루프를 위해 `do-while` 또는 `repeat-until` 구조를 제공합니다.

### 1. C/C++, Java, JavaScript (do-while 루프)

C 계열 언어와 Java, JavaScript에서는 `do-while` 구문을 사용합니다.

```javascript
do {
    // 루프 본문: 최소 한 번은 실행됨
    console.log("루프가 실행되었습니다.");
    
    // 조건 검사
} while (조건식);
```

**동작 원리:**
1. 루프 본문 실행
2. `while` 괄호 안의 조건식 평가
3. 조건이 참(true)이면 1번으로 돌아가 반복, 거짓(false)이면 루프 종료

### 2. Pascal, Lua (repeat-until 루프)

Pascal 계열 언어나 Lua에서는 `repeat-until` 구문을 사용합니다. 이는 조건이 **참**이 될 때까지 반복한다는 점에서 `do-while`과 논리가 반대입니다.

```lua
repeat
    -- 루프 본문
    print("루프가 실행되었습니다.")
until 조건식 -- 조건이 참이 되면 루프 종료
```

**동작 원리:**
1. 루프 본문 실행
2. `until` 뒤의 조건식 평가
3. 조건이 거짓(false)이면 1번으로 돌아가 반복, 참(true)이면 루프 종료

## 사전 검사 루프와의 비교

| 특징 | 사후 검사 루프 (Post-test) | 사전 검사 루프 (Pre-test) |
| :--- | :--- | :--- |
| **조건 평가 시점** | 루프 본문 실행 **후** | 루프 본문 실행 **전** |
| **최소 실행 횟수** | 최소 1회 | 0회 (조건이 처음부터 거짓일 수 있음) |
| **주요 구문** | `do-while`, `repeat-until` | `while`, `for` |
| **사용 시나리오** | 입력 검증, 메뉴 선택, 초기화 필요 시 | 횟수 기반 반복, 조건부 반복 |

## 사용 시나리오 및 예제

사후 검사 루프는 주로 **사용자의 입력을 검증**하거나 **최소한의 데이터 처리가 필수적인 경우**에 사용됩니다.

### 예제: 유효한 입력 받을 때까지 반복하기

사용자가 양수(0보다 큰 수)를 입력할 때까지 계속 묻는 프로그램입니다.

```javascript
let number;

do {
    // 1. 사용자에게 입력 받기 (최소 한 번은 실행됨)
    number = prompt("0보다 큰 정수를 입력하세요:");
    
    // 2. 입력이 유효하지 않을 경우 경고
    if (number <= 0) {
        alert("잘못된 입력입니다. 다시 시도해주세요.");
    }
    
} while (number <= 0); // 3. 조건이 참(음수 또는 0)이면 다시 반복

alert("유효한 입력: " + number);
```

이 경우, `while` 루프를 사용했다면 조건을 먼저 확인해야 하므로 별도의 초기화 과정이 필요하거나 코드가 복잡해질 수 있습니다. `do-while`을 사용하면 "입력받기 -> 검증 -> 재요청"의 흐름을 자연스럽게 구현할 수 있습니다.

## 주의사항

1. **무한 루프 위험**: 조건식이 항상 참이 되거나, 루프 본문 내에서 조건을 변경하는 변수가 업데이트되지 않으면 무한 루프에 빠질 수 있습니다.
2. **성능 고려**: 조건 검사 비용이 높은 경우, 사전 검사 루프를 사용하여 불필요한 실행을 방지하는 것이 더 효율적일 수 있습니다.
3. **가독성**: 모든 개발자가 `do-while`의 동작 방식을 정확히 이해하고 있지 않을 수 있으므로, 복잡한 로직에서는 명확한 주석을 추가하는 것이 좋습니다.

## 제어 구조 이론적 배경

사후 검사 루프는 컴퓨터 과학의 제어 구조 이론에서 **'최소 1회 실행 보장'**이라는 논리적 불변성(Invariant)을 제공합니다. 이는 프로그램의 상태가 루프 진입 전이 아니라, 루프 본문의 첫 번째 실행 결과에 의해 결정되어야 하는 상황에서 필수적입니다. 논리적으로는 "실행 후 검증(Execute-then-Verify)" 패턴을 따르며, 이는 시스템의 초기 상태와 관계없이 반드시 한 번의 샘플링이나 시도가 필요한 인터랙티브 시스템 및 하드웨어 제어 로직의 기초가 됩니다.

## 코드 중복과 효율성 비교

사후 검사 루프는 사전 검사 루프로 변환할 때 발생하는 **코드 중복(Code Duplication)** 문제를 해결하는 데 효율적입니다.

### 사전 검사 루프의 중복 예시 (while)
사전 검사 루프에서는 루프 진입 전 조건을 만족시키기 위해 본문의 일부 코드를 미리 실행해야 하는 경우가 많습니다.
```javascript
// 사전 검사 루프: 입력 받는 코드가 중복됨
let input = prompt("입력하세요:"); // [중복 1] 루프 진입 전 초기화
while (input === "") {
    input = prompt("입력하세요:"); // [중복 2] 루프 내부에서 갱신
}
```

### 사후 검사 루프의 효율적 구조 (do-while)
반면 사후 검사 루프는 입력 로직을 한 번만 작성하여 코드의 유지보수성을 높입니다.
```javascript
// 사후 검사 루프: 로직이 단 한 번만 정의됨
let input;
do {
    input = prompt("입력하세요:"); // 단 한 번의 정의로 해결
} while (input === "");
```

## 사전 검사 루프로의 변환 방법

`do-while` 구문이 없는 환경에서 사후 검사 루프를 구현하려면 다음과 같은 전략을 사용합니다.

1. **플래그 변수 사용**: 루프 제어용 불리언 변수를 `true`로 초기화하여 첫 진입을 강제합니다.
2. **본문 중복 작성**: 위 예시처럼 루프 진입 전 초기화 코드를 한 번 더 작성합니다.
3. **무한 루프와 조건부 탈출**: `while(true)` 구조 내에서 `break`를 사용하여 루프 끝에서 조건을 검사합니다.

이러한 변환 과정에서 플래그 변수를 도입하면 변수 관리 비용이 증가하고, 본문을 중복 작성하면 코드 수정 시 두 곳을 모두 고쳐야 하는 복잡도가 발생합니다.

## 언어별 지원 현황 및 구현 추세

Python과 같이 `do-while` 문법을 명시적으로 제공하지 않는 언어에서는 `while True`와 `break` 조합을 통해 사후 검사 루프의 논리를 구현하는 것이 표준적인 관례입니다.

### Python 예제: `while True`와 `break` 조합
```python
while True:
    # 1. 루프 본문 실행 (최소 1회 보장)
    user_input = input("종료하려면 'q'를 입력하세요: ")
    
    # 2. 루프 끝에서 조건 검사 (사후 검사)
    if user_input == 'q':
        break  # 조건 만족 시 루프 탈출
```
이 방식은 `do-while`과 동일하게 본문을 먼저 실행한 뒤 하단에서 탈출 조건을 검사하므로, 논리적으로 사후 검사 루프와 완전히 일치합니다.

## 예외 발생 시 제어 흐름

사후 검사 루프 내에서 예외(Exception)가 발생하면, 제어 흐름은 즉시 루프를 이탈하여 예외 처리기(catch/except 블록)로 이동합니다. 이때 **루프 하단의 조건 검사 단계는 완전히 생략**됩니다.

**제어 흐름 다이어그램:**
```mermaid
graph TD
    A[루프 진입] --> B[루프 본문 실행]
    B --> C{예외 발생?}
    C -- Yes --> D[예외 처리기로 즉시 점프]
    C -- No --> E[조건식 평가]
    E -- True --> B
    E -- False --> F[루프 정상 종료]
    D --> G[루프 종료/프로그램 중단]
```
따라서 루프 본문 내에서 예외가 발생할 가능성이 있는 경우, 조건 검사 단계에 도달하지 못해 루프가 의도치 않게 종료될 수 있음을 주의해야 합니다.

## 관련 문서

- [반복문 (Iteration)](https://ko.wikipedia.org/wiki/%EB%B0%98%EB%B3%B5%EB%AC%B8)
- [제어 흐름 (Control Flow)](https://ko.wikipedia.org/wiki/%EC%A0%9C%EC%96%B4_%ED%94%84%EB%A1%9C)
- [사전 검사 루프 (Pre-test Loop)]
- [do-while 문](https://ko.wikipedia.org/wiki/Do-while_%EB%AC%B8)

## 참고 자료

- *C++ How to Program*, Deitel & Deitel
- *Java Programming*, Liang
- MDN Web Docs: [do...while statement](https://developer.mozilla.org/ko/docs/Web/JavaScript/Reference/Statements/do...while)