コンストラクタとデストラクタとは何ですか？

Question

Accepted Answer

**コンストラクタ**は、オブジェクトが作成されるときに実行される特別なメソッドであり、その状態を有効な初期状態に**初期化**するために使用されます。**デストラクタ**（またはファイナライザー）はオブジェクトが破棄されるときに実行され、リソースを**クリーンアップ**するために使用されます。

## 構築

```java
public class Connection {
    private final String host;
    public Connection(String host) {   // constructor
        if (host == null)              // enforce a valid object from birth
            throw new IllegalArgumentException("host required");
        this.host = host;              // initialize state
    }
}
```

適切なコンストラクタは、オブジェクトが**無効な状態で観察されることがない**ことを保証します。

## クリーンアップは言語によって異なる

```python
class FileWriter:
    def __init__(self, path):
        self.f = open(path, "w")       # acquire resource
    def close(self):
        self.f.close()                 # explicit cleanup
    def __enter__(self): return self
    def __exit__(self, *a): self.close()  # deterministic cleanup

with FileWriter("out.txt") as w:       # closed automatically at block end
    pass
```

| 言語 | クリーンアップメカニズム |
|---|---|
| C++ | デストラクタ `~T()`、決定的に実行される |
| Java/C# | GC + `finalize`/`Dispose`（非決定的；try-with-resources / `using`を使用） |
| Python | `__del__`（タイミングが不確実）；コンテキストマネージャーを推奨 |

## 落とし穴

ガベージコレクション言語では、**ファイナライザーにファイル、ソケット、ロックの解放を決して頼らない**でください。タイミングは未定義です。明示的な `close`/`Dispose`/コンテキストマネージャーを使用してください。

## なぜ重要なのか

コンストラクタは、すべてのオブジェクトが有効な状態で開始することを保証し、必須の引数と不変条件を強制する最も良い場所です。

クリーンアップが重要な理由は、有限なリソース（ファイルハンドル、接続）が解放されないと漏洩し、GCにそれらを頼るとまれで、デバッグが困難な枯渇を引き起こすからです。

言語	クリーンアップメカニズム
C++	デストラクタ `~T()`、決定的に実行される
Java/C#	GC + `finalize`/`Dispose`（非決定的；try-with-resources / `using`を使用）
Python	`__del__`（タイミングが不確実）；コンテキストマネージャーを推奨