生存期間 -> ライフタイム

Author: imsut

src/SUMMARY.md

@@ -9,11 +9,11 @@
 	* [repr(Rust)](repr-rust.md)
 	* [奇妙なサイズの型](exotic-sizes.md)
 	* [代替メモリレイアウト](other-reprs.md)
-* [所有権と生存期間](ownership.md)
+* [所有権とライフタイム](ownership.md)
 	* [リファレンス](references.md)
-	* [生存期間](lifetimes.md)
-	* [生存期間システムの限界](lifetime-mismatch.md)
-	* [生存期間の省略](lifetime-elision.md)
+	* [ライフタイム](lifetimes.md)
+	* [ライフタイムシステムの限界](lifetime-mismatch.md)
+	* [ライフタイムの省略](lifetime-elision.md)
 	* [無制限のライフタイム](unbounded-lifetimes.md)
 	* [Higher-Rank Trait Bounds](hrtb.md)
 	* [Subtyping and Variance](subtyping.md)

src/lifetime-elision.md

@@ -2,20 +2,20 @@
 # Lifetime Elision
 -->
 
-# 生存期間の省略
+# ライフタイムの省略
 
 <!--
 In order to make common patterns more ergonomic, Rust allows lifetimes to be
 *elided* in function signatures.
 -->
 
-よくあるパターンをより易しく書けるように、Rust では関数シグネチャの生存期間を省略できます。
+よくあるパターンをより易しく書けるように、Rust では関数シグネチャのライフタイムを省略できます。
 
 <!--
 A *lifetime position* is anywhere you can write a lifetime in a type:
 -->
 
-*生存期間ポジション* とは、型の定義において生存期間を書ける場所のことです。
+*ライフタイムポジション* とは、型の定義においてライフタイムを書ける場所のことです。
 
 ```rust,ignore
 &'a T
@@ -27,7 +27,7 @@ T<'a>
 Lifetime positions can appear as either "input" or "output":
 -->
 
-生存期間ポジションは、「入力」か「出力」のいづれかです。
+ライフタイムポジションは、「入力」か「出力」のいづれかです。
 
 <!--
 * For `fn` definitions, input refers to the types of the formal arguments
@@ -40,17 +40,17 @@ Lifetime positions can appear as either "input" or "output":
 -->
 
 * `fn` 定義では、入力とは仮引数の型のことで、出力とは結果の型のことです。
-  `fn foo(s: *str) -> (&str, &str)` では、入力ポジションの生存期間が一つ省略され、
-  出力ポジションの生存期間が二つ省略されています。
+  `fn foo(s: *str) -> (&str, &str)` では、入力ポジションのライフタイムが一つ省略され、
+  出力ポジションのライフタイムが二つ省略されています。
   `fn` メソッド定義の入力ポジションには、
-  メソッドの `impl` ヘッダに現れる生存期間は含まれません。
-  （デフォルトメソッドの場合の trait ヘッダに現れる生存期間も含まれません。）
+  メソッドの `impl` ヘッダに現れるライフタイムは含まれません。
+  （デフォルトメソッドの場合の trait ヘッダに現れるライフタイムも含まれません。）
 
 <!--
 * In the future, it should be possible to elide `impl` headers in the same manner.
 -->
 
-* 将来のバージョンでは、`impl` ヘッダの生存期間の省略も同様に可能になるでしょう。
+* 将来のバージョンでは、`impl` ヘッダのライフタイムの省略も同様に可能になるでしょう。
 
 <!--
 Elision rules are as follows:
@@ -63,29 +63,29 @@ Elision rules are as follows:
   parameter.
 -->
 
-* 入力ポジションの省略された生存期間は、それぞれ別の生存期間パラメタになります。
+* 入力ポジションの省略されたライフタイムは、それぞれ別のライフタイムパラメタになります。
 
 <!--
 * If there is exactly one input lifetime position (elided or not), that lifetime
   is assigned to *all* elided output lifetimes.
 -->
 
-* 入力ポジションの生存期間（省略されているかどうかに関わらず）が一つしか無い場合、
-  省略された出力生存期間全てにその生存期間が割り当てられます。
+* 入力ポジションのライフタイム（省略されているかどうかに関わらず）が一つしか無い場合、
+  省略された出力ライフタイム全てにそのライフタイムが割り当てられます。
 
 <!--
 * If there are multiple input lifetime positions, but one of them is `&self` or
   `&mut self`, the lifetime of `self` is assigned to *all* elided output lifetimes.
 -->
 
-* 入力ポジションに複数の生存期間があって、そのうちの一つが `&self` または `&mut self` の場合、
-  省略された出力生存期間全てに `self` の生存期間が割り当てられます。
+* 入力ポジションに複数のライフタイムがあって、そのうちの一つが `&self` または `&mut self` の場合、
+  省略された出力ライフタイム全てに `self` のライフタイムが割り当てられます。
 
 <!--
 * Otherwise, it is an error to elide an output lifetime.
 -->
 
-* それ以外の場合は、出力の生存期間を省略するとエラーになります。
+* それ以外の場合は、出力のライフタイムを省略するとエラーになります。
 
 <!--
 Examples:

src/lifetime-mismatch.md

@@ -2,7 +2,7 @@
 # Limits of Lifetimes
 -->
 
-# 生存期間システムの限界
+# ライフタイムシステムの限界
 
 <!--
 Given the following code:
@@ -97,8 +97,8 @@ try to call `share`, and it sees we're trying to alias that `&'c mut foo` and
 blows up in our face!
 -->
 
-`loan` の生存期間と mutate_and_share のシグネチャとのため、
-`&mut foo` の生存期間は `'c` に延長されなくてはなりません。
+`loan` のライフタイムと mutate_and_share のシグネチャとのため、
+`&mut foo` のライフタイムは `'c` に延長されなくてはなりません。
 そして、`share` を呼ぼうとするとき、`&'c mut foo` の別名を取ろうとすると認識され、大失敗に終わるのです。
 
 <!--
@@ -107,7 +107,7 @@ care about, but the lifetime system is too coarse-grained to handle that.
 -->
 
 このプログラムは、私たちにとって重要なリファレンスの意味的には全く正しいのですが、
-生存期間システムはこのプログラムを処理するには粗すぎるのです。
+ライフタイムシステムはこのプログラムを処理するには粗すぎるのです。
 
 <!--
 TODO: other common problems? SEME regions stuff, mostly?

src/lifetimes.md

@@ -2,7 +2,7 @@
 # Lifetimes
 -->
 
-# 生存期間
+# ライフタイム
 
 <!--
 Rust enforces these rules through *lifetimes*. Lifetimes are effectively
@@ -11,9 +11,9 @@ and anything that contains a reference, is tagged with a lifetime specifying
 the scope it's valid for.
 -->
 
-Rust は今まで説明してきたルールを*生存期間*を使って強制します。
-生存期間とは、要するにプログラム中のスコープの名前です。
-リファレンスと、リファレンスを含むものとは、有効なスコープを示す生存期間でタグづけられています。
+Rust は今まで説明してきたルールを*ライフタイム*を使って強制します。
+ライフタイムとは、要するにプログラム中のスコープの名前です。
+リファレンスと、リファレンスを含むものとは、有効なスコープを示すライフタイムでタグづけられています。
 
 <!--
 Within a function body, Rust generally doesn't let you explicitly name the
@@ -24,8 +24,8 @@ temporaries that you would otherwise have to write are often introduced to
 make your code Just Work.
 -->
 
-通常、関数本体では、関係する生存期間の名前を明示することは求められません。
-一般に、ローカルコンテキストにおいて生存期間を気にする必要はまずないからです。
+通常、関数本体では、関係するライフタイムの名前を明示することは求められません。
+一般に、ローカルコンテキストにおいてライフタイムを気にする必要はまずないからです。
 Rust はすべての情報を持っていて、可能な限りすべてを最適にできます。
 省略可能な無名スコープや一時変数は、コードがきちんと動くように自動的に導入されます。
 
@@ -37,10 +37,10 @@ to label scopes with lifetimes, and desugar the examples from the start of
 this chapter.
 -->
 
-しかし関数の境界を超えると、生存期間について気にしなくてはいけなくなります。
-生存期間は、`'a` や `'static` などアポストロフィーつきの名前を持ちます。
-生存期間の世界に足を踏み入れるために、
-スコープに生存期間のラベルをつけられるとして、この章の最初のサンプルコードを
+しかし関数の境界を超えると、ライフタイムについて気にしなくてはいけなくなります。
+ライフタイムは、`'a` や `'static` などアポストロフィーつきの名前を持ちます。
+ライフタイムの世界に足を踏み入れるために、
+スコープにライフタイムのラベルをつけられるとして、この章の最初のサンプルコードを
 「脱糖 (desugar)」してみましょう。
 
 <!--
@@ -50,9 +50,9 @@ explicitly is *extremely noisy*. All Rust code relies on aggressive inference
 and elision of "obvious" things.
 -->
 
-もともとのサンプルコードは、スコープと生存期間について、
+もともとのサンプルコードは、スコープとライフタイムについて、
 果糖がたくさん含まれたコーンシロップのように*強烈に*甘い書き方でした。
-（訳注：生存期間を省略できることは syntax sugar で、元のコードは大量の syntax sugar を使っているので、「甘い」と言っている）
+（訳注：ライフタイムを省略できることは syntax sugar で、元のコードは大量の syntax sugar を使っているので、「甘い」と言っている）
 なぜなら、すべてを明示的に書くのは*極めて煩わしい*からです。
 Rust のコードは、積極的な推論と「明らかな」ことの省略とを当てにしています。
 
@@ -79,15 +79,15 @@ The borrow checker always tries to minimize the extent of a lifetime, so it will
 likely desugar to the following:
 -->
 
-ボローチェッカーは、生存期間の長さを最小にしようとするので、
+ボローチェッカーは、ライフタイムの長さを最小にしようとするので、
 これは次のように脱糖されるでしょう。
 
 ```rust,ignore
 // `'a: {` と `&'b x` は正当な構文ではないことに注意してください!
 'a: {
     let x: i32 = 0;
     'b: {
-        // ここで使用される生存期間は 'b です。なぜなら 'b で十分だからです。
+        // ここで使用されるライフタイムは 'b です。なぜなら 'b で十分だからです。
         let y: &'b i32 = &'b x;
         'c: {
             // 'c も同様
@@ -109,7 +109,7 @@ Actually passing references to outer scopes will cause Rust to infer
 a larger lifetime:
 -->
 
-リファレンスを外のスコープに返す場合は、Rust はより大きい生存期間を推論することになります。
+リファレンスを外のスコープに返す場合は、Rust はより大きいライフタイムを推論することになります。
 
 ```rust
 let x = 0;
@@ -177,7 +177,7 @@ to the u32 originated in, or somewhere *even earlier*. That's a bit of a tall
 order.
 -->
 
-`as_str` のシグネチャは、*ある*生存期間を持つ u32 へのリファレンスをとり、
+`as_str` のシグネチャは、*ある*ライフタイムを持つ u32 へのリファレンスをとり、
 そのリファレンスと*同じ長さだけ*生きる str へのリファレンスを生成することを約束します。
 このシグネチャが問題になるかもしれないと、すでに話しました。
 このシグネチャは、引数の u32 を指すリファレンスが生成されたスコープか、もしくは*それより以前のスコープ*で、str を探すことを意味します。これはなかなか難しい注文です。
@@ -194,7 +194,7 @@ up in our face.
 -->
 
 それから文字列 `s` を計算し、そのリファレンスを返します。
-この関数は、返されるリファレンスが `'a` より長生きすることを約束しているので、このリファレンスの生存期間として `'a` を使うことを推論します。
+この関数は、返されるリファレンスが `'a` より長生きすることを約束しているので、このリファレンスのライフタイムとして `'a` を使うことを推論します。
 残念なことに、`s` はスコープ `'b` の中で定義されているので、
 この推論が妥当になるためには、`'b` が `'a` を含んでいなくてはなりません。
 ところがこれは明らかに成立しません。`'a` はこの関数呼び出しそものを含んでいるからです。
@@ -347,8 +347,8 @@ correct with respect to Rust's *true* semantics are rejected because lifetimes
 are too dumb.
 -->
 
-ここでは、生存期間をチェックするシステムは、私たちが維持したいリファレンスの意味論に比べて
+ここでは、ライフタイムをチェックするシステムは、私たちが維持したいリファレンスの意味論に比べて
 とても荒いことを見てきました。
 ほとんどの場合、*これで全く大丈夫*です。
 私たちが書いたコードをコンパイラに説明するために丸一日費やさなくてもいいからです。
-しかし、生存期間のチェックがとてもバカなために、Rust の*真の*意味論的には全く正しいプログラムでも拒否されることがあるのです。
+しかし、ライフタイムのチェックがとてもバカなために、Rust の*真の*意味論的には全く正しいプログラムでも拒否されることがあるのです。

src/ownership.md

@@ -2,7 +2,7 @@
 # Ownership and Lifetimes
 -->
 
-# 所有権と生存期間
+# 所有権とライフタイム
 
 <!--
 Ownership is the breakout feature of Rust. It allows Rust to be completely
@@ -112,6 +112,6 @@ referent and its owners.
 -->
 
 単純なスコープ解析では、このバグは防げません。
-`data` の生存期間は十分に長いからです。
+`data` のライフタイムは十分に長いからです。
 問題は、その参照を保持している間に、参照先が*変わって*しまったことです。
 Rust でリファレンスを取ると、参照先とその所有者がフリーズされるのは、こういう理由なのです。

src/references.md

@@ -45,7 +45,7 @@ Which obey the following rules:
 * A mutable reference cannot be aliased
 -->
 
-* リファレンスの生存期間が、参照先の生存期間より長くなることはできません。
+* リファレンスのライフタイムが、参照先のライフタイムより長くなることはできません。
 * 可変リファレンスは、別名を持つことができません。
 
 <!--
@@ -208,7 +208,7 @@ Note: Liveness is not the same thing as a *lifetime*, which will be explained
 in detail in the next section of this chapter.
 -->
 
-生存性 (liveness) は、この章の次の節でで詳しく説明する *生存期間 (lifetime)* とは違うことに注意してください。
+生存性 (liveness) は、この章の次の節でで詳しく説明する *ライフタイム (lifetime)* とは違うことに注意してください。
 
 <!--
 Roughly, a reference is *live* at some point in a program if it can be