Skip to content

Commit 0e3825d

Browse files
committed
Add option::get_ref
1 parent a076c28 commit 0e3825d

File tree

1 file changed

+16
-0
lines changed

1 file changed

+16
-0
lines changed

src/libcore/option.rs

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -29,6 +29,20 @@ pure fn get<T: copy>(opt: option<T>) -> T {
2929
}
3030
}
3131

32+
pure fn get_ref<T>(opt: &option<T>) -> &T {
33+
/*!
34+
* Gets an immutable reference to the value inside an option.
35+
*
36+
* # Failure
37+
*
38+
* Fails if the value equals `none`
39+
*/
40+
match *opt {
41+
some(ref x) => x,
42+
none => fail ~"option::get_ref none"
43+
}
44+
}
45+
3246
pure fn expect<T: copy>(opt: option<T>, reason: ~str) -> T {
3347
#[doc = "
3448
Gets the value out of an option, printing a specified message on failure
@@ -201,6 +215,8 @@ impl<T> &option<T> {
201215
pure fn iter_ref(f: fn(x: &T)) { iter_ref(self, f) }
202216
/// Maps a `some` value from one type to another by reference
203217
pure fn map_ref<U>(f: fn(x: &T) -> U) -> option<U> { map_ref(self, f) }
218+
/// Gets an immutable reference to the value inside a `some`.
219+
pure fn get_ref() -> &self/T { get_ref(self) }
204220
}
205221

206222
impl<T: copy> option<T> {

0 commit comments

Comments
 (0)