言語: with / defer によるリソース管理

[ryuichi1208]

目的

ファイル・ソケットなど Drop が必要なリソースに対し、明示的に「スコープ終了時の後処理」を書ける構文を導入する。

背景

• 現在 tcp_close(fd) などは手動呼び出しで、忘れると fd リーク
• stdlib のファイル I/O (stdlib: ファイル I/O (open / read / write / close) #33) を入れる前にリソース管理パターンを決めないと、ライブラリ API シグネチャが定まらない

設計選択肢

方式	例	特徴
Python with	with open("a") as f:	コンテキストマネージャ プロトコル
Go defer	defer close(f)	関数末尾で逆順実行、明示的
Rust Drop	let f = ...; // 自動	暗黙、所有権が前提
Zig defer	defer f.close()	Go 風だがスコープ末で実行

提案 (drafting)

第一歩としては defer 文（Go/Zig 風） が rw の現状（所有権なし・GC 議論未決）に最も馴染む。

def read_file(path: str) -> Bytes:
    f: File = file_open(path)
    defer file_close(f)
    return file_read_all(f)

将来 #15 / #67 (メモリ管理 RFC) で所有権が入ったら Drop 自動化に移行可能。

受け入れ条件

• defer expr 構文を parser/sema/irgen で実装
• 複数 defer は LIFO で実行
• return / 例外パス (言語: try / except / raise によるエラー処理 #14) でも実行される
• examples / tests を追加

関連

• 前提: stdlib: ファイル I/O (open / read / write / close) #33 (ファイル I/O) のブロッカー
• 影響: 言語: try / except / raise によるエラー処理 #14 try/except の例外伝搬と組み合わせる必要