rust语言学习笔记Trait之 From 和 Into (类型转换)

From:定义"如何从 A 转成 B"

  • impl From<A> for B:从类型A构造出类型B。实现它,你就定义了‌单向转换的源头逻辑

Into:自动获得的"转换为 B 的能力"(IntoFrom 的镜像 trait)

  • Into<U> 是由 From<U, T>自动派生 ‌的 trait。只要你实现了 From<T> for U,Rust 就会自动为你实现 Into<U> for T

1、A 到 B 的转换

rust 复制代码
struct A(i32);                // 自定义类型 A

struct B(i32);                // 自定义类型 B

impl From<A> for B {          // 为类型 B 实现由 A 到 B 的转换
    fn from(a: A) -> Self {
        Self(a.0 * 2)         // 转换逻辑,返回 B
    }
}

fn main() {
    let a1 = A(3);          // 类型 A
    let b1 = B::from(a1);   // 通过类型 B 显式调用,传入 A 类型的值
    println!("{}", b1.0);   // 6

    let a2 = A(3);          // 类型 A
    let b2: B = a2.into();  // 自动推导,通过类型 A 的值调用 .into() 方法
    println!("{}", b2.0);   // 6
}

A 到 B 的转换,实例:

rust 复制代码
#[derive(Default)]
struct Config {
    host: String,
    port: u16,
}

impl From<&str> for Config {
    fn from(s: &str) -> Self {
        Config {
            host: s.to_string(),
            port: 8080,                // 默认端口
        }
    }
}

let cfg1 = Config::default();           // 空配置
let cfg2 = Config::from("localhost");   // 从字符串初始化
let cfg3: Config = "127.0.0.1".into();  // 更优雅的写法
  • Default:‌从无到有‌ ------ 初始化一个空值;
  • From:‌从 A 到 B‌ ------ 定义转换逻辑;
  • Into:‌从 A 变成 B‌ ------ 让转换自然发生

2、&strString 的转换

(1)&str -> String

rust 复制代码
let s = "hello";
let s1 = String::from(s);     // 显式调用
let s2: String = s.into();    // 自动调用 From<&str> for String

// 实现了`Display`的类型转换为`String
let s3 = s.to_string(); 

(2)String -> &str

Ⅰ、&s :零成本,自动发生
  • String 实现了 Deref<Target = str> trait
  • String -> &String -> (自动 Deref) -> &str
  • 实现 Deref时调用的as_str()
rust 复制代码
let s: String = String::from("Hello");
let slice: &str = &s;
Ⅱ、.as_str() :显式调用
rust 复制代码
let s: String = String::from("Hello");
let slice: &str = s.as_str();

3、Vec<T>[T;N]&[T]的转换

(1)[T;N]&[T]-> Vec<T>

rust 复制代码
let list: [i32; 3] = [2, 8, 15];      // [T;N]
let list: &[i32] = &[2, 8, 15];       // &[T]

let v1 = Vec::from(list);            // 显式调用
let v2: Vec<i32> = list.into();      // 自动调用 From<[T;N]> for Vec<T>

let v3: Vec<i32> = list.to_vec();    // 可以将数组、切片转为 Vec

(2)Vec<T> -> &[T]

Ⅰ、&Vec<T> :零成本,自动发生
  • Vec<T> 实现了 Deref<Target = [T]> trait
  • Vec<T> -> &Vec<T> -> (自动 Deref) -> &[T]
  • 实现 Deref时调用的as_slice()
rust 复制代码
let v = vec![2, 5, 9];
let l1: &[i32] = &v;

Ⅱ、.as_slice() :显式调用

rust 复制代码
let v = vec![2, 5, 9];
let l1 = v.as_slice();

4、T: Into<String> 泛型约束

  • 函数参数可以接收:&strString 并自动转换为 String
  • 所有实现了 Into<String> 的类型都可以作为参数
rust 复制代码
fn my_to_string<T: Into<String>>(str: T) -> String {
    str.into()
}

let s1 = my_to_string("&str 类型");
let s2 = my_to_string(String::from("String 类型"));
相关推荐
星栈3 小时前
Dioxus 接数据库最容易写歪的 3 个地方:sqlx + SQLite 怎么接才顺
前端·rust·前端框架
独孤留白3 小时前
从C到Rust:移动语义、引用传递与生命周期——一次讲清楚
rust
星栈4 小时前
Dioxus 表单处理:从输入、校验到文件上传,一条链路讲透
前端·rust·前端框架
doiito4 小时前
【Agent Harness】Gliding Horse 上下文动态感知与智能压缩:让 Agent 真正“听得进”每一句话
ai·rust·架构设计·系统设计·ai agent
Bigger14 小时前
Tauri (26)——托盘图标总对不上系统主题?一行 Template Image 搞定
前端·rust·app
doiito19 小时前
【Agent Harness】TPS的“自工程完结”教会了我一件事:别把Bug留给下一道工序
架构·rust
doiito1 天前
【Agent Harness】Gliding Horse 记忆系统深度剖析:像 CPU 一样思考的 AI 记忆架构
ai·rust·架构设计·系统设计·ai agent