Drop Checkerの規則をちゃんと理解する - 簡潔なQ

概要: Drop CheckerはRustのボローチェッカに付属する追加の検査器で、コンパイラが自動で挿入するdrop処理の安全性を保証するためのものである。これの詳細な規則とその正当性を理解したかったので自分なりに整理した。 dropckの概要についてはRustonomiconの説明とか以前の記事とかを参照。 注意: 本記事の内容はコンパイラの実装との対応をとっていないので実際の実装とは異なる可能性がある。 規格 RFC 0769: Sound Generic Drop RFC 1238: Nonparametric Dropck RFC 1327: Dropck Param Eyepatch 用語 Drop::drop(): ユーザー定義のデストラクタ自体 mem::drop_in_place(): 値をデストラクトするために Drop::drop() を再帰的に呼び出す一連の手続き