result.rs 27.9 KB
Newer Older
C
Chris Wong 已提交
1
// Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT
2 3 4 5 6 7 8 9 10
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.

11 12
//! Error handling with the `Result` type
//!
13
//! `Result<T, E>` is the type used for returning and propagating
14 15 16 17
//! errors. It is an enum with the variants, `Ok(T)`, representing
//! success and containing a value, and `Err(E)`, representing error
//! and containing an error value.
//!
J
Jonas Hietala 已提交
18
//! ```
19 20 21 22
//! enum Result<T, E> {
//!    Ok(T),
//!    Err(E)
//! }
J
Jonas Hietala 已提交
23
//! ```
24 25 26
//!
//! Functions return `Result` whenever errors are expected and
//! recoverable. In the `std` crate `Result` is most prominently used
A
Alex Crichton 已提交
27
//! for [I/O](../../std/io/index.html).
28 29 30 31
//!
//! A simple function returning `Result` might be
//! defined and used like so:
//!
J
Jonas Hietala 已提交
32
//! ```
33 34 35 36 37
//! #[deriving(Show)]
//! enum Version { Version1, Version2 }
//!
//! fn parse_version(header: &[u8]) -> Result<Version, &'static str> {
//!     if header.len() < 1 {
B
Brian Anderson 已提交
38
//!         return Err("invalid header length");
39 40
//!     }
//!     match header[0] {
S
Steven Fackler 已提交
41 42
//!         1 => Ok(Version::Version1),
//!         2 => Ok(Version::Version2),
43 44 45 46 47 48 49 50 51 52 53 54 55
//!         _ => Err("invalid version")
//!     }
//! }
//!
//! let version = parse_version(&[1, 2, 3, 4]);
//! match version {
//!     Ok(v) => {
//!         println!("working with version: {}", v);
//!     }
//!     Err(e) => {
//!         println!("error parsing header: {}", e);
//!     }
//! }
J
Jonas Hietala 已提交
56
//! ```
57 58 59
//!
//! Pattern matching on `Result`s is clear and straightforward for
//! simple cases, but `Result` comes with some convenience methods
N
Nicholas Bishop 已提交
60
//! that make working with it more succinct.
61
//!
J
Jonas Hietala 已提交
62
//! ```
63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79
//! let good_result: Result<int, int> = Ok(10);
//! let bad_result: Result<int, int> = Err(10);
//!
//! // The `is_ok` and `is_err` methods do what they say.
//! assert!(good_result.is_ok() && !good_result.is_err());
//! assert!(bad_result.is_err() && !bad_result.is_ok());
//!
//! // `map` consumes the `Result` and produces another.
//! let good_result: Result<int, int> = good_result.map(|i| i + 1);
//! let bad_result: Result<int, int> = bad_result.map(|i| i - 1);
//!
//! // Use `and_then` to continue the computation.
//! let good_result: Result<bool, int> = good_result.and_then(|i| Ok(i == 11));
//!
//! // Use `or_else` to handle the error.
//! let bad_result: Result<int, int> = bad_result.or_else(|i| Ok(11));
//!
B
Brian Anderson 已提交
80
//! // Consume the result and return the contents with `unwrap`.
81
//! let final_awesome_result = good_result.ok().unwrap();
J
Jonas Hietala 已提交
82
//! ```
83 84 85
//!
//! # Results must be used
//!
B
Brian Anderson 已提交
86 87 88 89 90 91 92
//! A common problem with using return values to indicate errors is
//! that it is easy to ignore the return value, thus failing to handle
//! the error. Result is annotated with the #[must_use] attribute,
//! which will cause the compiler to issue a warning when a Result
//! value is ignored. This makes `Result` especially useful with
//! functions that may encounter errors but don't otherwise return a
//! useful value.
93 94 95 96
//!
//! Consider the `write_line` method defined for I/O types
//! by the [`Writer`](../io/trait.Writer.html) trait:
//!
J
Jonas Hietala 已提交
97
//! ```
98 99 100 101 102
//! use std::io::IoError;
//!
//! trait Writer {
//!     fn write_line(&mut self, s: &str) -> Result<(), IoError>;
//! }
J
Jonas Hietala 已提交
103
//! ```
104 105
//!
//! *Note: The actual definition of `Writer` uses `IoResult`, which
J
Joseph Crail 已提交
106
//! is just a synonym for `Result<T, IoError>`.*
107
//!
108
//! This method doesn't produce a value, but the write may
109 110 111
//! fail. It's crucial to handle the error case, and *not* write
//! something like this:
//!
J
Jonas Hietala 已提交
112
//! ```{.ignore}
113 114 115 116 117 118 119
//! use std::io::{File, Open, Write};
//!
//! let mut file = File::open_mode(&Path::new("valuable_data.txt"), Open, Write);
//! // If `write_line` errors, then we'll never know, because the return
//! // value is ignored.
//! file.write_line("important message");
//! drop(file);
J
Jonas Hietala 已提交
120
//! ```
121 122 123 124 125
//!
//! If you *do* write that in Rust, the compiler will by give you a
//! warning (by default, controlled by the `unused_must_use` lint).
//!
//! You might instead, if you don't want to handle the error, simply
S
Steve Klabnik 已提交
126 127
//! panic, by converting to an `Option` with `ok`, then asserting
//! success with `expect`. This will panic if the write fails, proving
128 129
//! a marginally useful message indicating why:
//!
J
Jonas Hietala 已提交
130
//! ```{.no_run}
131 132 133 134 135
//! use std::io::{File, Open, Write};
//!
//! let mut file = File::open_mode(&Path::new("valuable_data.txt"), Open, Write);
//! file.write_line("important message").ok().expect("failed to write message");
//! drop(file);
J
Jonas Hietala 已提交
136
//! ```
137 138 139
//!
//! You might also simply assert success:
//!
J
Jonas Hietala 已提交
140
//! ```{.no_run}
141 142 143 144 145
//! # use std::io::{File, Open, Write};
//!
//! # let mut file = File::open_mode(&Path::new("valuable_data.txt"), Open, Write);
//! assert!(file.write_line("important message").is_ok());
//! # drop(file);
J
Jonas Hietala 已提交
146
//! ```
147 148 149
//!
//! Or propagate the error up the call stack with `try!`:
//!
J
Jonas Hietala 已提交
150
//! ```
151 152 153 154 155 156 157
//! # use std::io::{File, Open, Write, IoError};
//! fn write_message() -> Result<(), IoError> {
//!     let mut file = File::open_mode(&Path::new("valuable_data.txt"), Open, Write);
//!     try!(file.write_line("important message"));
//!     drop(file);
//!     return Ok(());
//! }
J
Jonas Hietala 已提交
158
//! ```
159 160 161 162 163 164 165 166 167 168
//!
//! # The `try!` macro
//!
//! When writing code that calls many functions that return the
//! `Result` type, the error handling can be tedious.  The `try!`
//! macro hides some of the boilerplate of propagating errors up the
//! call stack.
//!
//! It replaces this:
//!
J
Jonas Hietala 已提交
169
//! ```
170 171
//! use std::io::{File, Open, Write, IoError};
//!
172
//! struct Info {
173
//!     name: String,
174 175 176
//!     age: int,
//!     rating: int
//! }
177 178 179 180
//!
//! fn write_info(info: &Info) -> Result<(), IoError> {
//!     let mut file = File::open_mode(&Path::new("my_best_friends.txt"), Open, Write);
//!     // Early return on error
181
//!     match file.write_line(format!("name: {}", info.name).as_slice()) {
182 183 184
//!         Ok(_) => (),
//!         Err(e) => return Err(e)
//!     }
185
//!     match file.write_line(format!("age: {}", info.age).as_slice()) {
186 187 188
//!         Ok(_) => (),
//!         Err(e) => return Err(e)
//!     }
189
//!     return file.write_line(format!("rating: {}", info.rating).as_slice());
190
//! }
J
Jonas Hietala 已提交
191
//! ```
192 193 194
//!
//! With this:
//!
J
Jonas Hietala 已提交
195
//! ```
196 197
//! use std::io::{File, Open, Write, IoError};
//!
198
//! struct Info {
199
//!     name: String,
200 201 202
//!     age: int,
//!     rating: int
//! }
203 204 205 206
//!
//! fn write_info(info: &Info) -> Result<(), IoError> {
//!     let mut file = File::open_mode(&Path::new("my_best_friends.txt"), Open, Write);
//!     // Early return on error
207 208 209
//!     try!(file.write_line(format!("name: {}", info.name).as_slice()));
//!     try!(file.write_line(format!("age: {}", info.age).as_slice()));
//!     try!(file.write_line(format!("rating: {}", info.rating).as_slice()));
210 211
//!     return Ok(());
//! }
J
Jonas Hietala 已提交
212
//! ```
213 214 215 216 217 218 219 220
//!
//! *It's much nicer!*
//!
//! Wrapping an expression in `try!` will result in the unwrapped
//! success (`Ok`) value, unless the result is `Err`, in which case
//! `Err` is returned early from the enclosing function. Its simple definition
//! makes it clear:
//!
J
Jonas Hietala 已提交
221
//! ```
B
Brian Anderson 已提交
222
//! # #![feature(macro_rules)]
223 224
//! macro_rules! try(
//!     ($e:expr) => (match $e { Ok(e) => e, Err(e) => return Err(e) })
225
//! );
B
Brian Anderson 已提交
226
//! # fn main() { }
J
Jonas Hietala 已提交
227
//! ```
228 229
//!
//! `try!` is imported by the prelude, and is available everywhere.
230

A
Aaron Turon 已提交
231 232
#![stable]

233
use self::Result::{Ok, Err};
S
Steven Fackler 已提交
234

235 236
use clone::Clone;
use fmt::Show;
A
Aaron Turon 已提交
237
use iter::{Iterator, IteratorExt, DoubleEndedIterator, FromIterator, ExactSizeIterator};
238
use ops::{FnMut, FnOnce};
239 240 241
use option::Option::{mod, None, Some};
use slice::AsSlice;
use slice;
242 243

/// `Result` is a type that represents either success (`Ok`) or failure (`Err`).
244 245
///
/// See the [`std::result`](index.html) module documentation for details.
J
Jorge Aparicio 已提交
246
#[deriving(Clone, Copy, PartialEq, PartialOrd, Eq, Ord, Show, Hash)]
247
#[must_use]
A
Aaron Turon 已提交
248
#[stable]
249
pub enum Result<T, E> {
M
Marvin Löbel 已提交
250
    /// Contains the success value
251
    #[stable]
252
    Ok(T),
M
Marvin Löbel 已提交
253

254
    /// Contains the error value
255
    #[stable]
256
    Err(E)
257 258
}

259 260 261 262
/////////////////////////////////////////////////////////////////////////////
// Type implementation
/////////////////////////////////////////////////////////////////////////////

263
#[stable]
M
Marvin Löbel 已提交
264
impl<T, E> Result<T, E> {
265 266 267
    /////////////////////////////////////////////////////////////////////////
    // Querying the contained values
    /////////////////////////////////////////////////////////////////////////
268

269
    /// Returns true if the result is `Ok`
270 271 272
    ///
    /// # Example
    ///
J
Jonas Hietala 已提交
273 274 275 276 277 278 279
    /// ```
    /// let x: Result<int, &str> = Ok(-3);
    /// assert_eq!(x.is_ok(), true);
    ///
    /// let x: Result<int, &str> = Err("Some error message");
    /// assert_eq!(x.is_ok(), false);
    /// ```
280
    #[inline]
A
Aaron Turon 已提交
281
    #[stable]
E
Erick Tryzelaar 已提交
282 283 284 285 286 287
    pub fn is_ok(&self) -> bool {
        match *self {
            Ok(_) => true,
            Err(_) => false
        }
    }
288

289
    /// Returns true if the result is `Err`
290 291 292
    ///
    /// # Example
    ///
J
Jonas Hietala 已提交
293 294 295
    /// ```
    /// let x: Result<int, &str> = Ok(-3);
    /// assert_eq!(x.is_err(), false);
296
    ///
J
Jonas Hietala 已提交
297 298 299
    /// let x: Result<int, &str> = Err("Some error message");
    /// assert_eq!(x.is_err(), true);
    /// ```
300
    #[inline]
A
Aaron Turon 已提交
301
    #[stable]
E
Erick Tryzelaar 已提交
302 303 304
    pub fn is_err(&self) -> bool {
        !self.is_ok()
    }
305

306
    /////////////////////////////////////////////////////////////////////////
M
Marvin Löbel 已提交
307
    // Adapter for each variant
308 309
    /////////////////////////////////////////////////////////////////////////

M
Marvin Löbel 已提交
310
    /// Convert from `Result<T, E>` to `Option<T>`
311 312 313 314
    ///
    /// Converts `self` into an `Option<T>`, consuming `self`,
    /// and discarding the error, if any.
    ///
J
Jonas Hietala 已提交
315
    /// # Example
316
    ///
J
Jonas Hietala 已提交
317 318 319
    /// ```
    /// let x: Result<uint, &str> = Ok(2);
    /// assert_eq!(x.ok(), Some(2));
320
    ///
J
Jonas Hietala 已提交
321 322 323
    /// let x: Result<uint, &str> = Err("Nothing here");
    /// assert_eq!(x.ok(), None);
    /// ```
324
    #[inline]
A
Aaron Turon 已提交
325
    #[stable]
M
Marvin Löbel 已提交
326
    pub fn ok(self) -> Option<T> {
327
        match self {
M
Marvin Löbel 已提交
328 329
            Ok(x)  => Some(x),
            Err(_) => None,
330 331
        }
    }
332

M
Marvin Löbel 已提交
333
    /// Convert from `Result<T, E>` to `Option<E>`
334 335 336
    ///
    /// Converts `self` into an `Option<T>`, consuming `self`,
    /// and discarding the value, if any.
J
Jonas Hietala 已提交
337 338 339 340 341 342 343 344 345 346
    ///
    /// # Example
    ///
    /// ```
    /// let x: Result<uint, &str> = Ok(2);
    /// assert_eq!(x.err(), None);
    ///
    /// let x: Result<uint, &str> = Err("Nothing here");
    /// assert_eq!(x.err(), Some("Nothing here"));
    /// ```
347
    #[inline]
A
Aaron Turon 已提交
348
    #[stable]
M
Marvin Löbel 已提交
349
    pub fn err(self) -> Option<E> {
350
        match self {
M
Marvin Löbel 已提交
351 352
            Ok(_)  => None,
            Err(x) => Some(x),
353
        }
354 355
    }

M
Marvin Löbel 已提交
356 357 358 359 360
    /////////////////////////////////////////////////////////////////////////
    // Adapter for working with references
    /////////////////////////////////////////////////////////////////////////

    /// Convert from `Result<T, E>` to `Result<&T, &E>`
361 362 363
    ///
    /// Produces a new `Result`, containing a reference
    /// into the original, leaving the original in place.
J
Jonas Hietala 已提交
364 365 366 367 368 369 370 371
    ///
    /// ```
    /// let x: Result<uint, &str> = Ok(2);
    /// assert_eq!(x.as_ref(), Ok(&2));
    ///
    /// let x: Result<uint, &str> = Err("Error");
    /// assert_eq!(x.as_ref(), Err(&"Error"));
    /// ```
372
    #[inline]
A
Aaron Turon 已提交
373
    #[stable]
374
    pub fn as_ref(&self) -> Result<&T, &E> {
M
Marvin Löbel 已提交
375 376 377
        match *self {
            Ok(ref x) => Ok(x),
            Err(ref x) => Err(x),
378 379 380
        }
    }

M
Marvin Löbel 已提交
381
    /// Convert from `Result<T, E>` to `Result<&mut T, &mut E>`
J
Jonas Hietala 已提交
382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398
    ///
    /// ```
    /// fn mutate(r: &mut Result<int, int>) {
    ///     match r.as_mut() {
    ///         Ok(&ref mut v) => *v = 42,
    ///         Err(&ref mut e) => *e = 0,
    ///     }
    /// }
    ///
    /// let mut x: Result<int, int> = Ok(2);
    /// mutate(&mut x);
    /// assert_eq!(x.unwrap(), 42);
    ///
    /// let mut x: Result<int, int> = Err(13);
    /// mutate(&mut x);
    /// assert_eq!(x.unwrap_err(), 0);
    /// ```
399
    #[inline]
400 401
    #[stable]
    pub fn as_mut(&mut self) -> Result<&mut T, &mut E> {
M
Marvin Löbel 已提交
402 403 404
        match *self {
            Ok(ref mut x) => Ok(x),
            Err(ref mut x) => Err(x),
405 406
        }
    }
407

A
Aaron Turon 已提交
408
    /// Convert from `Result<T, E>` to `&mut [T]` (without copying)
J
Jonas Hietala 已提交
409 410 411 412 413
    ///
    /// ```
    /// let mut x: Result<&str, uint> = Ok("Gold");
    /// {
    ///     let v = x.as_mut_slice();
J
Jorge Aparicio 已提交
414
    ///     assert!(v == ["Gold"]);
J
Jonas Hietala 已提交
415
    ///     v[0] = "Silver";
J
Jorge Aparicio 已提交
416
    ///     assert!(v == ["Silver"]);
J
Jonas Hietala 已提交
417 418 419 420
    /// }
    /// assert_eq!(x, Ok("Silver"));
    ///
    /// let mut x: Result<&str, uint> = Err(45);
J
Jorge Aparicio 已提交
421
    /// assert!(x.as_mut_slice().is_empty());
J
Jonas Hietala 已提交
422
    /// ```
A
Aaron Turon 已提交
423 424
    #[inline]
    #[unstable = "waiting for mut conventions"]
425
    pub fn as_mut_slice(&mut self) -> &mut [T] {
A
Aaron Turon 已提交
426 427 428 429 430 431 432 433 434 435
        match *self {
            Ok(ref mut x) => slice::mut_ref_slice(x),
            Err(_) => {
                // work around lack of implicit coercion from fixed-size array to slice
                let emp: &mut [_] = &mut [];
                emp
            }
        }
    }

436 437 438 439
    /////////////////////////////////////////////////////////////////////////
    // Transforming contained values
    /////////////////////////////////////////////////////////////////////////

V
Virgile Andreani 已提交
440
    /// Maps a `Result<T, E>` to `Result<U, E>` by applying a function to an
441
    /// contained `Ok` value, leaving an `Err` value untouched.
442
    ///
443
    /// This function can be used to compose the results of two functions.
444
    ///
J
Jonas Hietala 已提交
445
    /// # Example
446 447 448 449
    ///
    /// Sum the lines of a buffer by mapping strings to numbers,
    /// ignoring I/O and parse errors:
    ///
J
Jonas Hietala 已提交
450
    /// ```
E
Erick Tryzelaar 已提交
451
    /// use std::io::IoResult;
452
    ///
E
Erick Tryzelaar 已提交
453
    /// let mut buffer = &mut b"1\n2\n3\n4\n";
454 455
    ///
    /// let mut sum = 0;
456
    ///
E
Erick Tryzelaar 已提交
457 458
    /// while !buffer.is_empty() {
    ///     let line: IoResult<String> = buffer.read_line();
459 460
    ///     // Convert the string line to a number using `map` and `from_str`
    ///     let val: IoResult<int> = line.map(|line| {
A
Alex Crichton 已提交
461
    ///         line.as_slice().trim_right().parse::<int>().unwrap_or(0)
462 463 464 465
    ///     });
    ///     // Add the value if there were no errors, otherwise add 0
    ///     sum += val.ok().unwrap_or(0);
    /// }
466 467
    ///
    /// assert!(sum == 10);
J
Jonas Hietala 已提交
468
    /// ```
469
    #[inline]
470
    #[stable]
471
    pub fn map<U, F: FnOnce(T) -> U>(self, op: F) -> Result<U,E> {
472
        match self {
473 474
            Ok(t) => Ok(op(t)),
            Err(e) => Err(e)
475 476 477
        }
    }

V
Virgile Andreani 已提交
478
    /// Maps a `Result<T, E>` to `Result<T, F>` by applying a function to an
479
    /// contained `Err` value, leaving an `Ok` value untouched.
480
    ///
481 482
    /// This function can be used to pass through a successful result while handling
    /// an error.
J
Jonas Hietala 已提交
483 484 485 486 487 488 489 490 491 492 493 494
    ///
    /// # Example
    ///
    /// ```
    /// fn stringify(x: uint) -> String { format!("error code: {}", x) }
    ///
    /// let x: Result<uint, uint> = Ok(2u);
    /// assert_eq!(x.map_err(stringify), Ok(2u));
    ///
    /// let x: Result<uint, uint> = Err(13);
    /// assert_eq!(x.map_err(stringify), Err("error code: 13".to_string()));
    /// ```
495
    #[inline]
496
    #[stable]
497
    pub fn map_err<F, O: FnOnce(E) -> F>(self, op: O) -> Result<T,F> {
498
        match self {
499 500
            Ok(t) => Ok(t),
            Err(e) => Err(op(e))
501 502 503
        }
    }

A
Aaron Turon 已提交
504 505 506 507 508
    /////////////////////////////////////////////////////////////////////////
    // Iterator constructors
    /////////////////////////////////////////////////////////////////////////

    /// Returns an iterator over the possibly contained value.
J
Jonas Hietala 已提交
509 510 511 512 513 514 515 516 517 518
    ///
    /// # Example
    ///
    /// ```
    /// let x: Result<uint, &str> = Ok(7);
    /// assert_eq!(x.iter().next(), Some(&7));
    ///
    /// let x: Result<uint, &str> = Err("nothing!");
    /// assert_eq!(x.iter().next(), None);
    /// ```
A
Aaron Turon 已提交
519
    #[inline]
520 521 522
    #[stable]
    pub fn iter(&self) -> Iter<T> {
        Iter { inner: self.as_ref().ok() }
A
Aaron Turon 已提交
523 524 525
    }

    /// Returns a mutable iterator over the possibly contained value.
J
Jonas Hietala 已提交
526 527 528 529 530 531 532 533 534 535 536 537 538 539
    ///
    /// # Example
    ///
    /// ```
    /// let mut x: Result<uint, &str> = Ok(7);
    /// match x.iter_mut().next() {
    ///     Some(&ref mut x) => *x = 40,
    ///     None => {},
    /// }
    /// assert_eq!(x, Ok(40));
    ///
    /// let mut x: Result<uint, &str> = Err("nothing!");
    /// assert_eq!(x.iter_mut().next(), None);
    /// ```
A
Aaron Turon 已提交
540
    #[inline]
541 542 543
    #[stable]
    pub fn iter_mut(&mut self) -> IterMut<T> {
        IterMut { inner: self.as_mut().ok() }
A
Aaron Turon 已提交
544 545 546
    }

    /// Returns a consuming iterator over the possibly contained value.
J
Jonas Hietala 已提交
547 548 549 550 551 552 553 554 555 556 557 558
    ///
    /// # Example
    ///
    /// ```
    /// let x: Result<uint, &str> = Ok(5);
    /// let v: Vec<uint> = x.into_iter().collect();
    /// assert_eq!(v, vec![5u]);
    ///
    /// let x: Result<uint, &str> = Err("nothing!");
    /// let v: Vec<uint> = x.into_iter().collect();
    /// assert_eq!(v, vec![]);
    /// ```
A
Aaron Turon 已提交
559
    #[inline]
560 561 562
    #[stable]
    pub fn into_iter(self) -> IntoIter<T> {
        IntoIter { inner: self.ok() }
A
Aaron Turon 已提交
563 564
    }

565 566 567 568 569
    ////////////////////////////////////////////////////////////////////////
    // Boolean operations on the values, eager and lazy
    /////////////////////////////////////////////////////////////////////////

    /// Returns `res` if the result is `Ok`, otherwise returns the `Err` value of `self`.
J
Jonas Hietala 已提交
570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589
    ///
    /// # Example
    ///
    /// ```
    /// let x: Result<uint, &str> = Ok(2);
    /// let y: Result<&str, &str> = Err("late error");
    /// assert_eq!(x.and(y), Err("late error"));
    ///
    /// let x: Result<uint, &str> = Err("early error");
    /// let y: Result<&str, &str> = Ok("foo");
    /// assert_eq!(x.and(y), Err("early error"));
    ///
    /// let x: Result<uint, &str> = Err("not a 2");
    /// let y: Result<&str, &str> = Err("late error");
    /// assert_eq!(x.and(y), Err("not a 2"));
    ///
    /// let x: Result<uint, &str> = Ok(2);
    /// let y: Result<&str, &str> = Ok("different result type");
    /// assert_eq!(x.and(y), Ok("different result type"));
    /// ```
590
    #[inline]
A
Aaron Turon 已提交
591
    #[stable]
592
    pub fn and<U>(self, res: Result<U, E>) -> Result<U, E> {
593 594
        match self {
            Ok(_) => res,
595
            Err(e) => Err(e),
596 597 598
        }
    }

599
    /// Calls `op` if the result is `Ok`, otherwise returns the `Err` value of `self`.
600
    ///
J
Jonas Hietala 已提交
601 602 603 604 605 606 607 608 609 610 611 612 613
    /// This function can be used for control flow based on result values.
    ///
    /// # Example
    ///
    /// ```
    /// fn sq(x: uint) -> Result<uint, uint> { Ok(x * x) }
    /// fn err(x: uint) -> Result<uint, uint> { Err(x) }
    ///
    /// assert_eq!(Ok(2).and_then(sq).and_then(sq), Ok(16));
    /// assert_eq!(Ok(2).and_then(sq).and_then(err), Err(4));
    /// assert_eq!(Ok(2).and_then(err).and_then(sq), Err(2));
    /// assert_eq!(Err(3).and_then(sq).and_then(sq), Err(3));
    /// ```
614
    #[inline]
615
    #[stable]
616
    pub fn and_then<U, F: FnOnce(T) -> Result<U, E>>(self, op: F) -> Result<U, E> {
617 618
        match self {
            Ok(t) => op(t),
619
            Err(e) => Err(e),
620
        }
621 622
    }

623
    /// Returns `res` if the result is `Err`, otherwise returns the `Ok` value of `self`.
J
Jonas Hietala 已提交
624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643
    ///
    /// # Example
    ///
    /// ```
    /// let x: Result<uint, &str> = Ok(2);
    /// let y: Result<uint, &str> = Err("late error");
    /// assert_eq!(x.or(y), Ok(2));
    ///
    /// let x: Result<uint, &str> = Err("early error");
    /// let y: Result<uint, &str> = Ok(2);
    /// assert_eq!(x.or(y), Ok(2));
    ///
    /// let x: Result<uint, &str> = Err("not a 2");
    /// let y: Result<uint, &str> = Err("late error");
    /// assert_eq!(x.or(y), Err("late error"));
    ///
    /// let x: Result<uint, &str> = Ok(2);
    /// let y: Result<uint, &str> = Ok(100);
    /// assert_eq!(x.or(y), Ok(2));
    /// ```
644
    #[inline]
A
Aaron Turon 已提交
645
    #[stable]
646 647 648 649 650 651 652
    pub fn or(self, res: Result<T, E>) -> Result<T, E> {
        match self {
            Ok(_) => self,
            Err(_) => res,
        }
    }

653
    /// Calls `op` if the result is `Err`, otherwise returns the `Ok` value of `self`.
654
    ///
J
Jonas Hietala 已提交
655 656 657 658 659 660 661 662 663 664 665 666 667
    /// This function can be used for control flow based on result values.
    ///
    /// # Example
    ///
    /// ```
    /// fn sq(x: uint) -> Result<uint, uint> { Ok(x * x) }
    /// fn err(x: uint) -> Result<uint, uint> { Err(x) }
    ///
    /// assert_eq!(Ok(2).or_else(sq).or_else(sq), Ok(2));
    /// assert_eq!(Ok(2).or_else(err).or_else(sq), Ok(2));
    /// assert_eq!(Err(3).or_else(sq).or_else(err), Ok(9));
    /// assert_eq!(Err(3).or_else(err).or_else(err), Err(3));
    /// ```
668
    #[inline]
669
    #[stable]
670
    pub fn or_else<F, O: FnOnce(E) -> Result<T, F>>(self, op: O) -> Result<T, F> {
671 672
        match self {
            Ok(t) => Ok(t),
673
            Err(e) => op(e),
674
        }
675
    }
676

M
Marvin Löbel 已提交
677
    /// Unwraps a result, yielding the content of an `Ok`.
678
    /// Else it returns `optb`.
J
Jonas Hietala 已提交
679 680 681 682 683 684 685 686 687 688 689
    ///
    /// # Example
    ///
    /// ```
    /// let optb = 2u;
    /// let x: Result<uint, &str> = Ok(9u);
    /// assert_eq!(x.unwrap_or(optb), 9u);
    ///
    /// let x: Result<uint, &str> = Err("error");
    /// assert_eq!(x.unwrap_or(optb), optb);
    /// ```
690
    #[inline]
691
    #[stable]
692
    pub fn unwrap_or(self, optb: T) -> T {
M
Marvin Löbel 已提交
693 694
        match self {
            Ok(t) => t,
695
            Err(_) => optb
M
Marvin Löbel 已提交
696 697 698
        }
    }

699
    /// Unwraps a result, yielding the content of an `Ok`.
700
    /// If the value is an `Err` then it calls `op` with its value.
J
Jonas Hietala 已提交
701 702 703 704 705 706 707 708 709
    ///
    /// # Example
    ///
    /// ```
    /// fn count(x: &str) -> uint { x.len() }
    ///
    /// assert_eq!(Ok(2u).unwrap_or_else(count), 2u);
    /// assert_eq!(Err("foo").unwrap_or_else(count), 3u);
    /// ```
710
    #[inline]
711
    #[stable]
712
    pub fn unwrap_or_else<F: FnOnce(E) -> T>(self, op: F) -> T {
713 714
        match self {
            Ok(t) => t,
715
            Err(e) => op(e)
716 717
        }
    }
718
}
719

720
#[stable]
721 722 723
impl<T, E: Show> Result<T, E> {
    /// Unwraps a result, yielding the content of an `Ok`.
    ///
S
Steve Klabnik 已提交
724
    /// # Panics
725
    ///
S
Steve Klabnik 已提交
726
    /// Panics if the value is an `Err`, with a custom panic message provided
727
    /// by the `Err`'s value.
J
Jonas Hietala 已提交
728 729 730 731 732 733 734 735 736 737
    ///
    /// # Example
    ///
    /// ```
    /// let x: Result<uint, &str> = Ok(2u);
    /// assert_eq!(x.unwrap(), 2u);
    /// ```
    ///
    /// ```{.should_fail}
    /// let x: Result<uint, &str> = Err("emergency failure");
S
Steve Klabnik 已提交
738
    /// x.unwrap(); // panics with `emergency failure`
J
Jonas Hietala 已提交
739
    /// ```
740
    #[inline]
741
    #[stable]
742 743 744 745
    pub fn unwrap(self) -> T {
        match self {
            Ok(t) => t,
            Err(e) =>
S
Steve Klabnik 已提交
746
                panic!("called `Result::unwrap()` on an `Err` value: {}", e)
747 748 749 750
        }
    }
}

751
#[stable]
752 753 754
impl<T: Show, E> Result<T, E> {
    /// Unwraps a result, yielding the content of an `Err`.
    ///
S
Steve Klabnik 已提交
755
    /// # Panics
756
    ///
S
Steve Klabnik 已提交
757
    /// Panics if the value is an `Ok`, with a custom panic message provided
758
    /// by the `Ok`'s value.
J
Jonas Hietala 已提交
759 760 761 762 763
    ///
    /// # Example
    ///
    /// ```{.should_fail}
    /// let x: Result<uint, &str> = Ok(2u);
S
Steve Klabnik 已提交
764
    /// x.unwrap_err(); // panics with `2`
J
Jonas Hietala 已提交
765 766 767 768 769 770
    /// ```
    ///
    /// ```
    /// let x: Result<uint, &str> = Err("emergency failure");
    /// assert_eq!(x.unwrap_err(), "emergency failure");
    /// ```
771
    #[inline]
772
    #[stable]
773 774 775
    pub fn unwrap_err(self) -> E {
        match self {
            Ok(t) =>
S
Steve Klabnik 已提交
776
                panic!("called `Result::unwrap_err()` on an `Ok` value: {}", t),
777 778 779 780 781
            Err(e) => e
        }
    }
}

782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801
/////////////////////////////////////////////////////////////////////////////
// Trait implementations
/////////////////////////////////////////////////////////////////////////////

impl<T, E> AsSlice<T> for Result<T, E> {
    /// Convert from `Result<T, E>` to `&[T]` (without copying)
    #[inline]
    #[stable]
    fn as_slice<'a>(&'a self) -> &'a [T] {
        match *self {
            Ok(ref x) => slice::ref_slice(x),
            Err(_) => {
                // work around lack of implicit coercion from fixed-size array to slice
                let emp: &[_] = &[];
                emp
            }
        }
    }
}

A
Aaron Turon 已提交
802
/////////////////////////////////////////////////////////////////////////////
803
// The Result Iterators
A
Aaron Turon 已提交
804 805
/////////////////////////////////////////////////////////////////////////////

806 807 808
/// An iterator over a reference to the `Ok` variant of a `Result`.
#[stable]
pub struct Iter<'a, T: 'a> { inner: Option<&'a T> }
A
Aaron Turon 已提交
809

810
impl<'a, T> Iterator<&'a T> for Iter<'a, T> {
A
Aaron Turon 已提交
811
    #[inline]
812 813 814 815 816
    fn next(&mut self) -> Option<&'a T> { self.inner.take() }
    #[inline]
    fn size_hint(&self) -> (uint, Option<uint>) {
        let n = if self.inner.is_some() {1} else {0};
        (n, Some(n))
A
Aaron Turon 已提交
817
    }
818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833
}

impl<'a, T> DoubleEndedIterator<&'a T> for Iter<'a, T> {
    #[inline]
    fn next_back(&mut self) -> Option<&'a T> { self.inner.take() }
}

impl<'a, T> ExactSizeIterator<&'a T> for Iter<'a, T> {}

impl<'a, T> Clone for Iter<'a, T> {
    fn clone(&self) -> Iter<'a, T> { Iter { inner: self.inner } }
}

/// An iterator over a mutable reference to the `Ok` variant of a `Result`.
#[stable]
pub struct IterMut<'a, T: 'a> { inner: Option<&'a mut T> }
A
Aaron Turon 已提交
834

835 836 837
impl<'a, T> Iterator<&'a mut T> for IterMut<'a, T> {
    #[inline]
    fn next(&mut self) -> Option<&'a mut T> { self.inner.take() }
A
Aaron Turon 已提交
838 839
    #[inline]
    fn size_hint(&self) -> (uint, Option<uint>) {
840 841
        let n = if self.inner.is_some() {1} else {0};
        (n, Some(n))
A
Aaron Turon 已提交
842 843
    }
}
844

845
impl<'a, T> DoubleEndedIterator<&'a mut T> for IterMut<'a, T> {
A
Aaron Turon 已提交
846
    #[inline]
847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862
    fn next_back(&mut self) -> Option<&'a mut T> { self.inner.take() }
}

impl<'a, T> ExactSizeIterator<&'a mut T> for IterMut<'a, T> {}

/// An iterator over the value in a `Ok` variant of a `Result`.
#[stable]
pub struct IntoIter<T> { inner: Option<T> }

impl<T> Iterator<T> for IntoIter<T> {
    #[inline]
    fn next(&mut self) -> Option<T> { self.inner.take() }
    #[inline]
    fn size_hint(&self) -> (uint, Option<uint>) {
        let n = if self.inner.is_some() {1} else {0};
        (n, Some(n))
863
    }
A
Aaron Turon 已提交
864 865
}

866 867 868 869 870 871
impl<T> DoubleEndedIterator<T> for IntoIter<T> {
    #[inline]
    fn next_back(&mut self) -> Option<T> { self.inner.take() }
}

impl<T> ExactSizeIterator<T> for IntoIter<T> {}
872

A
Aaron Turon 已提交
873
/////////////////////////////////////////////////////////////////////////////
874
// FromIterator
A
Aaron Turon 已提交
875 876
/////////////////////////////////////////////////////////////////////////////

877
#[stable]
A
Aaron Turon 已提交
878 879 880 881 882 883 884 885 886 887 888 889
impl<A, E, V: FromIterator<A>> FromIterator<Result<A, E>> for Result<V, E> {
    /// Takes each element in the `Iterator`: if it is an `Err`, no further
    /// elements are taken, and the `Err` is returned. Should no `Err` occur, a
    /// container with the values of each `Result` is returned.
    ///
    /// Here is an example which increments every integer in a vector,
    /// checking for overflow:
    ///
    /// ```rust
    /// use std::uint;
    ///
    /// let v = vec!(1u, 2u);
890 891
    /// let res: Result<Vec<uint>, &'static str> = v.iter().map(|&x: &uint|
    ///     if x == uint::MAX { Err("Overflow!") }
A
Aaron Turon 已提交
892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915
    ///     else { Ok(x + 1) }
    /// ).collect();
    /// assert!(res == Ok(vec!(2u, 3u)));
    /// ```
    #[inline]
    fn from_iter<I: Iterator<Result<A, E>>>(iter: I) -> Result<V, E> {
        // FIXME(#11084): This could be replaced with Iterator::scan when this
        // performance bug is closed.

        struct Adapter<Iter, E> {
            iter: Iter,
            err: Option<E>,
        }

        impl<T, E, Iter: Iterator<Result<T, E>>> Iterator<T> for Adapter<Iter, E> {
            #[inline]
            fn next(&mut self) -> Option<T> {
                match self.iter.next() {
                    Some(Ok(value)) => Some(value),
                    Some(Err(err)) => {
                        self.err = Some(err);
                        None
                    }
                    None => None,
916
                }
917
            }
918
        }
919

A
Aaron Turon 已提交
920 921
        let mut adapter = Adapter { iter: iter, err: None };
        let v: V = FromIterator::from_iter(adapter.by_ref());
922

A
Aaron Turon 已提交
923 924 925 926
        match adapter.err {
            Some(err) => Err(err),
            None => Ok(v),
        }
927 928 929
    }
}

930 931 932 933
/////////////////////////////////////////////////////////////////////////////
// FromIterator
/////////////////////////////////////////////////////////////////////////////

934
/// Perform a fold operation over the result values from an iterator.
935
///
936 937
/// If an `Err` is encountered, it is immediately returned.
/// Otherwise, the folded value is returned.
938
#[inline]
A
Aaron Turon 已提交
939
#[experimental]
940 941 942
pub fn fold<T,
            V,
            E,
943
            F: FnMut(V, T) -> V,
944 945 946
            Iter: Iterator<Result<T, E>>>(
            mut iterator: Iter,
            mut init: V,
947
            mut f: F)
948
            -> Result<V, E> {
949 950 951 952
    for t in iterator {
        match t {
            Ok(v) => init = f(init, v),
            Err(u) => return Err(u)
953 954
        }
    }
955
    Ok(init)
956
}