about summary refs log tree commit diff
path: root/src/doc
diff options
context:
space:
mode:
authorAlex Crichton <alex@alexcrichton.com>2014-08-30 23:46:46 -0700
committerAlex Crichton <alex@alexcrichton.com>2014-08-30 23:46:46 -0700
commitfe848fcd3bc8224c4180d5f61cfd1cb306e9f785 (patch)
tree4c8e7f9a4d64a19d9263d062733ddddd2d1c1ed4 /src/doc
parentc6fd2d31eeb871ad6baeb7888bc50347286d466d (diff)
parent7e4a1459e928791c3905ee4cb30813f222e4c8ca (diff)
rollup merge of #16828 : steveklabnik/more_pointer_guide
Diffstat (limited to 'src/doc')
-rw-r--r--src/doc/guide-pointers.md25
1 files changed, 25 insertions, 0 deletions
diff --git a/src/doc/guide-pointers.md b/src/doc/guide-pointers.md
index b196997b399..6492400a2cf 100644
--- a/src/doc/guide-pointers.md
+++ b/src/doc/guide-pointers.md
@@ -729,6 +729,31 @@ This part is coming soon.
 
 This part is coming soon.
 
+# Patterns and `ref`
+
+When you're trying to match something that's stored in a pointer, there may be
+a situation where matching directly isn't the best option available. Let's see
+how to properly handle this:
+
+```{rust,ignore}
+fn possibly_print(x: &Option<String>) {
+    match *x {
+        // BAD: cannot move out of a `&`
+        Some(s) => println!("{}", s)
+
+        // GOOD: instead take a reference into the memory of the `Option`
+        Some(ref s) => println!("{}", *s),
+        None => {}
+    }
+}
+```
+
+The `ref s` here means that `s` will be of type `&String`, rather than type
+`String`.
+
+This is important when the type you're trying to get access to has a destructor
+and you don't want to move it, you just want a reference to it.
+
 # Cheat Sheet
 
 Here's a quick rundown of Rust's pointer types: