constructor(생성자)와 destructor(소멸자)란 무엇인가요?

Question

Accepted Answer

**Constructor(생성자)**는 객체가 생성될 때 실행되는 특수 메서드로, 상태를 유효한 시작 조건으로 **초기화**하는 데 사용됩니다. **Destructor(소멸자)**(또는 finalizer)는 객체가 소멸될 때 실행되어 리소스를 **정리**하는 데 사용됩니다.

## 생성

```java
public class Connection {
    private final String host;
    public Connection(String host) {   // constructor
        if (host == null)              // 태어날 때부터 유효한 객체 강제
            throw new IllegalArgumentException("host required");
        this.host = host;              // 상태 초기화
    }
}
```

좋은 constructor는 객체가 **유효하지 않은 상태로 관찰되지 않도록** 보장합니다.

## 정리는 언어마다 다름

```python
class FileWriter:
    def __init__(self, path):
        self.f = open(path, "w")       # 리소스 획득
    def close(self):
        self.f.close()                 # 명시적 정리
    def __enter__(self): return self
    def __exit__(self, *a): self.close()  # 결정론적 정리

with FileWriter("out.txt") as w:       # 블록 끝에서 자동으로 닫힘
    pass
```

| 언어 | 정리 메커니즘 |
|---|---|
| C++ | Destructor `~T()`, 결정론적으로 실행 |
| Java/C# | GC + `finalize`/`Dispose` (비결정론적; try-with-resources / `using` 사용) |
| Python | `__del__` (타이밍 불안정); 컨텍스트 매니저 선호 |

## 함정

가비지 컬렉션 언어에서는 파일, 소켓, 락을 해제하기 위해 **finalizer에 절대 의존하지 마세요** — 타이밍이 정의되지 않습니다. 명시적인 `close`/`Dispose`/컨텍스트 매니저를 사용하세요.

## 왜 중요한가

Constructor는 모든 객체가 유효하게 시작한다는 보장입니다 — 필수 인자와 불변식을 강제하기에 가장 좋은 단일 지점입니다.

정리가 중요한 이유는 유한한 리소스(파일 핸들, 연결)가 해제되지 않으면 누수되기 때문이며, 이를 위해 GC에 의존하면 간헐적이고 디버깅하기 어려운 고갈을 야기합니다.

언어	정리 메커니즘
C++	Destructor `~T()`, 결정론적으로 실행
Java/C#	GC + `finalize`/`Dispose` (비결정론적; try-with-resources / `using` 사용)
Python	`__del__` (타이밍 불안정); 컨텍스트 매니저 선호