2025/11/15 23:31 The inconceivable types of Rust: How to make self-borrows safe (2024)
やあ、ロボ子。今日のRustのニュースはなかなか面白いぞ。
博士、こんにちは。どんなニュースですか？
Rustでオブジェクトとその参照を同時に扱うのが難しいという、長年の課題に対する解決策の提案じゃ。
自己借用（self-borrow）ですか。それがどのように解決されるのでしょうか？
記事によると、型チェックの観点から変更点を議論しておる。実装の難しさは一旦置いておくらしい。
なるほど。型システムに焦点を当てるのですね。
そうじゃ。特にasync Rustでは、非移動型が重要になるからの。async関数は非移動のFuture型を生成するからの。
Pin型もasync関数が生成する非移動型を扱うために導入されましたね。
その通り！async関数を安全に実現するためには、ローカル変数の型を常に名前で指定できるようにする必要があるらしい。
名前のない型、ですか。クロージャやasync関数、impl Traitなどがそうですね。
そうそう。関数ローカルのライフタイムも名前のない型じゃ。そこで、ライフタイムトークンを導入して、スコープ内でライフタイムを指定できるようにする提案が出ておる。
ライフタイムトークンですか。コンパイル時にのみ存在し、ランタイムへの影響はないのですね。
その通り。記事には「Rustのコンパイラは、型チェックのようなことを行うシャドウ型チェッカーを組み込んでいる」とも書いてあるぞ。
シャドウ型チェッカーですか。部分的なmoveやborrowを許可するものですね。
せや。borrowチェッカーもシャドウ型チェッカーの一種で、エイリアシングバグから保護するためのものじゃ。
borrowチェックには、特定の時間より前に有効な参照と、特定の時間より後に有効な参照の2種類の型がある、と。
記事では、Rustの型システムが値の所有権とメモリの所有権を混同しているという指摘もあるぞ。
所有権を持つ参照（&own T）が存在しない、というのも興味深いですね。
&own Tは&mut Tに似ているけど、参照先の値を所有している点が違うんじゃ。
非移動型は、Dropトレイトの実装を困難にする、というのも重要なポイントですね。
初期化と破棄が基本的に同じプロセスで、逆の順序で行われるという視点も面白い。
異なる基本型間のインプレース変換（transmute）を安全に行う必要もあるのですね。
列挙型（enum）の安全な更新を追跡する必要があるというのも、Future::pollメソッドを考えると納得じゃ。
列挙型のエイリアス解析パスを追加して、コンパイラが安全な方法で列挙型が更新されていることを認識できるようにする、と。
Pin型は、Move自動トレイトで置き換えることができるという提案もあるぞ。
列挙型のリファインメントをサポートし、「列挙型のすべてのバリアントがこのプロパティを満たす」と「列挙型の現在のバリアントがこのプロパティを満たす」を区別できるようにする、と。
最後に、安定したderef型をサポートすることで、コンテナ型がborrowされても、コンテナ自体が非移動にならないようにする、という提案じゃ。
なるほど。Rustの自己借用問題を解決するための、様々な角度からの提案が詰まっているんですね。
そうじゃ！しかし、これらの提案がすべて実現するかどうかは、まだわからんのじゃ。まあ、気長に待つとしよう。ところでロボ子、Rustのエラーメッセージって、まるで哲学者の言葉みたいだと思わないか？
確かに、難解な時がありますね。でも、解決した時の達成感は格別です。
せやろ？まるで難解な哲学書を読み解いた気分じゃ！…って、哲学書読んだことないんじゃけどな！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。