探索 Rust 的 From 和 Into 特征

简介

在本实验中，我们将探索 Rust 中 From 和 Into 特征的概念，它们用于在不同类型之间进行转换。这些特征本质上是相互关联的，Into 是 From 的反向。From 特征允许一个类型定义如何从另一个类型创建自身，从而实现类型之间的轻松转换。Into 特征在必要时会自动调用 From 的实现。这两个特征都可以为自定义类型实现，为类型转换提供了灵活性。

注意：如果实验未指定文件名，你可以使用任何你想要的文件名。例如，你可以使用 main.rs，并通过 rustc main.rs &&./main 进行编译和运行。

Skills Graph

%%%%{init: {'theme':'neutral'}}%%%% flowchart RL rust(("Rust")) -.-> rust/BasicConceptsGroup(["Basic Concepts"]) rust(("Rust")) -.-> rust/DataTypesGroup(["Data Types"]) rust(("Rust")) -.-> rust/FunctionsandClosuresGroup(["Functions and Closures"]) rust(("Rust")) -.-> rust/DataStructuresandEnumsGroup(["Data Structures and Enums"]) rust(("Rust")) -.-> rust/AdvancedTopicsGroup(["Advanced Topics"]) rust/BasicConceptsGroup -.-> rust/variable_declarations("Variable Declarations") rust/DataTypesGroup -.-> rust/integer_types("Integer Types") rust/DataTypesGroup -.-> rust/string_type("String Type") rust/FunctionsandClosuresGroup -.-> rust/function_syntax("Function Syntax") rust/FunctionsandClosuresGroup -.-> rust/expressions_statements("Expressions and Statements") rust/DataStructuresandEnumsGroup -.-> rust/method_syntax("Method Syntax") rust/AdvancedTopicsGroup -.-> rust/traits("Traits") rust/AdvancedTopicsGroup -.-> rust/operator_overloading("Traits for Operator Overloading") subgraph Lab Skills rust/variable_declarations -.-> lab-99299{{"From 和 Into"}} rust/integer_types -.-> lab-99299{{"From 和 Into"}} rust/string_type -.-> lab-99299{{"From 和 Into"}} rust/function_syntax -.-> lab-99299{{"From 和 Into"}} rust/expressions_statements -.-> lab-99299{{"From 和 Into"}} rust/method_syntax -.-> lab-99299{{"From 和 Into"}} rust/traits -.-> lab-99299{{"From 和 Into"}} rust/operator_overloading -.-> lab-99299{{"From 和 Into"}} end

`From` 和 `Into`

From 和 Into 特征本质上是相互关联的，这实际上是其实现的一部分。如果你能够将类型 A 从类型 B 转换而来，那么很容易想到我们也应该能够将类型 B 转换为类型 A。

`From`

From 特征允许一个类型定义如何从另一个类型创建自身，从而为几种类型之间的转换提供了一种非常简单的机制。标准库中有许多针对基本类型和常见类型转换的此特征的实现。

例如，我们可以轻松地将 str 转换为 String

let my_str = "hello";
let my_string = String::from(my_str);

我们也可以为自己的类型定义类似的转换。

use std::convert::From;

#[derive(Debug)]
struct Number {
    value: i32,
}

impl From<i32> for Number {
    fn from(item: i32) -> Self {
        Number { value: item }
    }
}

fn main() {
    let num = Number::from(30);
    println!("My number is {:?}", num);
}

`Into`

Into 特征仅仅是 From 特征的反向。也就是说，如果你已经为你的类型实现了 From 特征，Into 将在必要时调用它。

使用 Into 特征通常需要指定要转换为的类型，因为编译器大多数时候无法确定这一点。然而，考虑到我们免费获得了该功能，这只是一个小的权衡。

use std::convert::Into;

#[derive(Debug)]
struct Number {
    value: i32,
}

impl Into<Number> for i32 {
    fn into(self) -> Number {
        Number { value: self }
    }
}

fn main() {
    let int = 5;
    // 尝试移除类型标注
    let num: Number = int.into();
    println!("My number is {:?}", num);
}

总结

恭喜你！你已经完成了 From 和 Into 实验。你可以在 LabEx 中练习更多实验来提升你的技能。