Rustのlifetime

Rustの参照がダングリングポインタにならないようにするために、参照の生存期間を型で表現する

ただの型なのでコンパイル時にチェックするだけで、実行時に影響は与えない

<'a>は「tick A」と発音するらしい

「型」のイメージ通り、指定された生存期間よりも、長い期間生存する参照しか受け付けない

つまり、型で表現されている生存期間は、必要とする生存期間の最短値になっているのかmrsekut.icon

Rustのプログラムの中で最も長い生存期間は'static

開始してから終了するまでの期間を表している

例

code:rs

fn f<'a>(p: &'a i32) { ... }

関数fの生存期間より短い生存期間であるi32型への参照のみを引数に取ることができる

例

code:rs

fn f(p: &'static i32) { ... }

生存期間が'staticと同じ期間あるi32への参照のみを引数に取ることができる

「ある参照」が「hogehogeな期間」なものだけを引数に取ることができますよ、ッと言っている？

参考