Trait std::convert::From

1.0.0 · source ·

pub trait From<T>: Sized {
    // Required method
    fn from(value: T) -> Self;
}

Expand description

用于在消耗输入值的同时进行值到值的转换。它是 Into 的倒数。

与标准 Into 相比，人们应该总是更喜欢实现 From，因为由于标准库中的全面实现，实现 From 会自动为 Into 提供一个 Into 的实现。

仅当针对 Rust 1.41 之前的版本并将其转换为当前 crate 以外的类型时，才实现 Into。由于 Rust 的孤儿规则，From 在早期版本中无法进行这些类型的转换。有关更多详细信息，请参见 Into。

在泛型函数上指定 trait bounds 时，优先使用 Into。这样，直接实现 Into 的类型也可以用作参数。

From 在执行错误处理时也非常有用。当创建一个能够失败的函数时，返回类型通常为 Result<T, E> 形式。 From trait 通过允许函数返回封装了多种错误类型的单个错误类型，简化了错误处理。有关更多详细信息，请参见示例部分和这本书。

注意：此 trait 一定不能失败。From trait 旨在实现完美转换。如果转换失败或不完美，请使用 TryFrom。

泛型实现

From<T> for U 意味着 Into for T
From 是反射的，这意味着 From<T> for T 被实现

在执行错误处理时，通常对于您自己的错误类型实现 From 很有用。通过将底层错误类型转换为封装底层错误类型的自定义错误类型，我们可以返回单个错误类型，而不会丢失有关底层原因的信息。 ‘?’ 运算符通过调用 Into<CliError>::into 自动将底层错误类型转换为我们的自定义错误类型，该 Into<CliError>::into 是在实现 From 时自动提供的。然后，编译器会推断应使用 Into 的哪种实现。

use std::fs;
use std::io;
use std::num;

enum CliError {
    IoError(io::Error),
    ParseError(num::ParseIntError),
}

impl From<io::Error> for CliError {
    fn from(error: io::Error) -> Self {
        CliError::IoError(error)
    }
}

impl From<num::ParseIntError> for CliError {
    fn from(error: num::ParseIntError) -> Self {
        CliError::ParseError(error)
    }
}

fn open_and_parse_file(file_name: &str) -> Result<i32, CliError> {
    let mut contents = fs::read_to_string(&file_name)?;
    let num: i32 = contents.trim().parse()?;
    Ok(num)
}

Run

Required Methods§

source

fn from(value: T) -> Self

从输入类型转换为此类型。

Implementors§

1.17.0 · source§

impl From<&str> for Box<str, Global>

1.6.0 · source§

impl From<&str> for Box<dyn Error + 'static, Global>

1.21.0 · source§

Trait std::convert::From

泛型实现

Examples

Required Methods§

fn from(value: T) -> Self

Implementors§

impl From<&str> for Box<str, Global>

impl From<&str> for Box<dyn Error + 'static, Global>

impl From<&str> for Rc<str>

impl From<&str> for String

impl From<&str> for Arc<str>

impl From<&str> for Vec<u8, Global>

impl From<&CStr> for Box<CStr, Global>

impl From<&CStr> for CString

impl From<&CStr> for Rc<CStr>

impl From<&CStr> for Arc<CStr>

impl From<&OsStr> for Box<OsStr>

impl From<&OsStr> for Rc<OsStr>

impl From<&OsStr> for Arc<OsStr>

impl From<&Path> for Box<Path>

impl From<&Path> for Rc<Path>

impl From<&Path> for Arc<Path>

impl From<&String> for String

impl From<&mut str> for String

impl From<Cow<'_, str>> for Box<str, Global>

impl From<Cow<'_, CStr>> for Box<CStr, Global>

impl From<Cow<'_, OsStr>> for Box<OsStr>

impl From<Cow<'_, Path>> for Box<Path>

impl From<TryReserveErrorKind> for TryReserveError

impl From<ErrorKind> for Error

impl From<Infallible> for TryFromSliceError

impl From<Infallible> for TryFromIntError

impl From<bool> for f32

impl From<bool> for f64

impl From<bool> for i8

impl From<bool> for i16

impl From<bool> for i32

impl From<bool> for i64

impl From<bool> for i128

impl From<bool> for isize

impl From<bool> for u8

impl From<bool> for u16

impl From<bool> for u32

impl From<bool> for u64

impl From<bool> for u128

impl From<bool> for usize

impl From<bool> for AtomicBool

impl From<char> for u32

impl From<char> for u64

impl From<char> for u128

impl From<char> for String

impl From<f32> for f64

impl From<i8> for f32

impl From<i8> for f64

impl From<i8> for i16

impl From<i8> for i32

impl From<i8> for i64

impl From<i8> for i128

impl From<i8> for isize

impl From<i8> for AtomicI8

impl From<i16> for f32

impl From<i16> for f64

impl From<i16> for i32

impl From<i16> for i64

impl From<i16> for i128

impl From<i16> for isize

impl From<i16> for AtomicI16

impl From<i32> for f64

impl From<i32> for i64

impl From<i32> for i128

impl From<i32> for AtomicI32

impl From<i64> for i128

impl From<i64> for AtomicI64

impl From<isize> for AtomicIsize

impl From<!> for Infallible

impl From<!> for TryFromIntError

impl From<u8> for char

impl From<u8> for f32

impl From<u8> for f64

impl From<u8> for i16