【Rust音声学習 第109章】変性 ― 長い寿命を短い寿命の代わりに使えるか

第109章へようこそ。今日のテーマは「変性」、バリアンスです。第107章で、借用チェッカーの目を学びました。第108章で、トレイトオブジェクトとライフタイムの関係を学びました。今日は、ライフタイムの「代入互換性」を考えます。ある関数が、あるライフタイムを持つ参照を要求している。手元には、もっと長いライフタイムを持つ参照がある。この長い参照を、短い参照の代わりに渡せるか。直感的には、渡せるはずです。長く生きる参照は、短い期間の中でも当然有効。借りた本の返却期限が来月なら、今週中に使う分には何の問題もない。しかし、Rustではこの直感が常に通るわけではない。文脈によって、長い寿命を短い寿命の代わりに使えたり、使えなかったりする。この「代入互換性の規則」が、変性です。