Help us understand the problem. What is going on with this article?

Rustのライフタイムの記法がわからなかった

More than 1 year has passed since last update.

以下のようなコードの意味がわからなくて困りました。

/// 指定された参照の指す値を二倍し、参照をそのまま返す。
fn hoge<'a>(n: &'a mut usize) -> &'a usize {
    *n *= 2;
    n
}

hogeの横の<'a>を見て、関数のライフタイムって何だ?と思いました。

答え

この<'a>は単にこれから'aというライフタイムを表す変数を使うという宣言です。
普通のジェネリクスの型変数と同じです。

つまり上のコードにおいては「返り値のライフタイムは引数のnのライフタイムに一致する」ということなのでした。

プログラミング言語Rustにもちゃんとそう書いてあるのですが、自分は誤読してしまいました。第二版 (和訳) ではそのような誤解がしづらくなっているようなので、これから学ぶ人はそちらをおすすめします。

Why not register and get more from Qiita?
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away
Comments
Sign up for free and join this conversation.
If you already have a Qiita account
Why do not you register as a user and use Qiita more conveniently?
You need to log in to use this function. Qiita can be used more conveniently after logging in.
You seem to be reading articles frequently this month. Qiita can be used more conveniently after logging in.
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away