]> git.lizzy.rs Git - rust.git/blob - src/libcore/convert.rs
nit: update error text to cite tracking issue
[rust.git] / src / libcore / convert.rs
1 //! Traits for conversions between types.
2 //!
3 //! The traits in this module provide a way to convert from one type to another type.
4 //! Each trait serves a different purpose:
5 //!
6 //! - Implement the [`AsRef`] trait for cheap reference-to-reference conversions
7 //! - Implement the [`AsMut`] trait for cheap mutable-to-mutable conversions
8 //! - Implement the [`From`] trait for consuming value-to-value conversions
9 //! - Implement the [`Into`] trait for consuming value-to-value conversions to types
10 //!   outside the current crate
11 //! - The [`TryFrom`] and [`TryInto`] traits behave like [`From`] and [`Into`],
12 //!   but should be implemented when the conversion can fail.
13 //!
14 //! The traits in this module are often used as trait bounds for generic functions such that to
15 //! arguments of multiple types are supported. See the documentation of each trait for examples.
16 //!
17 //! As a library author, you should always prefer implementing [`From<T>`][`From`] or
18 //! [`TryFrom<T>`][`TryFrom`] rather than [`Into<U>`][`Into`] or [`TryInto<U>`][`TryInto`],
19 //! as [`From`] and [`TryFrom`] provide greater flexibility and offer
20 //! equivalent [`Into`] or [`TryInto`] implementations for free, thanks to a
21 //! blanket implementation in the standard library. Only implement [`Into`] or [`TryInto`]
22 //! when a conversion to a type outside the current crate is required.
23 //!
24 //! # Generic Implementations
25 //!
26 //! - [`AsRef`] and [`AsMut`] auto-dereference if the inner type is a reference
27 //! - [`From`]`<U> for T` implies [`Into`]`<T> for U`
28 //! - [`TryFrom`]`<U> for T` implies [`TryInto`]`<T> for U`
29 //! - [`From`] and [`Into`] are reflexive, which means that all types can
30 //!   `into` themselves and `from` themselves
31 //!
32 //! See each trait for usage examples.
33 //!
34 //! [`Into`]: trait.Into.html
35 //! [`From`]: trait.From.html
36 //! [`TryFrom`]: trait.TryFrom.html
37 //! [`TryInto`]: trait.TryInto.html
38 //! [`AsRef`]: trait.AsRef.html
39 //! [`AsMut`]: trait.AsMut.html
40
41 #![stable(feature = "rust1", since = "1.0.0")]
42
43 use crate::fmt;
44
45 /// The identity function.
46 ///
47 /// Two things are important to note about this function:
48 ///
49 /// - It is not always equivalent to a closure like `|x| x`, since the
50 ///   closure may coerce `x` into a different type.
51 ///
52 /// - It moves the input `x` passed to the function.
53 ///
54 /// While it might seem strange to have a function that just returns back the
55 /// input, there are some interesting uses.
56 ///
57 /// # Examples
58 ///
59 /// Using `identity` to do nothing in a sequence of other, interesting,
60 /// functions:
61 ///
62 /// ```rust
63 /// use std::convert::identity;
64 ///
65 /// fn manipulation(x: u32) -> u32 {
66 ///     // Let's pretend that adding one is an interesting function.
67 ///     x + 1
68 /// }
69 ///
70 /// let _arr = &[identity, manipulation];
71 /// ```
72 ///
73 /// Using `identity` as a "do nothing" base case in a conditional:
74 ///
75 /// ```rust
76 /// use std::convert::identity;
77 ///
78 /// # let condition = true;
79 /// #
80 /// # fn manipulation(x: u32) -> u32 { x + 1 }
81 /// #
82 /// let do_stuff = if condition { manipulation } else { identity };
83 ///
84 /// // Do more interesting stuff...
85 ///
86 /// let _results = do_stuff(42);
87 /// ```
88 ///
89 /// Using `identity` to keep the `Some` variants of an iterator of `Option<T>`:
90 ///
91 /// ```rust
92 /// use std::convert::identity;
93 ///
94 /// let iter = vec![Some(1), None, Some(3)].into_iter();
95 /// let filtered = iter.filter_map(identity).collect::<Vec<_>>();
96 /// assert_eq!(vec![1, 3], filtered);
97 /// ```
98 #[stable(feature = "convert_id", since = "1.33.0")]
99 #[inline]
100 pub const fn identity<T>(x: T) -> T { x }
101
102 /// Used to do a cheap reference-to-reference conversion.
103 ///
104 /// This trait is similar to [`AsMut`] which is used for converting between mutable references.
105 /// If you need to do a costly conversion it is better to implement [`From`] with type
106 /// `&T` or write a custom function.
107 ///
108 /// `AsRef` has the same signature as [`Borrow`], but [`Borrow`] is different in few aspects:
109 ///
110 /// - Unlike `AsRef`, [`Borrow`] has a blanket impl for any `T`, and can be used to accept either
111 ///   a reference or a value.
112 /// - [`Borrow`] also requires that [`Hash`], [`Eq`] and [`Ord`] for borrowed value are
113 ///   equivalent to those of the owned value. For this reason, if you want to
114 ///   borrow only a single field of a struct you can implement `AsRef`, but not [`Borrow`].
115 ///
116 /// **Note: This trait must not fail**. If the conversion can fail, use a
117 /// dedicated method which returns an [`Option<T>`] or a [`Result<T, E>`].
118 ///
119 /// # Generic Implementations
120 ///
121 /// - `AsRef` auto-dereferences if the inner type is a reference or a mutable
122 ///   reference (e.g.: `foo.as_ref()` will work the same if `foo` has type
123 ///   `&mut Foo` or `&&mut Foo`)
124 ///
125 /// # Examples
126 ///
127 /// By using trait bounds we can accept arguments of different types as long as they can be
128 /// converted to the specified type `T`.
129 ///
130 /// For example: By creating a generic function that takes an `AsRef<str>` we express that we
131 /// want to accept all references that can be converted to [`&str`] as an argument.
132 /// Since both [`String`] and [`&str`] implement `AsRef<str>` we can accept both as input argument.
133 ///
134 /// [`Option<T>`]: ../../std/option/enum.Option.html
135 /// [`Result<T, E>`]: ../../std/result/enum.Result.html
136 /// [`Borrow`]: ../../std/borrow/trait.Borrow.html
137 /// [`Hash`]: ../../std/hash/trait.Hash.html
138 /// [`Eq`]: ../../std/cmp/trait.Eq.html
139 /// [`Ord`]: ../../std/cmp/trait.Ord.html
140 /// [`&str`]: ../../std/primitive.str.html
141 /// [`String`]: ../../std/string/struct.String.html
142 ///
143 /// ```
144 /// fn is_hello<T: AsRef<str>>(s: T) {
145 ///    assert_eq!("hello", s.as_ref());
146 /// }
147 ///
148 /// let s = "hello";
149 /// is_hello(s);
150 ///
151 /// let s = "hello".to_string();
152 /// is_hello(s);
153 /// ```
154 #[stable(feature = "rust1", since = "1.0.0")]
155 pub trait AsRef<T: ?Sized> {
156     /// Performs the conversion.
157     #[stable(feature = "rust1", since = "1.0.0")]
158     fn as_ref(&self) -> &T;
159 }
160
161 /// Used to do a cheap mutable-to-mutable reference conversion.
162 ///
163 /// This trait is similar to [`AsRef`] but used for converting between mutable
164 /// references. If you need to do a costly conversion it is better to
165 /// implement [`From`] with type `&mut T` or write a custom function.
166 ///
167 /// **Note: This trait must not fail**. If the conversion can fail, use a
168 /// dedicated method which returns an [`Option<T>`] or a [`Result<T, E>`].
169 ///
170 /// [`Option<T>`]: ../../std/option/enum.Option.html
171 /// [`Result<T, E>`]: ../../std/result/enum.Result.html
172 ///
173 /// # Generic Implementations
174 ///
175 /// - `AsMut` auto-dereferences if the inner type is a mutable reference
176 ///   (e.g.: `foo.as_mut()` will work the same if `foo` has type `&mut Foo`
177 ///   or `&mut &mut Foo`)
178 ///
179 /// # Examples
180 ///
181 /// Using `AsMut` as trait bound for a generic function we can accept all mutable references
182 /// that can be converted to type `&mut T`. Because [`Box<T>`] implements `AsMut<T>` we can
183 /// write a function `add_one` that takes all arguments that can be converted to `&mut u64`.
184 /// Because [`Box<T>`] implements `AsMut<T>`, `add_one` accepts arguments of type
185 /// `&mut Box<u64>` as well:
186 ///
187 /// ```
188 /// fn add_one<T: AsMut<u64>>(num: &mut T) {
189 ///     *num.as_mut() += 1;
190 /// }
191 ///
192 /// let mut boxed_num = Box::new(0);
193 /// add_one(&mut boxed_num);
194 /// assert_eq!(*boxed_num, 1);
195 /// ```
196 ///
197 /// [`Box<T>`]: ../../std/boxed/struct.Box.html
198 #[stable(feature = "rust1", since = "1.0.0")]
199 pub trait AsMut<T: ?Sized> {
200     /// Performs the conversion.
201     #[stable(feature = "rust1", since = "1.0.0")]
202     fn as_mut(&mut self) -> &mut T;
203 }
204
205 /// A value-to-value conversion that consumes the input value. The
206 /// opposite of [`From`].
207 ///
208 /// One should only implement [`Into`] if a conversion to a type outside the current crate is
209 /// required. Otherwise one should always prefer implementing [`From`] over [`Into`] because
210 /// implementing [`From`] automatically provides one with a implementation of [`Into`] thanks to
211 /// the blanket implementation in the standard library. [`From`] cannot do these type of
212 /// conversions because of Rust's orphaning rules.
213 ///
214 /// **Note: This trait must not fail**. If the conversion can fail, use [`TryInto`].
215 ///
216 /// # Generic Implementations
217 ///
218 /// - [`From`]`<T> for U` implies `Into<U> for T`
219 /// - [`Into`] is reflexive, which means that `Into<T> for T` is implemented
220 ///
221 /// # Implementing [`Into`] for conversions to external types
222 ///
223 /// If the destination type is not part of the current crate
224 /// then you can't implement [`From`] directly.
225 /// For example, take this code:
226 ///
227 /// ```compile_fail
228 /// struct Wrapper<T>(Vec<T>);
229 /// impl<T> From<Wrapper<T>> for Vec<T> {
230 ///     fn from(w: Wrapper<T>) -> Vec<T> {
231 ///         w.0
232 ///     }
233 /// }
234 /// ```
235 /// This will fail to compile because we cannot implement a trait for a type
236 /// if both the trait and the type are not defined by the current crate.
237 /// This is due to Rust's orphaning rules. To bypass this, you can implement [`Into`] directly:
238 ///
239 /// ```
240 /// struct Wrapper<T>(Vec<T>);
241 /// impl<T> Into<Vec<T>> for Wrapper<T> {
242 ///     fn into(self) -> Vec<T> {
243 ///         self.0
244 ///     }
245 /// }
246 /// ```
247 ///
248 /// It is important to understand that [`Into`] does not provide a [`From`] implementation
249 /// (as [`From`] does with [`Into`]). Therefore, you should always try to implement [`From`]
250 /// and then fall back to [`Into`] if [`From`] can't be implemented.
251 ///
252 /// Prefer using [`Into`] over [`From`] when specifying trait bounds on a generic function
253 /// to ensure that types that only implement [`Into`] can be used as well.
254 ///
255 /// # Examples
256 ///
257 /// [`String`] implements [`Into`]`<`[`Vec`]`<`[`u8`]`>>`:
258 ///
259 /// In order to express that we want a generic function to take all arguments that can be
260 /// converted to a specified type `T`, we can use a trait bound of [`Into`]`<T>`.
261 /// For example: The function `is_hello` takes all arguments that can be converted into a
262 /// [`Vec`]`<`[`u8`]`>`.
263 ///
264 /// ```
265 /// fn is_hello<T: Into<Vec<u8>>>(s: T) {
266 ///    let bytes = b"hello".to_vec();
267 ///    assert_eq!(bytes, s.into());
268 /// }
269 ///
270 /// let s = "hello".to_string();
271 /// is_hello(s);
272 /// ```
273 ///
274 /// [`TryInto`]: trait.TryInto.html
275 /// [`Option<T>`]: ../../std/option/enum.Option.html
276 /// [`Result<T, E>`]: ../../std/result/enum.Result.html
277 /// [`String`]: ../../std/string/struct.String.html
278 /// [`From`]: trait.From.html
279 /// [`Into`]: trait.Into.html
280 /// [`Vec`]: ../../std/vec/struct.Vec.html
281 #[stable(feature = "rust1", since = "1.0.0")]
282 pub trait Into<T>: Sized {
283     /// Performs the conversion.
284     #[stable(feature = "rust1", since = "1.0.0")]
285     fn into(self) -> T;
286 }
287
288 /// Used to do value-to-value conversions while consuming the input value. It is the reciprocal of
289 /// [`Into`].
290 ///
291 /// One should always prefer implementing `From` over [`Into`]
292 /// because implementing `From` automatically provides one with a implementation of [`Into`]
293 /// thanks to the blanket implementation in the standard library.
294 ///
295 /// Only implement [`Into`] if a conversion to a type outside the current crate is required.
296 /// `From` cannot do these type of conversions because of Rust's orphaning rules.
297 /// See [`Into`] for more details.
298 ///
299 /// Prefer using [`Into`] over using `From` when specifying trait bounds on a generic function.
300 /// This way, types that directly implement [`Into`] can be used as arguments as well.
301 ///
302 /// The `From` is also very useful when performing error handling. When constructing a function
303 /// that is capable of failing, the return type will generally be of the form `Result<T, E>`.
304 /// The `From` trait simplifies error handling by allowing a function to return a single error type
305 /// that encapsulate multiple error types. See the "Examples" section and [the book][book] for more
306 /// details.
307 ///
308 /// **Note: This trait must not fail**. If the conversion can fail, use [`TryFrom`].
309 ///
310 /// # Generic Implementations
311 ///
312 /// - `From<T> for U` implies [`Into`]`<U> for T`
313 /// - `From` is reflexive, which means that `From<T> for T` is implemented
314 ///
315 /// # Examples
316 ///
317 /// [`String`] implements `From<&str>`:
318 ///
319 /// An explicit conversion from a `&str` to a String is done as follows:
320 ///
321 /// ```
322 /// let string = "hello".to_string();
323 /// let other_string = String::from("hello");
324 ///
325 /// assert_eq!(string, other_string);
326 /// ```
327 ///
328 /// While performing error handling it is often useful to implement `From` for your own error type.
329 /// By converting underlying error types to our own custom error type that encapsulates the
330 /// underlying error type, we can return a single error type without losing information on the
331 /// underlying cause. The '?' operator automatically converts the underlying error type to our
332 /// custom error type by calling `Into<CliError>::into` which is automatically provided when
333 /// implementing `From`. The compiler then infers which implementation of `Into` should be used.
334 ///
335 /// ```
336 /// use std::fs;
337 /// use std::io;
338 /// use std::num;
339 ///
340 /// enum CliError {
341 ///     IoError(io::Error),
342 ///     ParseError(num::ParseIntError),
343 /// }
344 ///
345 /// impl From<io::Error> for CliError {
346 ///     fn from(error: io::Error) -> Self {
347 ///         CliError::IoError(error)
348 ///     }
349 /// }
350 ///
351 /// impl From<num::ParseIntError> for CliError {
352 ///     fn from(error: num::ParseIntError) -> Self {
353 ///         CliError::ParseError(error)
354 ///     }
355 /// }
356 ///
357 /// fn open_and_parse_file(file_name: &str) -> Result<i32, CliError> {
358 ///     let mut contents = fs::read_to_string(&file_name)?;
359 ///     let num: i32 = contents.trim().parse()?;
360 ///     Ok(num)
361 /// }
362 /// ```
363 ///
364 /// [`TryFrom`]: trait.TryFrom.html
365 /// [`Option<T>`]: ../../std/option/enum.Option.html
366 /// [`Result<T, E>`]: ../../std/result/enum.Result.html
367 /// [`String`]: ../../std/string/struct.String.html
368 /// [`Into`]: trait.Into.html
369 /// [`from`]: trait.From.html#tymethod.from
370 /// [book]: ../../book/ch09-00-error-handling.html
371 #[stable(feature = "rust1", since = "1.0.0")]
372 #[rustc_on_unimplemented(
373     on(
374         all(_Self="&str", T="std::string::String"),
375         note="to coerce a `{T}` into a `{Self}`, use `&*` as a prefix",
376     )
377 )]
378 pub trait From<T>: Sized {
379     /// Performs the conversion.
380     #[stable(feature = "rust1", since = "1.0.0")]
381     fn from(_: T) -> Self;
382 }
383
384 /// An attempted conversion that consumes `self`, which may or may not be
385 /// expensive.
386 ///
387 /// Library authors should usually not directly implement this trait,
388 /// but should prefer implementing the [`TryFrom`] trait, which offers
389 /// greater flexibility and provides an equivalent `TryInto`
390 /// implementation for free, thanks to a blanket implementation in the
391 /// standard library. For more information on this, see the
392 /// documentation for [`Into`].
393 ///
394 /// # Implementing `TryInto`
395 ///
396 /// This suffers the same restrictions and reasoning as implementing
397 /// [`Into`], see there for details.
398 ///
399 /// [`TryFrom`]: trait.TryFrom.html
400 /// [`Into`]: trait.Into.html
401 #[stable(feature = "try_from", since = "1.34.0")]
402 pub trait TryInto<T>: Sized {
403     /// The type returned in the event of a conversion error.
404     #[stable(feature = "try_from", since = "1.34.0")]
405     type Error;
406
407     /// Performs the conversion.
408     #[stable(feature = "try_from", since = "1.34.0")]
409     fn try_into(self) -> Result<T, Self::Error>;
410 }
411
412 /// Simple and safe type conversions that may fail in a controlled
413 /// way under some circumstances. It is the reciprocal of [`TryInto`].
414 ///
415 /// This is useful when you are doing a type conversion that may
416 /// trivially succeed but may also need special handling.
417 /// For example, there is no way to convert an [`i64`] into an [`i32`]
418 /// using the [`From`] trait, because an [`i64`] may contain a value
419 /// that an [`i32`] cannot represent and so the conversion would lose data.
420 /// This might be handled by truncating the [`i64`] to an [`i32`] (essentially
421 /// giving the [`i64`]'s value modulo [`i32::MAX`]) or by simply returning
422 /// [`i32::MAX`], or by some other method.  The [`From`] trait is intended
423 /// for perfect conversions, so the `TryFrom` trait informs the
424 /// programmer when a type conversion could go bad and lets them
425 /// decide how to handle it.
426 ///
427 /// # Generic Implementations
428 ///
429 /// - `TryFrom<T> for U` implies [`TryInto`]`<U> for T`
430 /// - [`try_from`] is reflexive, which means that `TryFrom<T> for T`
431 /// is implemented and cannot fail -- the associated `Error` type for
432 /// calling `T::try_from()` on a value of type `T` is [`Infallible`].
433 /// When the [`!`] type is stabilized [`Infallible`] and [`!`] will be
434 /// equivalent.
435 ///
436 /// `TryFrom<T>` can be implemented as follows:
437 ///
438 /// ```
439 /// use std::convert::TryFrom;
440 ///
441 /// struct SuperiorThanZero(i32);
442 ///
443 /// impl TryFrom<i32> for SuperiorThanZero {
444 ///     type Error = &'static str;
445 ///
446 ///     fn try_from(value: i32) -> Result<Self, Self::Error> {
447 ///         if value < 0 {
448 ///             Err("SuperiorThanZero only accepts value superior than zero!")
449 ///         } else {
450 ///             Ok(SuperiorThanZero(value))
451 ///         }
452 ///     }
453 /// }
454 /// ```
455 ///
456 /// # Examples
457 ///
458 /// As described, [`i32`] implements `TryFrom<`[`i64`]`>`:
459 ///
460 /// ```
461 /// use std::convert::TryFrom;
462 ///
463 /// let big_number = 1_000_000_000_000i64;
464 /// // Silently truncates `big_number`, requires detecting
465 /// // and handling the truncation after the fact.
466 /// let smaller_number = big_number as i32;
467 /// assert_eq!(smaller_number, -727379968);
468 ///
469 /// // Returns an error because `big_number` is too big to
470 /// // fit in an `i32`.
471 /// let try_smaller_number = i32::try_from(big_number);
472 /// assert!(try_smaller_number.is_err());
473 ///
474 /// // Returns `Ok(3)`.
475 /// let try_successful_smaller_number = i32::try_from(3);
476 /// assert!(try_successful_smaller_number.is_ok());
477 /// ```
478 ///
479 /// [`try_from`]: trait.TryFrom.html#tymethod.try_from
480 /// [`TryInto`]: trait.TryInto.html
481 /// [`i32::MAX`]: ../../std/i32/constant.MAX.html
482 /// [`!`]: ../../std/primitive.never.html
483 /// [`Infallible`]: enum.Infallible.html
484 #[stable(feature = "try_from", since = "1.34.0")]
485 pub trait TryFrom<T>: Sized {
486     /// The type returned in the event of a conversion error.
487     #[stable(feature = "try_from", since = "1.34.0")]
488     type Error;
489
490     /// Performs the conversion.
491     #[stable(feature = "try_from", since = "1.34.0")]
492     fn try_from(value: T) -> Result<Self, Self::Error>;
493 }
494
495 ////////////////////////////////////////////////////////////////////////////////
496 // GENERIC IMPLS
497 ////////////////////////////////////////////////////////////////////////////////
498
499 // As lifts over &
500 #[stable(feature = "rust1", since = "1.0.0")]
501 impl<T: ?Sized, U: ?Sized> AsRef<U> for &T where T: AsRef<U>
502 {
503     fn as_ref(&self) -> &U {
504         <T as AsRef<U>>::as_ref(*self)
505     }
506 }
507
508 // As lifts over &mut
509 #[stable(feature = "rust1", since = "1.0.0")]
510 impl<T: ?Sized, U: ?Sized> AsRef<U> for &mut T where T: AsRef<U>
511 {
512     fn as_ref(&self) -> &U {
513         <T as AsRef<U>>::as_ref(*self)
514     }
515 }
516
517 // FIXME (#45742): replace the above impls for &/&mut with the following more general one:
518 // // As lifts over Deref
519 // impl<D: ?Sized + Deref<Target: AsRef<U>>, U: ?Sized> AsRef<U> for D {
520 //     fn as_ref(&self) -> &U {
521 //         self.deref().as_ref()
522 //     }
523 // }
524
525 // AsMut lifts over &mut
526 #[stable(feature = "rust1", since = "1.0.0")]
527 impl<T: ?Sized, U: ?Sized> AsMut<U> for &mut T where T: AsMut<U>
528 {
529     fn as_mut(&mut self) -> &mut U {
530         (*self).as_mut()
531     }
532 }
533
534 // FIXME (#45742): replace the above impl for &mut with the following more general one:
535 // // AsMut lifts over DerefMut
536 // impl<D: ?Sized + Deref<Target: AsMut<U>>, U: ?Sized> AsMut<U> for D {
537 //     fn as_mut(&mut self) -> &mut U {
538 //         self.deref_mut().as_mut()
539 //     }
540 // }
541
542 // From implies Into
543 #[stable(feature = "rust1", since = "1.0.0")]
544 impl<T, U> Into<U> for T where U: From<T>
545 {
546     fn into(self) -> U {
547         U::from(self)
548     }
549 }
550
551 // From (and thus Into) is reflexive
552 #[stable(feature = "rust1", since = "1.0.0")]
553 impl<T> From<T> for T {
554     fn from(t: T) -> T { t }
555 }
556
557 #[stable(feature = "convert_infallible", since = "1.34.0")]
558 #[cfg(not(boostrap_stdarch_ignore_this))]
559 #[rustc_reservation_impl="permitting this impl would forbid us from adding \
560 `impl<T> From<!> for T` later; see rust-lang/rust#64715 for details"]
561 impl<T> From<!> for T {
562     fn from(t: !) -> T { t }
563 }
564
565 // TryFrom implies TryInto
566 #[stable(feature = "try_from", since = "1.34.0")]
567 impl<T, U> TryInto<U> for T where U: TryFrom<T>
568 {
569     type Error = U::Error;
570
571     fn try_into(self) -> Result<U, U::Error> {
572         U::try_from(self)
573     }
574 }
575
576 // Infallible conversions are semantically equivalent to fallible conversions
577 // with an uninhabited error type.
578 #[stable(feature = "try_from", since = "1.34.0")]
579 impl<T, U> TryFrom<U> for T where U: Into<T> {
580     type Error = Infallible;
581
582     fn try_from(value: U) -> Result<Self, Self::Error> {
583         Ok(U::into(value))
584     }
585 }
586
587 ////////////////////////////////////////////////////////////////////////////////
588 // CONCRETE IMPLS
589 ////////////////////////////////////////////////////////////////////////////////
590
591 #[stable(feature = "rust1", since = "1.0.0")]
592 impl<T> AsRef<[T]> for [T] {
593     fn as_ref(&self) -> &[T] {
594         self
595     }
596 }
597
598 #[stable(feature = "rust1", since = "1.0.0")]
599 impl<T> AsMut<[T]> for [T] {
600     fn as_mut(&mut self) -> &mut [T] {
601         self
602     }
603 }
604
605 #[stable(feature = "rust1", since = "1.0.0")]
606 impl AsRef<str> for str {
607     #[inline]
608     fn as_ref(&self) -> &str {
609         self
610     }
611 }
612
613 ////////////////////////////////////////////////////////////////////////////////
614 // THE NO-ERROR ERROR TYPE
615 ////////////////////////////////////////////////////////////////////////////////
616
617 /// The error type for errors that can never happen.
618 ///
619 /// Since this enum has no variant, a value of this type can never actually exist.
620 /// This can be useful for generic APIs that use [`Result`] and parameterize the error type,
621 /// to indicate that the result is always [`Ok`].
622 ///
623 /// For example, the [`TryFrom`] trait (conversion that returns a [`Result`])
624 /// has a blanket implementation for all types where a reverse [`Into`] implementation exists.
625 ///
626 /// ```ignore (illustrates std code, duplicating the impl in a doctest would be an error)
627 /// impl<T, U> TryFrom<U> for T where U: Into<T> {
628 ///     type Error = Infallible;
629 ///
630 ///     fn try_from(value: U) -> Result<Self, Infallible> {
631 ///         Ok(U::into(value))  // Never returns `Err`
632 ///     }
633 /// }
634 /// ```
635 ///
636 /// # Future compatibility
637 ///
638 /// This enum has the same role as [the `!` “never” type][never],
639 /// which is unstable in this version of Rust.
640 /// When `!` is stabilized, we plan to make `Infallible` a type alias to it:
641 ///
642 /// ```ignore (illustrates future std change)
643 /// pub type Infallible = !;
644 /// ```
645 ///
646 /// … and eventually deprecate `Infallible`.
647 ///
648 ///
649 /// However there is one case where `!` syntax can be used
650 /// before `!` is stabilized as a full-fleged type: in the position of a function’s return type.
651 /// Specifically, it is possible implementations for two different function pointer types:
652 ///
653 /// ```
654 /// trait MyTrait {}
655 /// impl MyTrait for fn() -> ! {}
656 /// impl MyTrait for fn() -> std::convert::Infallible {}
657 /// ```
658 ///
659 /// With `Infallible` being an enum, this code is valid.
660 /// However when `Infallible` becomes an alias for the never type,
661 /// the two `impl`s will start to overlap
662 /// and therefore will be disallowed by the language’s trait coherence rules.
663 ///
664 /// [`Ok`]: ../result/enum.Result.html#variant.Ok
665 /// [`Result`]: ../result/enum.Result.html
666 /// [`TryFrom`]: trait.TryFrom.html
667 /// [`Into`]: trait.Into.html
668 /// [never]: ../../std/primitive.never.html
669 #[stable(feature = "convert_infallible", since = "1.34.0")]
670 #[derive(Copy)]
671 pub enum Infallible {}
672
673 #[stable(feature = "convert_infallible", since = "1.34.0")]
674 impl Clone for Infallible {
675     fn clone(&self) -> Infallible {
676         match *self {}
677     }
678 }
679
680 #[stable(feature = "convert_infallible", since = "1.34.0")]
681 impl fmt::Debug for Infallible {
682     fn fmt(&self, _: &mut fmt::Formatter<'_>) -> fmt::Result {
683         match *self {}
684     }
685 }
686
687 #[stable(feature = "convert_infallible", since = "1.34.0")]
688 impl fmt::Display for Infallible {
689     fn fmt(&self, _: &mut fmt::Formatter<'_>) -> fmt::Result {
690         match *self {}
691     }
692 }
693
694 #[stable(feature = "convert_infallible", since = "1.34.0")]
695 impl PartialEq for Infallible {
696     fn eq(&self, _: &Infallible) -> bool {
697         match *self {}
698     }
699 }
700
701 #[stable(feature = "convert_infallible", since = "1.34.0")]
702 impl Eq for Infallible {}
703
704 #[stable(feature = "convert_infallible", since = "1.34.0")]
705 impl PartialOrd for Infallible {
706     fn partial_cmp(&self, _other: &Self) -> Option<crate::cmp::Ordering> {
707         match *self {}
708     }
709 }
710
711 #[stable(feature = "convert_infallible", since = "1.34.0")]
712 impl Ord for Infallible {
713     fn cmp(&self, _other: &Self) -> crate::cmp::Ordering {
714         match *self {}
715     }
716 }
717
718 #[stable(feature = "convert_infallible", since = "1.34.0")]
719 impl From<!> for Infallible {
720     fn from(x: !) -> Self {
721         x
722     }
723 }