fnf(s: [u32; 3]) { let [x, y, z] = s; // このパターンは必ずマッチするので if let ではなく let を使用 }
一方、残念ながら Vec をそのままマッチさせることはできません。
1 2 3 4
let v = vec![1, 3, 3]; iflet &[x, y, z] = &v { // ここに処理を書く }
1 2 3 4 5 6 7
error[E0529]: expected an array or slice, found `std::vec::Vec<{integer}>` --> examples\slice_pattern.rs:3:13 | 2 | if let &[x, y, z] = &v { | ^^^^^^^^^ pattern cannot match with input type `std::vec::Vec<{integer}>`
error: aborting due to previous error
スライスか固定長配列に変換してからマッチさせる必要があります。
1 2 3 4
let v = vec![1, 3, 3]; iflet &[x, y, z] = &v[..] { // ここに処理を書く }
error[E0384]: cannot assign twice to immutable variable `x` --> examples\parentheses.rs:3:5 | 2 | let &x = &a; | - | | | first assignment to `x` | help: make this binding mutable: `mut x` 3 | x = 4; | ^^^^^ cannot assign twice to immutable variable
当然のことながら代入できませんね。 x はミュータブルではないので。 そこで x の前に mut を付けて代入できるようにしましょう。
1 2 3
let a = 20; let &mut x = &a; x = 4;
1 2 3 4 5 6 7 8
--> examples\parentheses.rs:2:9 | 2 | let &mut x = &a; | ^^^^^^ types differ in mutability | = note: expected type `&{integer}` found type `&mut _` = help: did you mean `mut x: &&{integer}`?
for &(a, b) in xs { println!("{}", a); // 1, 3, 5 }
xs は IntoIterator<&(i32,i32)> なので &(i32,i32) のパターン &(a, b) を使っています。これが基本と考えます。 そして、必要に応じて値をまとめたり、&を付けずに参照そのまま束縛して使いましょう。
束縛方法を変える
もう一つ例を見てみましょう。 &(String, i32) 型の式をそのままパターンにしてみます。
1 2 3
let s = &(String::from("A"), 1);
let &(a, b) = s;
1 2 3 4 5 6 7 8
error[E0507]: cannot move out of borrowed content --> src\main.rs:4:9 | 4 | let &(a, b) = s; | ^^-^^^^ | | | | | hint: to prevent move, use `ref a` or `ref mut a` | cannot move out of borrowed content
コンパイルエラーとなってしまいました。何故でしょうか？
まずは a の型が何になるか考えてみてください。 右辺の型は &(String, i32) なので、&(a, b) の a は String になりますよね？ これってどう見ても無理じゃないですか。所有権的に考えて。 String を作るには所有権を奪わないといけないけれど &(String, i32) の所有権は借り物で奪えない。
structFoo { a: String, b: i32, c: i32, } let x = Foo { a: String::from("A"), b: 1, c: 2, }; let &Foo { b: b, .. } = &x;
今回は Foo::b だけ束縛してみました。
.. はタプルでも使えます。
1 2 3 4 5 6
let x = (1, 2, 3, 4);
let (a, ..) = x; let (.., d) = x; let (a, .., d) = x; let (..) = x;
一致するとは限らないパターン
列挙型
今まで構造体、タプル、参照のパターンを見てきました。 次は列挙型のパターンを見てみましょう。
選択肢が一つの列挙型ならば、構造体と同じようにlet文で分解できます。
1 2 3 4 5 6
enumFoo { A(u32), }; let a = Foo::A(0); let Foo::A(y) = a; println!("{}", y); // 0
しかし。選択肢が複数の列挙型では・・・
1 2 3 4 5 6
enumFoo { A(u32), B(u32), }; let a = Foo::A(0); let Foo::A(y) = a;
1 2 3 4 5
error[E0005]: refutable pattern in local binding: `B(_)` not covered --> src\main.rs:7:9 | 7 | let Foo::A(y) = a; | ^^^^^^^^^ pattern `B(_)` not covered
if let 式 には else if let 節, else if 節, else 節 を追加することができます。 使い方はその名前から想像できると思うので省略します。 気になる方はこのページの最後を見てください。
while let 式
条件式のパターンとマッチする間、何度もマッチとブロックの実行を繰り返す while let 式 もあります。 Iterator を実装しなくても Iterator::next 相当の関数だけで for 相当のループが書けるので便利です。 次の例はVecをスタックと見立てて、スタックが空になるまでループを回しています。
