rust/src/libcore/option.rs

342 lines
8.7 KiB
Rust
Raw Normal View History

/*!
* Operations on the ubiquitous `option` type.
*
* Type `option` represents an optional value.
*
2012-08-20 14:23:37 -05:00
* Every `Option<T>` value can either be `Some(T)` or `none`. Where in other
* languages you might use a nullable type, in Rust you would use an option
* type.
*/
2012-09-21 21:37:57 -05:00
// NB: transitionary, de-mode-ing.
#[warn(deprecated_mode)];
2012-09-21 21:37:57 -05:00
#[forbid(deprecated_pattern)];
use cmp::Eq;
/// The option type
2012-08-20 14:23:37 -05:00
enum Option<T> {
None,
Some(T),
}
2012-09-21 21:37:57 -05:00
pure fn get<T: Copy>(opt: &Option<T>) -> T {
/*!
* Gets the value out of an option
*
* # Failure
*
* Fails if the value equals `none`
*/
2012-09-21 21:37:57 -05:00
match *opt {
2012-08-20 14:23:37 -05:00
Some(x) => return x,
None => fail ~"option::get none"
2012-08-03 21:59:04 -05:00
}
}
2012-08-20 14:23:37 -05:00
pure fn get_ref<T>(opt: &r/Option<T>) -> &r/T {
2012-08-16 20:06:05 -05:00
/*!
* Gets an immutable reference to the value inside an option.
*
* # Failure
*
* Fails if the value equals `none`
*/
match *opt {
2012-08-20 14:23:37 -05:00
Some(ref x) => x,
None => fail ~"option::get_ref none"
2012-08-16 20:06:05 -05:00
}
}
2012-09-21 21:37:57 -05:00
pure fn expect<T: Copy>(opt: &Option<T>, +reason: ~str) -> T {
2012-08-24 18:02:47 -05:00
/*!
* Gets the value out of an option, printing a specified message on
* failure
*
* # Failure
*
* Fails if the value equals `none`
*/
2012-09-21 21:37:57 -05:00
match *opt { Some(x) => x, None => fail reason }
}
pure fn map<T, U>(opt: &Option<T>, f: fn(x: &T) -> U) -> Option<U> {
//! Maps a `some` value by reference from one type to another
2012-08-20 14:23:37 -05:00
match *opt { Some(ref x) => Some(f(x)), None => None }
}
pure fn map_consume<T, U>(+opt: Option<T>, f: fn(+v: T) -> U) -> Option<U> {
/*!
* As `map`, but consumes the option and gives `f` ownership to avoid
* copying.
*/
2012-09-11 19:17:54 -05:00
if opt.is_some() { Some(f(option::unwrap(move opt))) } else { None }
}
2012-09-21 21:37:57 -05:00
pure fn chain<T, U>(opt: &Option<T>, f: fn(T) -> Option<U>) -> Option<U> {
/*!
* Update an optional value by optionally running its content through a
* function that returns an option.
*/
2012-03-06 21:09:32 -06:00
2012-09-21 21:37:57 -05:00
match *opt { Some(x) => f(x), None => None }
}
2012-08-20 14:23:37 -05:00
pure fn chain_ref<T, U>(opt: &Option<T>,
f: fn(x: &T) -> Option<U>) -> Option<U> {
/*!
* Update an optional value by optionally running its content by reference
* through a function that returns an option.
*/
2012-08-20 14:23:37 -05:00
match *opt { Some(ref x) => f(x), None => None }
}
2012-08-20 14:23:37 -05:00
pure fn or<T>(+opta: Option<T>, +optb: Option<T>) -> Option<T> {
/*!
* Returns the leftmost some() value, or none if both are none.
*/
match opta {
2012-09-10 14:14:14 -05:00
Some(_) => move opta,
_ => move optb
}
}
#[inline(always)]
pure fn while_some<T>(+x: Option<T>, blk: fn(+v: T) -> Option<T>) {
//! Applies a function zero or more times until the result is none.
let mut opt <- x;
while opt.is_some() {
2012-09-11 19:17:54 -05:00
opt = blk(unwrap(move opt));
}
}
2012-09-21 21:37:57 -05:00
pure fn is_none<T>(opt: &Option<T>) -> bool {
//! Returns true if the option equals `none`
2012-03-06 21:09:32 -06:00
2012-09-21 21:37:57 -05:00
match *opt { None => true, Some(_) => false }
}
2012-09-21 21:37:57 -05:00
pure fn is_some<T>(opt: &Option<T>) -> bool {
//! Returns true if the option contains some value
2012-03-06 21:09:32 -06:00
!is_none(opt)
}
2012-09-21 21:37:57 -05:00
pure fn get_default<T: Copy>(opt: &Option<T>, +def: T) -> T {
//! Returns the contained value or a default
2012-03-06 21:09:32 -06:00
2012-09-21 21:37:57 -05:00
match *opt { Some(x) => x, None => def }
}
pure fn map_default<T, U>(opt: &Option<T>, +def: U,
f: fn(x: &T) -> U) -> U {
//! Applies a function to the contained value or returns a default
2012-09-10 14:14:14 -05:00
match *opt { None => move def, Some(ref t) => f(t) }
}
// This should change to by-copy mode; use iter_ref below for by reference
2012-09-21 21:37:57 -05:00
pure fn iter<T>(opt: &Option<T>, f: fn(T)) {
//! Performs an operation on the contained value or does nothing
2012-09-21 21:37:57 -05:00
match *opt { None => (), Some(t) => f(t) }
2012-03-06 21:09:32 -06:00
}
2012-08-20 14:23:37 -05:00
pure fn iter_ref<T>(opt: &Option<T>, f: fn(x: &T)) {
//! Performs an operation on the contained value by reference
2012-08-20 14:23:37 -05:00
match *opt { None => (), Some(ref t) => f(t) }
}
// tjc: shouldn't this be - instead of +?
// then could get rid of some superfluous moves
#[inline(always)]
2012-09-21 21:37:57 -05:00
pure fn unwrap<T>(+opt: Option<T>) -> T {
/*!
* Moves a value out of an option type and returns it.
*
* Useful primarily for getting strings, vectors and unique pointers out
* of option types without copying them.
*/
2012-08-24 18:02:47 -05:00
match move opt {
2012-09-10 14:14:14 -05:00
Some(move x) => move x,
2012-08-20 14:23:37 -05:00
None => fail ~"option::unwrap none"
}
}
/// The ubiquitous option dance.
#[inline(always)]
2012-08-20 14:23:37 -05:00
fn swap_unwrap<T>(opt: &mut Option<T>) -> T {
if opt.is_none() { fail ~"option::swap_unwrap none" }
2012-08-20 14:23:37 -05:00
unwrap(util::replace(opt, None))
}
2012-08-20 14:23:37 -05:00
pure fn unwrap_expect<T>(+opt: Option<T>, reason: &str) -> T {
2012-07-24 14:46:40 -05:00
//! As unwrap, but with a specified failure message.
2012-08-03 13:43:10 -05:00
if opt.is_none() { fail reason.to_unique(); }
2012-09-11 19:17:54 -05:00
unwrap(move opt)
2012-07-24 14:46:40 -05:00
}
2012-08-20 14:23:37 -05:00
// Some of these should change to be &Option<T>, some should not. See below.
impl<T> Option<T> {
/**
* Update an optional value by optionally running its content through a
* function that returns an option.
*/
2012-09-21 21:37:57 -05:00
pure fn chain<U>(f: fn(T) -> Option<U>) -> Option<U> { chain(&self, f) }
/// Performs an operation on the contained value or does nothing
2012-09-21 21:37:57 -05:00
pure fn iter(f: fn(T)) { iter(&self, f) }
/// Returns true if the option equals `none`
2012-09-21 21:37:57 -05:00
pure fn is_none() -> bool { is_none(&self) }
/// Returns true if the option contains some value
2012-09-21 21:37:57 -05:00
pure fn is_some() -> bool { is_some(&self) }
}
2012-08-20 14:23:37 -05:00
impl<T> &Option<T> {
/**
* Update an optional value by optionally running its content by reference
* through a function that returns an option.
*/
2012-08-20 14:23:37 -05:00
pure fn chain_ref<U>(f: fn(x: &T) -> Option<U>) -> Option<U> {
chain_ref(self, f)
}
/// Applies a function to the contained value or returns a default
pure fn map_default<U>(+def: U, f: fn(x: &T) -> U) -> U
{ map_default(self, move def, f) }
/// Performs an operation on the contained value by reference
pure fn iter_ref(f: fn(x: &T)) { iter_ref(self, f) }
/// Maps a `some` value from one type to another by reference
pure fn map<U>(f: fn(x: &T) -> U) -> Option<U> { map(self, f) }
2012-08-16 20:06:05 -05:00
/// Gets an immutable reference to the value inside a `some`.
pure fn get_ref() -> &self/T { get_ref(self) }
}
impl<T: Copy> Option<T> {
/**
* Gets the value out of an option
*
* # Failure
*
* Fails if the value equals `none`
*/
2012-09-21 21:37:57 -05:00
pure fn get() -> T { get(&self) }
pure fn get_default(+def: T) -> T { get_default(&self, def) }
/**
* Gets the value out of an option, printing a specified message on
* failure
*
* # Failure
*
* Fails if the value equals `none`
*/
2012-09-21 21:37:57 -05:00
pure fn expect(+reason: ~str) -> T { expect(&self, reason) }
/// Applies a function zero or more times until the result is none.
pure fn while_some(blk: fn(+v: T) -> Option<T>) { while_some(self, blk) }
2012-03-16 19:49:58 -05:00
}
impl<T: Eq> Option<T> : Eq {
pure fn eq(other: &Option<T>) -> bool {
match self {
None => {
match (*other) {
None => true,
Some(_) => false
}
}
Some(self_contents) => {
match (*other) {
None => false,
Some(ref other_contents) =>
self_contents.eq(other_contents)
}
}
}
}
pure fn ne(other: &Option<T>) -> bool { !self.eq(other) }
}
#[test]
fn test_unwrap_ptr() {
let x = ~0;
let addr_x = ptr::addr_of(*x);
2012-08-20 14:23:37 -05:00
let opt = Some(x);
let y = unwrap(opt);
let addr_y = ptr::addr_of(*y);
assert addr_x == addr_y;
}
#[test]
fn test_unwrap_str() {
let x = ~"test";
let addr_x = str::as_buf(x, |buf, _len| ptr::addr_of(buf));
2012-08-20 14:23:37 -05:00
let opt = Some(x);
let y = unwrap(opt);
let addr_y = str::as_buf(y, |buf, _len| ptr::addr_of(buf));
assert addr_x == addr_y;
}
#[test]
fn test_unwrap_resource() {
struct R {
2012-09-06 21:40:15 -05:00
i: @mut int,
2012-06-21 23:30:16 -05:00
drop { *(self.i) += 1; }
}
2012-09-04 17:23:28 -05:00
fn R(i: @mut int) -> R {
R {
i: i
}
}
2012-03-26 20:35:18 -05:00
let i = @mut 0;
{
let x = R(i);
2012-08-20 14:23:37 -05:00
let opt = Some(x);
2012-02-21 16:25:51 -06:00
let _y = unwrap(opt);
}
assert *i == 1;
}
#[test]
fn test_option_dance() {
2012-08-20 14:23:37 -05:00
let x = Some(());
let mut y = Some(5);
let mut y2 = 0;
do x.iter |_x| {
y2 = swap_unwrap(&mut y);
}
assert y2 == 5;
assert y.is_none();
}
#[test] #[should_fail] #[ignore(cfg(windows))]
fn test_option_too_much_dance() {
2012-08-20 14:23:37 -05:00
let mut y = Some(util::NonCopyable());
let _y2 = swap_unwrap(&mut y);
let _y3 = swap_unwrap(&mut y);
}
#[test]
fn test_option_while_some() {
let mut i = 0;
2012-08-20 14:23:37 -05:00
do Some(10).while_some |j| {
i += 1;
if (j > 0) {
2012-08-20 14:23:37 -05:00
Some(j-1)
} else {
2012-08-20 14:23:37 -05:00
None
}
}
assert i == 11;
}
// Local Variables:
// mode: rust;
// fill-column: 78;
// indent-tabs-mode: nil
// c-basic-offset: 4
// buffer-file-coding-system: utf-8-unix
// End: