From 11733cab1d15b8925762667b1bac3dd58528d3ae Mon Sep 17 00:00:00 2001 From: Pocket7878 Date: Wed, 10 Feb 2016 16:32:14 +0900 Subject: [PATCH 1/4] Start translation --- 1.6/ja/book/match.md | 32 +++++++++++++++++++++----------- 1 file changed, 21 insertions(+), 11 deletions(-) diff --git a/1.6/ja/book/match.md b/1.6/ja/book/match.md index 113e2188..6ff5b368 100644 --- a/1.6/ja/book/match.md +++ b/1.6/ja/book/match.md @@ -1,9 +1,14 @@ -% Match - -Often, a simple [`if`][if]/`else` isn’t enough, because you have more than two -possible options. Also, conditions can get quite complex. Rust -has a keyword, `match`, that allows you to replace complicated `if`/`else` -groupings with something more powerful. Check it out: +% マッチ + + + + + + +しばしば、２つ以上の可能な処理が存在するために単純な [`if`][if]/`else` では充分でない時があります。 +また、条件が非常に複雑になる場合が有ります。 +Rustはキーワード `match` を持っており、複雑な `if`/`else` のグループをもっと強力なもので置き換えることができます。 +以下の例を見てみましょう: ```rust let x = 5; @@ -20,11 +25,16 @@ match x { [if]: if.html -`match` takes an expression and then branches based on its value. Each ‘arm’ of -the branch is of the form `val => expression`. When the value matches, that arm’s -expression will be evaluated. It’s called `match` because of the term ‘pattern -matching’, which `match` is an implementation of. There’s an [entire section on -patterns][patterns] that covers all the patterns that are possible here. + + + + + +`match` は一つの式とその式の値に基づく複数のブランチを引数に取ります。 +一つ一つの「分岐」は `val => expression` という形式を取ります。 +値がマッチした時に、対応する分岐の式が評価されます。 +このような式が `match` と呼ばれるのは「パターンマッチ」に由来します。 +可能なすべてのパターンについて説明した、[パターンの説明のために書かれたセクション][patterns] が存在します。 [patterns]: patterns.html From be3f4fdf87a20b7de448ee23e72153ce1b428e84 Mon Sep 17 00:00:00 2001 From: Pocket7878 Date: Thu, 11 Feb 2016 16:24:39 +0900 Subject: [PATCH 2/4] Roughly Translated. --- 1.6/ja/book/match.md | 68 ++++++++++++++++++++++++++++---------------- 1 file changed, 44 insertions(+), 24 deletions(-) diff --git a/1.6/ja/book/match.md b/1.6/ja/book/match.md index 6ff5b368..a04a1976 100644 --- a/1.6/ja/book/match.md +++ b/1.6/ja/book/match.md @@ -38,24 +38,36 @@ match x { [patterns]: patterns.html -So what’s the big advantage? Well, there are a few. First of all, `match` -enforces ‘exhaustiveness checking’. Do you see that last arm, the one with the -underscore (`_`)? If we remove that arm, Rust will give us an error: + + + +`match` を使う利点は何でしょうか？ いくつか有りますが、 +まず一つ目としては `match` をつかうことで,「完全性チェック」が実施されます。 +上のコードで、最後のアンダースコア( `_` )を用いている分岐があるのがわかりますか？ +もし、その分岐を削除した場合、Rustは以下の様なエラーを発生させます: ```text error: non-exhaustive patterns: `_` not covered ``` -In other words, Rust is trying to tell us we forgot a value. Because `x` is an -integer, Rust knows that it can have a number of different values – for -example, `6`. Without the `_`, however, there is no arm that could match, and -so Rust refuses to compile the code. `_` acts like a ‘catch-all arm’. If none -of the other arms match, the arm with `_` will, and since we have this -catch-all arm, we now have an arm for every possible value of `x`, and so our -program will compile successfully. - -`match` is also an expression, which means we can use it on the right-hand -side of a `let` binding or directly where an expression is used: + + + + + + + +言い換えると、Rustは値を忘れていることを伝えようとしているのです。 +なぜなら `x` は整数であるため、Rustは `x` は多くの異なる値を取ることができることを知っています。 +例えば、 `6` などがそれにに当たります。 +もし `_` がなかった場合、 `6` にマッチする分岐が存在しない異なります、そのためRustはコンパイルを通しません。 +`_` は「全てキャッチする分岐」のように振る舞います。 +もし他の分岐がどれもマッチしなかった場合、 `_` の分岐が実行されることになります、 +この全てキャッチする分岐が存在するため、 `x` が取り得るすべての値について分岐を持っていることなり、コンパイルが成功します。 + + + +`match` は式でも有ります、これはつまり `let` 束縛の右側や式が使われているところで利用することができるということを意味しています。 ```rust let x = 5; @@ -70,12 +82,15 @@ let number = match x { }; ``` -Sometimes it’s a nice way of converting something from one type to another. + +`match` はしばしば、ある型からある型へ変換するための良い手段になりまうす。 -# Matching on enums + +# 列挙型にたいするマッチ -Another important use of the `match` keyword is to process the possible -variants of an enum: + + +`match` の他の重要な利用方法としてはenumの取り得るバリアントを処理することがあります: ```rust enum Message { @@ -99,12 +114,17 @@ fn process_message(msg: Message) { } ``` -Again, the Rust compiler checks exhaustiveness, so it demands that you -have a match arm for every variant of the enum. If you leave one off, it -will give you a compile-time error unless you use `_`. - -Unlike the previous uses of `match`, you can’t use the normal `if` -statement to do this. You can use the [`if let`][if-let] statement, -which can be seen as an abbreviated form of `match`. + + + +繰り返しますが、Rustコンパイラは完全性のチェックを行い、enumのすべてのバリアントに対して、 +マッチする分岐が存在することを要求します。 +もし、一つでもマッチする分岐のないバリアントを残している場合、 `_` を用いなければコンパイルエラーが発生します。 + + + + +上で説明した値に対する `match` の利用とはことなり、enumに対するマッチに `if` を用いることはできません。 +enumに対するマッチに [`if let`][if-let] 文を用いることが可能です、 `if let` を `match` の短縮形と捉えることができます。 [if-let]: if-let.html From c520dda149b8451231507c8b19a15ae7681b6ff6 Mon Sep 17 00:00:00 2001 From: Pocket7878 Date: Thu, 11 Feb 2016 17:08:48 +0900 Subject: [PATCH 3/4] Fix translation. --- 1.6/ja/book/match.md | 20 +++++++++----------- 1 file changed, 9 insertions(+), 11 deletions(-) diff --git a/1.6/ja/book/match.md b/1.6/ja/book/match.md index a04a1976..62ed5368 100644 --- a/1.6/ja/book/match.md +++ b/1.6/ja/book/match.md @@ -5,9 +5,8 @@ -しばしば、２つ以上の可能な処理が存在するために単純な [`if`][if]/`else` では充分でない時があります。 -また、条件が非常に複雑になる場合が有ります。 -Rustはキーワード `match` を持っており、複雑な `if`/`else` のグループをもっと強力なもので置き換えることができます。 +しばしば、２つ以上の可能な処理が存在するためや、分岐条件が非常に複雑になるために単純な [`if`][if]/`else` では充分でない場合があります。 +Rustにはキーワード `match` が存在し、複雑な `if`/`else` のグループをさらに強力なもので置き換えられます。 以下の例を見てみましょう: ```rust @@ -42,7 +41,7 @@ match x { `match` を使う利点は何でしょうか？ いくつか有りますが、 -まず一つ目としては `match` をつかうことで,「完全性チェック」が実施されます。 +まず一つ目としては `match` をつかうことで、「完全性チェック」が実施されます。 上のコードで、最後のアンダースコア( `_` )を用いている分岐があるのがわかりますか？ もし、その分岐を削除した場合、Rustは以下の様なエラーを発生させます: @@ -60,10 +59,10 @@ error: non-exhaustive patterns: `_` not covered 言い換えると、Rustは値を忘れていることを伝えようとしているのです。 なぜなら `x` は整数であるため、Rustは `x` は多くの異なる値を取ることができることを知っています。 例えば、 `6` などがそれにに当たります。 -もし `_` がなかった場合、 `6` にマッチする分岐が存在しない異なります、そのためRustはコンパイルを通しません。 +もし `_` がなかった場合、 `6` にマッチする分岐が存在しない事になります、そのためRustはコンパイルを通しません。 `_` は「全てキャッチする分岐」のように振る舞います。 もし他の分岐がどれもマッチしなかった場合、 `_` の分岐が実行されることになります、 -この全てキャッチする分岐が存在するため、 `x` が取り得るすべての値について分岐を持っていることなり、コンパイルが成功します。 +この「全てキャッチする分岐」が存在するため、 `x` が取り得るすべての値について対応する分岐が存在することになり、コンパイルが成功します。 @@ -90,7 +89,7 @@ let number = match x { -`match` の他の重要な利用方法としてはenumの取り得るバリアントを処理することがあります: +`match` の他の重要な利用方法としては列挙型のバリアントを処理することがあります: ```rust enum Message { @@ -117,14 +116,13 @@ fn process_message(msg: Message) { -繰り返しますが、Rustコンパイラは完全性のチェックを行い、enumのすべてのバリアントに対して、 -マッチする分岐が存在することを要求します。 +繰り返しになりますが、Rustコンパイラは完全性のチェックを行い、列挙型のすべてのバリアントに対して、マッチする分岐が存在することを要求します。 もし、一つでもマッチする分岐のないバリアントを残している場合、 `_` を用いなければコンパイルエラーが発生します。 -上で説明した値に対する `match` の利用とはことなり、enumに対するマッチに `if` を用いることはできません。 -enumに対するマッチに [`if let`][if-let] 文を用いることが可能です、 `if let` を `match` の短縮形と捉えることができます。 +上で説明した値に対する `match` の利用とは異なり、列挙型のバリアントに基いた分岐に `if` を用いることはできません。 +列挙型のバリアントに基いた分岐に [`if let`][if-let] 文を用いることが可能です、 `if let` を `match` の短縮形と捉えることができます。 [if-let]: if-let.html From a00c43a74acec5ecd9cc15d54eddc2bcc3f5a25e Mon Sep 17 00:00:00 2001 From: Pocket7878 Date: Thu, 11 Feb 2016 23:48:48 +0900 Subject: [PATCH 4/4] Fix translation --- 1.6/ja/book/match.md | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/1.6/ja/book/match.md b/1.6/ja/book/match.md index 62ed5368..751a8094 100644 --- a/1.6/ja/book/match.md +++ b/1.6/ja/book/match.md @@ -30,8 +30,8 @@ match x { `match` は一つの式とその式の値に基づく複数のブランチを引数に取ります。 -一つ一つの「分岐」は `val => expression` という形式を取ります。 -値がマッチした時に、対応する分岐の式が評価されます。 +一つ一つの「腕」は `val => expression` という形式を取ります。 +値がマッチした時に、対応する腕の式が評価されます。 このような式が `match` と呼ばれるのは「パターンマッチ」に由来します。 可能なすべてのパターンについて説明した、[パターンの説明のために書かれたセクション][patterns] が存在します。 @@ -41,9 +41,9 @@ match x { `match` を使う利点は何でしょうか？ いくつか有りますが、 -まず一つ目としては `match` をつかうことで、「完全性チェック」が実施されます。 -上のコードで、最後のアンダースコア( `_` )を用いている分岐があるのがわかりますか？ -もし、その分岐を削除した場合、Rustは以下の様なエラーを発生させます: +まず一つ目としては `match` をつかうことで、「網羅性検査」が実施されます。 +上のコードで、最後のアンダースコア( `_` )を用いている腕があるのがわかりますか？ +もし、その腕を削除した場合、Rustは以下の様なエラーを発生させます: ```text error: non-exhaustive patterns: `_` not covered @@ -59,10 +59,10 @@ error: non-exhaustive patterns: `_` not covered 言い換えると、Rustは値を忘れていることを伝えようとしているのです。 なぜなら `x` は整数であるため、Rustは `x` は多くの異なる値を取ることができることを知っています。 例えば、 `6` などがそれにに当たります。 -もし `_` がなかった場合、 `6` にマッチする分岐が存在しない事になります、そのためRustはコンパイルを通しません。 -`_` は「全てキャッチする分岐」のように振る舞います。 -もし他の分岐がどれもマッチしなかった場合、 `_` の分岐が実行されることになります、 -この「全てキャッチする分岐」が存在するため、 `x` が取り得るすべての値について対応する分岐が存在することになり、コンパイルが成功します。 +もし `_` がなかった場合、 `6` にマッチする腕が存在しない事になります、そのためRustはコンパイルを通しません。 +`_` は「全てキャッチする腕」のように振る舞います。 +もし他の腕がどれもマッチしなかった場合、 `_` の腕が実行されることになります、 +この「全てキャッチする腕」が存在するため、 `x` が取り得るすべての値について対応する腕が存在することになり、コンパイルが成功します。 @@ -85,7 +85,7 @@ let number = match x { `match` はしばしば、ある型からある型へ変換するための良い手段になりまうす。 -# 列挙型にたいするマッチ +# 列挙型に対するマッチ @@ -116,8 +116,8 @@ fn process_message(msg: Message) { -繰り返しになりますが、Rustコンパイラは完全性のチェックを行い、列挙型のすべてのバリアントに対して、マッチする分岐が存在することを要求します。 -もし、一つでもマッチする分岐のないバリアントを残している場合、 `_` を用いなければコンパイルエラーが発生します。 +繰り返しになりますが、Rustコンパイラは網羅性のチェックを行い、列挙型のすべてのバリアントに対して、マッチする腕が存在することを要求します。 +もし、一つでもマッチする腕のないバリアントを残している場合、 `_` を用いなければコンパイルエラーが発生します。