locate_graphic_protocolのライフタイムをOS本の説明にあわせた

[y-yu]

概要

• ［作って学ぶ］OSのしくみⅠの64ページで、locate_graphic_protocolのライフタイムについて下記のように解説されている

  • 実際にはこの関数のシグネチャ（型定義）より、このポインタのライフタイムは、引数として渡しているEfiSystemTable の参照が持つライフタイムと同じになるとコンパイラによって推論されます¹。

  • 
• 注34にある仕様書ではないが、The Rust Programming Languageの説明をまとめるとこの 👇 ようになると考えられる
  1. 引数にある参照は別々のライフタイムになるので、&EfiSystemTableには'aとは別のライフタイムパラメーターがわりあてられる
  2. 入力にライフタイムパラメーターがある場合はそれが返り値にも割り当てされるが、今回はEfiGraphicsOutputProtocolのライフタイムは明示的にライフタイムパラメーター'aが割り当てされていた
• したがってこれまでのlocate_graphic_protocolは下記のように引数と返り値で異なるライフタイムパラメーターが割り当てされていたと考えられる

  pub fn locate_graphic_protocol<'a, 'b>(
      efi_system_table: Pin<&'b EfiSystemTable>,
  ) -> Result<&'a EfiGraphicsOutputProtocol<'a>> {

  • ☝️ このコードは'a == 'bなライフタイムパラメーターを取ることもできるし、または'a != 'bなライフタイムパラメーターを取ることもできる、より制約が少ない汎用的な関数となっていた
  • Playgroundででやってみても、引数と返り値のライフタイムが異っても型チェックを通過する
    • https://play.rust-lang.org/?version=stable&mode=debug&edition=2024&gist=eb74f4416e82709faf707e40d8eaf660
• 下記のコミットまでは引数efi_system_tableも返り値も同じライフタイムパラメーター'aが用いられていたので、リファクタリングの際に意図せず異なるライフタイムパラメーターになってしまったと判断し、本を正としたライフタイムパラメーターに修正した
  • 9880baf#diff-d5574fd4576a39d0ac0a2e0da032689b971a4a3ffcac06ba2f4751aeced1be48R727-R728
  • Playgroundでもこちらは型が通らなくなる
    • https://play.rust-lang.org/?version=stable&mode=debug&edition=2024&gist=04753ef66bf1468b62bff947de740cf0

Footnotes

1. https://doc.rust-lang.org/reference/lifetime-elision.html ↩