Merge pull request #1497 from Bear-03/destructure-slice

Add chapter for array/slice destructuring

Author: marioidival

src/SUMMARY.md

@@ -52,6 +52,7 @@
     - [match](flow_control/match.md)
         - [Destructuring](flow_control/match/destructuring.md)
             - [tuples](flow_control/match/destructuring/destructure_tuple.md)
+            - [arrays/slices](flow_control/match/destructuring/destructure_slice.md)
             - [enums](flow_control/match/destructuring/destructure_enum.md)
             - [pointers/ref](flow_control/match/destructuring/destructure_pointers.md)
             - [structs](flow_control/match/destructuring/destructure_structures.md)

src/flow_control/match/destructuring.md

@@ -3,6 +3,7 @@
 A `match` block can destructure items in a variety of ways.
 
 * [Destructuring Tuples][tuple]
+* [Destructuring Arrays and Slices][slice]
 * [Destructuring Enums][enum]
 * [Destructuring Pointers][refs]
 * [Destructuring Structures][struct]
@@ -12,3 +13,4 @@ A `match` block can destructure items in a variety of ways.
 [refs]: destructuring/destructure_pointers.md
 [struct]: destructuring/destructure_structures.md
 [tuple]: destructuring/destructure_tuple.md
+[slice]: destructuring/destructure_slice.md

src/flow_control/match/destructuring/destructure_slice.md

@@ -0,0 +1,48 @@
+# arrays/slices
+
+In like manner to tuples, arrays and slices can be destructured this way:
+
+```rust,editable
+fn main() {
+    // Try changing the values in the array, or make it a slice!
+    let array = [1, -2, 6];
+
+    match array {
+        // Binds the second and the third elements to the respective variables
+        [0, second, third] =>
+            println!("array[0] = 0, array[1] = {}, array[2] = {}", second, third),
+
+        // Single values can be ignored with _
+        [1, _, third] => println!(
+            "array[0] = 1, array[2] = {} and array[1] was ignored",
+            third
+        ),
+
+        // You can also bind some and ignore the rest
+        [-1, second, ..] => println!(
+            "array[0] = -1, array[1] = {} and all the other ones were ignored",
+            second
+        ),
+        // The code below would not compile
+        // [-1, second] => ...
+
+        // Or store them in another array/slice (the type depends on
+        // that of the value that is being matched against)
+        [3, second, tail @ ..] => println!(
+            "array[0] = 3, array[1] = {} and the other elements were {:?}",
+            second, tail
+        ),
+
+        // Combining these patterns, we can, for example, bind the first and
+        // last values, and store the rest of them in a single array
+        [first, middle @ .., last] => println!(
+            "array[0] = {}, middle = {:?}, array[2] = {}",
+            first, middle, last
+        ),
+    }
+}
+```
+
+### See also:
+
+[Arrays and Slices](../../../primitives/array.md)