From 840993a70813e71362dc1f640a1e7e0a9c1d3577 Mon Sep 17 00:00:00 2001 From: Amjad Alsharafi Date: Sat, 29 Aug 2020 16:33:03 +0800 Subject: [PATCH] Add `move_ref_pattern` docs --- src/patterns.md | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/src/patterns.md b/src/patterns.md index b9c1b9690..a27489fc7 100644 --- a/src/patterns.md +++ b/src/patterns.md @@ -284,6 +284,25 @@ Mutable references will set the mode to `ref mut` unless the mode is already `re which case it remains `ref`. If the automatically dereferenced value is still a reference, it is dereferenced and this process repeats. +Move bindings and reference bindings can be mixed together in the same pattern, doing so will +result in partial move of the object bound to and the object cannot be used afterwards. +This applies only if the type cannot be copied. + +In the example below, `name` is moved out of `person`, trying to use `person` as a whole or +`person.name` would result in an error because of *partial move*. + +Example: + +```rust +# struct Person { +# name: String, +# age: u8, +# } +# let person = Person{ name: String::from("John"), age: 23 }; +// `name` is moved from person and `age` referenced +let Person { name, ref age } = person; +``` + ## Wildcard pattern > **Syntax**\