Rust
参考
陈天 - Rust 编程第一课 (参考:https://github.com/tyr-rust-bootcamp)
唐刚 - Rust 语言从入门到实践
Rust 官方资源
翻译资源
Github 上的 《rust 语言圣经》(和官网的不一样,明显这个版本要好很多):https://course.rs/basic/intro.html
Rusty Book(收集大量的 rust 包、代码片段、明星项目):https://rusty.course.rs/
Rust 秘典(死灵书): https://nomicon.purewhite.io/intro.html
前置
安装
- rustup 是 rust 工具链管理器,其中包含 rustc (rust 编译器)
- cargo 是 rust 包管理工具
安装时会自动安装两个工具
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | zsh
安装输出的内容很详细,可以仔细看下
工程化
陈天的Rust模板 ,其中配置了一系列的工具,以及使用Github Action来定义提交代码的流程
print!打印
println!
是换行打印
基础用法
// 【占位符输出】
let name = "tom";
// ⚠️ {} 是占位符
print!("Name: {}", name); // Name: tom
println!("{name} "); // tom
---------------------------------------------
// 【根据变量位置输出】
println!("{1} 、 {0}", "Alice", "Bob"); // Bob 、 Alice
其他占位符
下面直接常用的占位符,更多请参考:https://rustwiki.org/zh-CN/std/fmt/index.html
基本占位符
{}
默认格式化输出,适用于实现了 Display
trait 的类型
调试输出
{:?}
用于调试输出,适用于实现了 Debug
trait 的类型。这对于查看复杂类型(如结构体、枚举等)的内容非常有用
#[derive(Debug)] // 特殊的宏,所以后面{:?}才能输出结构体内部数据
struct User {
username:String,
active: bool
}
let mut user = User{
username:String::from("jack"),
active:true
};
print!("{:?}",user) // User { username: "jack", active: true }
数字输出
{:b}
:二进制格式{:o}
:八进制格式{:x}
、{:X}
:十六进制格式(小写或大写)rustlet num = 15u32; println!("{:x?} ", num); // f println!("{:X?} ", num); // F
{:e}
、{:E}
:科学计数法表示(小写或大写)
指针输出
{:p}
:指针地址的格式化输出
模块化
项目/工程/软件包(Packages):根目录下有1个Cargo.toml 文件
1个项目(Packages)中可以包含多个包(Crate),每个 Crate 包含多个模块(mod)
Crate
Crate类型
Rust 中 Crate 可分为2种
- 库(--lib) :编译为
.rlib
静态库,一般提供一些函数工具,可供其他rust项目引入 - 二进制(--bin):编译为可执行文件。起必须包括 main 函数作为入口
一个 rust 项目
- 最少要包含1 个Crate (库、二进制 Crate 都行)
- 最多可包含 1 个库Crate + 多个二进制Crate,可通过 Cargo.toml 配置
意思就是: 一般是有 1 个工具函数 Crate,多个 main 入口的包调用这个工具函数 Crate 实现不同工具
Crate作用域
Crate 根文件所在的目录就是这个Crate 的作用域
配置 Crate
Cargo.toml 是 Rust 项目的配置文件,可以配置项目中的 Crate 信息:
- name 是 Crate 名
- path 是 Crate 的根
[package]
name = "my_project"
version = "0.1.0"
# 1个库 crate
[[lib]]
name = "my_lib"
path = "src/lib.rs"
# 多个二进制 Crate
[[bin]]
name = "main_program"
path = "src/bin/main.rs"
[[bin]]
name = "cli_tool"
path = "src/bin/cli.rs"
默认约定
如果 Cargo.toml 中没有配置,则遵循 Cargo 的默认约定:
- 如果包目录中包含 src/main.rs ,则它是 二进制 crate 的根
- 如果包目录中包含 src/lib.rs,则它是库 crate 的根。包名为项目name字段(下面的例子就是
rust_example
)
例如:cargo new xxx
(默认省略了 --bin 参数,是创建的二进制Crate) 创建的默认项目
// 目录结构
├── Cargo.toml
└── src
└── main.rs // 二进制 Crate 的根
└── lib.rs // 库 Crate 的根
// Cargo.toml
[package]
name = "rust_example"
version = "0.1.0"
edition = "2021"
[dependencies]
注意
Crate 根所在的目录就是这个Crate 的作用域。以默认约定为例子,你会发现 lib.rs、main.rs 这两个 crate 的作用域有重合
【后面会提到】
标准目录结构
├── Cargo.toml
├── Cargo.lock
├── src
│ ├── main.rs
│ ├── lib.rs // 库 Crate
│ └── bin // 二进制 Crate
│ └── main1.rs
│ └── main2.rs
├── tests // 测试目录
│ └── some_integration_tests.rs
├── benches // 基准性能测试
│ └── simple_bench.rs
└── examples // 示例
└── simple_example.rs
Crate内成员可见性
模块(mod)、函数、结构体(结构体字段、方法、关联方法)、枚举等默认私有,不可跨模块访问。通过 pub 可指定公开
注意:枚举设置为 pub,其所有变体都为公开
pub enum Appetizer {
Soup,
Salad,
}
而结构体设置为 pub ,还需要设置字段公开
pub struct MyStruct {
// 字段默认还是私有的
field: i32,
}
pub struct MyStruct {
pub field1: i32, // 公开字段
field2: i32, // 私有字段
}
Crate 作用域内的模块
Rust 声明模块一般有下面两种形式:
内联模块声明
内联模块是在当前文件内的,所以 mod 默认是公开的,mod 内部成员必须要 pub 修饰才是公开的
// 【 src/main.rs 】
// 内联模块定义
mod math {
// 函数 add ,后面会讲到函数
pub fn add(a:i32,b:i32) -> i32{
a+b
}
}
fn main() {
let res = math::add(1, 2);
println!("{}",res) // 3
}
外部模块声明
如果 math 不是内联模块,编译器会尝试查找同级目录下的math.rs 或math/ mod.rs
即 src/math.rs
或src/math.mod.rs
// 【 src/main.rs 】
mod math;
fn main() {
let res = math::add(1, 2);
println!("{}",res) // 3
}
单文件模块
rustsrc/ ├── main.rs ├── math.rs
rust// 【 src/math.rs 】 pub fn add(a:i32,b:i32) -> i32{ a+b }
目录模块
rustsrc/ ├── main.rs ├── math/ │ ├── mod.rs // 模块入口 ,其中引入子模块 │ ├── arithmetic.rs // 子模块 │ └── geometry.rs // 子模块
rust// math/mod.rs // 1、模块内公开的成员 pub fn add(a:i32,b:i32) -> i32{ a+b } // 2、pub 公开mod。注意:只公开了引入的子模块内的pub成员 pub mod arithmetic; pub mod geometry;
上面是直接使用 mod.rs 的函数 add,如果使用子模块中的函数 xxx 呢?
rustmod math; fn main() { let res = math::arithmetic::xxx(1,2); // 需要写出来子模块路径 }
使用模块
以内联模块为例子
// 【 src/main.rs 】
pub fn add1(a:i32,b:i32) -> i32{
a+b
}
// 内联模块定义
mod math {
pub fn add(a:i32,b:i32) -> i32{
// 3、相对引入, super 是当前模块的父级模块
super::add1(a,b)
}
}
fn main() {
// 1、相对引入
let res = math::add(1, 2);
// 2、绝对引入,crate 关键字表示当前 crate 根
let res =crate::math::add(1, 2);
}
跨 Crate 引用
多 Crate 的结构,即 1 个库Crate + 多个二进制Crate
二进制 Crate 引用库 Crate 的能力
注意: 库 Crate 是不能引入二进制 Crate ,如果真的需要,必须要将这个能力抽离到库 Crate 后,再由二进制 Crate 引入
库 Crate 暴露成员
库 Crate 的根文件中,被 pub 修饰的成员会被暴露出来,可以被跨 Crate 引用
// 注意啊, 这个 add 不是 mod。仍然可以被暴露出来
pub fn add(a:i32,b:i32) -> i32{
a+b
}
pub mod lib{
pub fn add1(a:i32,b:i32) -> i32{
a+b
}
pub fn add2(a:i32,b:i32) -> i32{
a+b
}
pub mod xxx; // 开放子模块
}
二进制 Crate 引入
use 用来引入库Crate 中暴露的成员
Rust 会现在 Cargo.toml 中查找是否为安装的三方依赖
[dependencies]
xxx = "1.0" # 使用 xxx crate,版本为 1.0
如果不是,则在本地查找
// 引入
use crate名::lib::add1;
fn main() {
add1(1, 2);
}
// 引入起别名
use crate名::lib::add1 as xxx;
fn main() {
xxx(1, 2);
}
// 在 {} 按需引入
use crate名::lib::{add1,add2};
fn main() {
add1(1, 2);
add2(1, 2);
}
// 在 {} 按需引入 , self 引入lib
use crate名::lib::{self,add1};
fn main() {
add1(1, 2);
lib.add1(1, 2);
}
特殊的跨Crate 引用
前面提到一种特殊情况,两个 Crate 的作用域相同。我们以 Rust 的默认约定为例子
// 目录结构
├── Cargo.toml
└── src
└── main.rs // 二进制 Crate 的根
└── lib.rs // 库 Crate 的根
└── util.rs
util同时属于两个 Crate
方案 1:直接引入二进制 Crate
// main.rs
mod util;
方案 2:先引入库 Crate,然后在引入二进制 Crate
// lib.rs
pub mod util;
// main.rs
mod util;
圣经中提到的最佳实践:将核心功能都放在库 Crate 中,在二进制 Crate 中仅执行。这样发布库Crate 后,其他用户可以集成核心功能
标准库 std
Rust 官方提供标准库 std,其中包含了大量常用的能力
std 本质就是一个 lib crate ,我们常用的 Option、Result (后面枚举章节会提到)在 core 库中,std 只是将 core 库的模块重新导出
prelude
prelude
(预导入模块),是编译器自动导入的标准库子集
// 相当于
use std::prelude::v1;
其中包含了,常用类型、traits、宏。都可以直接使用,不必使用use 引入
// 类型
- Option 、Some、None // 枚举
- Result 、OK、Err // 枚举
- String // 字符串
- Vec // 动态数组
- Box
// traits
- `Copy`, `Clone`
- `Debug`, `PartialEq`, `Eq`, `PartialOrd`, `Ord`
- `Drop`
- `Default`
- `From`, `Into`
- `AsRef`, `AsMut`
- `Iterator`, `Extend`, `IntoIterator`
- `Fn`, `FnMut`, `FnOnce`
宏自动导入
println!
, format!
, vec!
, dbg!
(这些通过宏定义引入)
依赖管理
cargo --list # 查看所有命令
初始化项目
cargo new 项目名 # 默认创建二进制项目(即选项 --bin),选项--lib 是创建一个库项目
# 目录
├── Cargo.lock # 锁文件
├── Cargo.toml # 依赖记录文件
└── src
└── main.rs # 入口
依赖管理
# 安装cargo-generate包(用来生成项目模板的工具,使用 github repo 生成项目)
# cargo 会自动下载源码编译为二进制文件到 ~/.cargo/bin 目录下
cargo install cargo-generate
# 调用了上一步骤下载的 cargo-generate
cargo generate tyr-rust-bootcamp/template # 以 https://github.com/tyr-rust-bootcamp/template 这个项目作为目模板
# 安装Cargo.toml记录的全部依赖
cargo fetch
# 更新依赖项到最新的兼容版本
cargo update
构建二进制文件
cargo build # 根目录/debug下。这种编译方式的产物中包含debug相关的标准库,所以体积比较大
cargo build --release # 根目录/release下
运行
cargo run
变量
注意:
Rust圣经将下面的语法称为:变量绑定 ,即将内存中的数据对象绑定到变量x上
rustlet x =10;
声明作用域
rustconst MAX_NUM:u32=10; // const 用来声明常量,可以定义在任何作用域 fn main() { let x =10; // let 不能在全局作用域 { let x = x * 2; println!("{}",x); //20 } // 出了作用域,x=20的变量失效了。 println!("{}",x); //10 }
变量声明与绑定
使用 let 定义变量,变量默认不可变
fn main(){
// 指定类型
let x:u32=10;
let y=10u32;
// 自动推导类型
let z=10;
}
fn main(){
// ❌ 编译失败,变量默认不可变
let z=10;
z=20;
// ✅ 默认变量不可变,但是可以覆盖 。 覆盖本质上是重新创建了同名变量
let w=10;
let w= ""; // 变量是全新的,甚至类型都变了
}
使用 let mut 定义可变变量
fn main(){
let mut y=10;
}
Rust中未使用变量,在编译时会报警告。可以使用 _
前缀
fn main(){
let _x =10;
}
常量
常量:
不可变,可以写在任何作用域
只有下面一种声明方式,不支持自动推断类型
rustconst MAX_NUM: u32 = 100000;
与不可变变量最重要的区别:变量不能放在全局作用域,在作用域外会失效,而常量声明在全局作用域就会一直有效
将值解构到变量
解构元组,除了元组外还有更复杂的用法。参考后面的【解构】章节
fn main() {
let (a, mut b): (bool,bool) = (true, false);
// a = true,不可变; b = false,可变
println!("a = {:?}, b = {:?}", a, b);
}
所有权与引用
所有权
变量拥有值(内存中的数据)的所有权,遵循的规则:
- Rust 中,每一个值都有一个所有者
- 任何一个时刻,一个值只有一个所有者
- 当所有者所在作用域(scope)结束的时候,其管理的值会被一起释放掉
值是Rust管理的,我们的变量只是持有这些值。当变量作用域结束后,Rust自动释放变量只有的值
值复制(copy)
固定类型存储在栈上,赋值操作都是对值进行复制。变量各自持有一个值,与其他语言一致
- 所有的数值类型:整数(u32、u64)、浮点数 (比如 f32、f64)
- 布尔类型 bool
- 字符类型 char
- 由以上类型组成的 数组、元组类型 tuple,如(i32, i32, char)
- **不可变引用类型 & ** (不可变引用很重要,这个后面会重点讲)
fn main() {
let a = 10u32;
let b = a; // 值复制
println!("{a}");
}
// a、b 离开作用域,rust 会自动调用内置函数 drop ,释放内存资源
本质原因是上述类型都实现了 Copy trait
所有权转移 (move)
除去以上值复制的情况以外,都会发生所有权转移
fn main(){
// 可变类型存储在堆上,其赋值给 s2 后s1就失效 ,s1 处于无效状态
let s1=String::from("xxx"); // 创建字符串 xxx
let s2=s1;
print!("{}",s2);
}
// 函数执行完毕后,a、b 离开了作用域
// a 是无效状态,不持有数据,无需处理
// b 持有数据的所有权,rust 会自动调用内置函数 drop 来释放资源
常见的所有权转移场景:
函数调用传参(实参 -> 形参)
rustfn foo(s:String){ print!("{s}"); } fn main(){ let s1=String::from("xxx"); foo(s1); // 函数实参赋值给形参,会发生所有权转移 // 值被函数形参持有,函数foo结束后值被销毁了 print!("{}",s1); // ❌ 这里就会报错,s1的值被转移了,处于无效状态 } // 函数执行完毕后,值就被回收了
如何解决?采用下面方案或引用
函数调用返参(返参 -> 接收返回值变量)
rust// 正确写法 fn foo(s:String) -> String{ print!("{s}"); s // 把 s 对值的所有权转移到外部了 } fn main(){ let s1=String::from("xxx"); let s1=foo(s1); // ✅ 函数将返回值转移回 s1 , (函数结束其作用域,其中变量 s 已经转移了所有权,rust 不做 drop 释放处理 ) print!("{s}"); }
for 循环中,每一次循环是独立的,变量转移到第 1次循环中了
rustfn main() { let s = "I am a superman.".to_string(); for _ in 1..10 { let tmp_s = s; ❌ println!("s is {}", tmp_s); } } // 正确写法 let tmp_s = &s; // ✅ 仅仅发生复制
部分所有权转移
结构体可以部分字段转移
#[derive(Debug)]
struct Stu{
name: String,
age: u8,
}
fn main() {
let s =Stu{name:"John".to_string(),age:20};
let y = s.name; // name 是 String 类型,会发生所有权转移
println!("{:?}",s.age); // 但是剩余的字段还是可用的
}
数组、元组子元素不允许,发生所有权转移。一旦转移整个数组、元组都不可用
fn main() {
let arr = ["hello world".to_string(), "hello world".to_string()];
let s = arr[0]; // ❌ 数组失效
}
fn main() {
let t = ("hello world".to_string(), "hello world".to_string()); // 元组
let s = arr.0; // 转移
println!("{}", t); // ❌ 元组失效
}
引用
基础概念
1、引用、借用的概念
&s1表示对变量s1的不可变引用,s2只是借用所有权,同时s1仍然持有值的所有权
s1离开作用域,rust 自动调用内置函数 drop 释放内存资源
s2离开作用域,因为其没有值的所有权,rust 不会做处理。请注意:如果 s1 先失效了,s2是借用的所有权,也会失效
fn main() {
let s1 = 5;
let s2 = &s1; // 不可变引用
// 这里能同时打印两个值; *s2 是解引用,获取实际值
println!("{}, {}", s1, *s2); // 5 5
}
2、引用本质
与其他语言相似,&x 、 &mut x 的值就是变量 x 的内存地址,可以通过&mut x 操作 x 持有的数据
// 请注意 x 两种情况 可变变量、不可变变量; y 两种情况 可变引用、不可变引用。共 4 种情况
// ✅ 语法正确
let x = 10;
let y = &x;
// ❌ 语法错误,从不可变变量获取可变引用
let x = 10;
let y = &mut x;
// ✅ 语法正确,但是 y 无法操作 x 持有的数据
let mut x = 10;
let y = &x;
// ✅✅ 语法正确。 x可变 + x的可变引用 ,才能操作
let mut x = 10;
let y = &mut x;
*y += 1; // x=11
注意复杂结构内部的成员
struct Stu{
name:String,
}
fn main() {
// 结构体
let x = &Stu{name:"x".to_string()}; // 不可变引用
let z = &x.name; // x.name 是 String 类型,必须再取引用
// 数组
let a = &[1,3,4]; // 数组引用
let b = &a[0]; // 元素本身不是引用,必须再取引用
}
3、引用的作用域
引用的作用域从声明的地方开始一直持续到最后一次使用为止
4、使用引用的基础例子
将原始数据传入函数,返回处理后的值,是很常见的逻辑
传入可变引用,函数内部直接修改数据
rustfn handle_data(s: &mut String ){ // 传入变量可以修改 s.push_str(" world"); }// 函数执行完毕,s 只是借用,没有值的所有权。rust 不会调用 drop 释放资源 fn main(){ let mut s =String::from("hello"); handle_data(&mut s); // 注意:虽然s是可变的,取引用 &mut 才行 ; 不可变变量不能取 &mut println!("{}",s) // hello world }
rustfn handle_data(s: &mut String ) ->&str{ &s[..1] // 取切片,截取第一个字节,即"h" } // 函数外部的 s 持有所有权本,这里函数结束并不会释放内存资源 fn main(){ let mut s =String::from("hello"); let res = handle_data(&mut s); println!("{}",res) // h }
传入不可变引用,函数返回修改后的数据
rust// 悬垂引用 fn main() { let reference_to_nothing = dangle(); } // ❌ 编译不通过 fn dangle() -> &String { let s = String::from("hello"); &s // 将引用绑定给变量 reference_to_nothing,函数结束 s 离开作用域,进而导致引用失效 } // ✅ 编译通过 fn dangle() -> String { let s = String::from("hello"); s // 将 s 对值的所有权转移给变量reference_to_nothing。 s离开作用域前是失效状态,所以s不会触发 drop 释放数据 }
不可变引用(&T)
上面提到的例子是符合规则的
规则
同一变量的可读引用 r 的作用域内可以存在其他可读引用 r1、r2...
同一变量的可读引用 r 的作用域内,不能有对该变量的写操作 或 其他可写引用
rustfn main() { let mut s = String::from("hello"); let r = &s; s.push_str(", world"); // ❌ 编译错误。 可读引用 r 的作用域内,出现了对原变量的写操作 print!("{}",r); } fn main() { let mut s = String::from("hello"); { let r = &s; } s.push_str(", world"); // ❌ 编译错误。 可读引用 r 的作用域内,出现了对原变量的写操作 print!("{}",r); }
rustfn main() { let mut s = String::from("hello"); let r = &s; let r2 = &mut s;; // ❌ 编译错误。 可读引用 r 的作用域内,出现了其他可写引用 print!("{}",r); }
可变引用(&mut T)
&mut s
表示这个引用是可写的
fn foo(s:&mut String){
// ⚠️ push_str是 结构体 String 的方法,(语法:引用调用方法会自动解引用后再调用方法)
s.push_str(", world"); // 输出 xxx, world
}
fn main(){
let mut s1=String::from("xxx");
foo(&mut s1);
println!("{}",s1);
}
规则
同一变量的某个可写引用 r ,在其作用域内不能有其他 可读、可写引用
错误用法:
同一变量的不同可写引用作用域冲突
rustfn main(){ let mut s1=String::from("xxx"); let r1=&mut s1; let r2=&mut s1; println!("{}", r1); // ❌ 编译错误。可写引用 r1 作用域内有其他可写引用 r2 }
rustfn main(){ let mut s1=String::from("xxx"); let r1=&mut s1; let r2=&mut s1; println!("{}", r2); // ✅ 编译通过。输出 xxx }
同一变量的可读引用作用域、可写引用作用域冲突
可读作用作用域之间不能出现可写引用
rustfn main() { let mut s = String::from("hello"); let r1 = &s; let r2 = &mut s; // 可读作用域之间,出现了可写引用 r2 println!("{}", r1); // ❌ 编译报错 }
可读作用作用域之间不能出现可写引用
rustfn main() { let mut s = String::from("hello"); let r2 = &mut s; let r1 = &s; // 可写作用域之间,出现了可读引用 r1 println!("{}", r2); // ❌ 编译报错 }
写
解引用后才能读取值,才能重写值
fn main() {
// ⚠️ 必须保证多级引用都是可变引用,最后解出来才能重写值
let mut a="a".to_string();
let mut b =&mut a; // 变量a声明为mut ,取引用也要 &mut
let c =&mut b; // ⚠️ c 存的是可变引用 b,如果c 不再取 &c,c 的 mut 修饰符加不加都行
// 引用只是内存地址,*可解引用获取值,注意对应层数
println!("{}",**c); // 输出 a
**c="c".to_string(); // 修改
println!("{}",**c); // 输出 c
}
这些限制的好处是 Rust 可以在编译时就避免数据竞争,同一作用域只能有 1 个可读引用可以修改值
推荐
通过括号创造作用域,如果仅仅通过引用出现的最后一行作为其作用域结尾,当逻辑很复杂时根本看不出来每个引用的作用域。可以使用括号明确的划分作用域
fn main() {
let mut s = String::from("hello");
{
let r2 = &mut s;
println!("{}", r2);
}
let r1 = &s; // 可写作用域之间,出现了可读引用 r1
}
解引用
涉及很多章节,建议遇到了随时查阅
自动解引用(auto-deref)
print!、println!
let x = &1;
println!("{}", x); // 1
模式匹配
arr是切片引用,match 、if let 语法中会自动解引用,所以分支是数组也可以
let arr = &[1, 2, 3];
match arr {
// [1, 2, 3] => println!("完全匹配"),
[_, 2, _] => println!("第 2 个元素是 2 的"),
_ => println!("其他"),
}
函数参数传递
若类型 U 实现了 Deref<Target=T> ,则 &U 可以自动转换为 &T
Rust中实现了 Deref Trait 的类型:
&String → &str
&Vec<T> → &[T]
&Box<T> → &T
fn greet(name: &str) {
println!("Hello, {name}");
}
fn main() {
let s = String::from("Rust");
greet(&s); // ✅ &String 自动变成 &str
greet(s.as_str()); // ✅ 显式转换
}
结构体方法调用
⚠️ 方法是自动解引用, 关联方法需要手动
当调用方法时,编译器会尝试对接收者进行多层解引用,直到找到匹配的方法实现
struct MyStruct;
impl MyStruct {
fn method(&self) { println!("MyStruct method"); }
}
let s = MyStruct;
let ref_s = &s;
let ref_ref_s = &&s;
ref_s.method(); // 自动解引用:&MyStruct → MyStruct
ref_ref_s.method(); // 自动解引用:&&MyStruct → &MyStruct → MyStruct
操作符重载
如 +
、*
,编译器会自动解引用操作数,以匹配操作符的实现。
let a = 5;
let b = &a;
let c = &&a;
assert_eq!(a + *b, 10); // 显式解引用
assert_eq!(a + b, 10); // 自动解引用:&i32 → i32
assert_eq!(a + c, 10); // 自动解引用:&&i32 → &i32 → i32
自动解引用的优先级规则
编译器按以下顺序尝试解引用,直到找到匹配的方法或类型: 直接匹配:类型完全一致。
解引用一次: &T → T
解引用多层: &&T → &T → T
解引用 + 强转(Coercion) :例如 &String → &str (通过 Deref )
优先使用 &mut T 而非 T 如果同时存在不可变和可变引用,优先选择更少层数的解引用
ruststruct Data; impl Data { fn method(&self) {} fn method_mut(&mut self) {} } let mut data = Data; let mut_ref = &mut data; mut_ref.method(); // 自动选择 &mut Data → &Data → 调用 method() mut_ref.method_mut(); // 自动选择 &mut Data → 调用 method()
手动解引用
直接访问内部数据:
let boxed = Box::new(42);
let value = *boxed; // 必须显式解引用
修改可变引用指向的值
let mut x = 5;
let y = &mut x;
*y += 1; // 必须显式解引用
模式匹配(match)
let option = Some(42);
if let Some(value) = &option {
println!("{}", value); // 自动解引用:&Option<i32> → Option<&i32>
}
类型
基本类型
数值类型
整数类型
- 有符号整数:
i8
,i16
,i32
,i64
,i128
,isize
- 无符号整数:
u8
,u16
,u32
,u64
,u128
,usize
其中,isize
和 usize
的大小取决于运行程序的计算机架构(32位或64位)。
// ** 整数字面量,默认会被推导为 i32 类型 **
// ** 下面是十进制数字 17,对应的其他进制的字面量 **
fn main() {
// 二进制
let a= 0b10001;
// 八进制
let b=0o21;
// 十进制
let c =17;
// 十六进制
let d=0x11;
// 字节
let e = b'a'; // ASCII值 17对应的是个控制字符,打不出来。这里用个 a 字母,其实际是数字 97
println!("a = {}, b = {}, c = {}, d = {} , e={}", a, b, c,d,e); // 默认输出十进制值
// a = 17, b = 17, c = 17, d = 17 , e=97
}
十进制转其他进制的短除法:
浮点数类型
f32
: 32位单精度浮点数f64
: 64位双精度浮点数,默认使用这个类型(在现代的 CPU 中它的速度与f32
几乎相同,但精度更高)
其他知识
数字字面量分隔符
下划线
_
可以放在数字之间的任意位置(但不能在开头或连续使用),编译器会忽略掉。虽然位置任意,但是推荐按一定习惯分割rustlet x = 1_000_000; // 十进制 let b = 0x1_0_0; // 十六进制 0x100 (256) let c = 0b1010_1010; // 二进制 0b10101010 (170)
生成连续序列
rustfor i in 1..=5 { println!("{}",i); // 从 1-5 } for i in 1..5 { println!("{}",i); // 从 1-4 }
rustfor i in 'a'..='z' { println!("{}",i); // 从 a 到 z }
Rust 种支持的运算符:https://course.rs/appendix/operators.html#运算符
同类型之间支持数字运算
浮点数运算存在误差。(三方crate库num)
NAN 与 JS 基本一致
rustfn main() { // 1、非法运算,产生 NAN let x = (-42.0_f32).sqrt(); // 2、is_nan 返回布尔值判断是否为 NAN if x.is_nan() { println!("未定义的数学行为") } // 3、NAN 与任何数运算都是 NAN,且两个 NAN 不能比较,否则直接 panic }
布尔类型
bool
: 只能取值为 true
或 false
字符类型
char
: 表示一个Unicode标量值,是四个字节长度的字符
fn main(){
let c:char='你';
}
单元类型
()
:其唯一的值也是 ()
,即空的元组
没有显示返回值的函数,默认返回()
复合类型
字符串
字符(char)
前面基本类型提到的字符类型,底层存储Unicode 值,固定四个字节长度的字符
字面量(&'static str)、字符串(String)、字符串切片(&str)
字符串底层存储 UTF-8 编码,字符是 1~4 个字节,所以 Rust 中字符串无法通过角标索引
fn main(){
// 字符串字面量存储在静态数据区,类型是 &'static str
// ⚠️ &'static str 是&str的一种,所以&'static str标记为 &str 也没问题,反之不可以
let s1: &'static str = "I am a superman.";
// 字符串(String)与字面量的区别是: String拥有所有权、容量可增长、分配在堆上的
// "xxx".to_string()、String::from(xxx) 两种方式将 字面量、&String、&str(切片引用)转为 String,这个过程会将字面量拷贝到堆上
let s2: String = s1.to_string()
// String 的引用类型
let s3: &String = &s2;
// &str 切片类型本质是个`不可变引用`,是字面量类型
// String 转 &str 还可以 s2.as_str()
// &'static str、String、&String 都支持取切片
let s4: &str = &s2[..]; // 字符串的切片引用类型
let s5: &str = &s2[..6];// 字符串的切片引用类型,范围 [0,6),即左闭右开区间
let s55: &str = &s2[2..3]; // 两端范围
}
⚠️ 切片指定的索引范围,是以字节为单位的。如果字符中出现中文或者其他多字节文字,就会导致运行时崩溃,所以取字符串切片是个危险操作,除非硬编码为字母、数字字符串,否则非常不建议使用
// ❌ 编译通过,运行时会崩溃 panic
let s = "世界";
let a = &s[0..2]; // "世"是 3 个字节,所以报错。如果是&s[0..3]就不会崩溃
// ✅ 输出字符
for c in "世界".chars() {
println!("{}", c);
}
// 世
// 界
// ✅ 输出字节
for c in "世界".bytes() {
println!("{}", c);
}
// 228
// 184
// 173
// 229
// 155
// 189
// 228
// 186
// 186
字符串 String 的操作
String 是分配在堆上的,是可以操作的
fn main() {
let mut s = String::from("a");
// 追加。 参数支持 char、String,改变原字符串
s.push_str("b");
println!("{}", s); // ab
// 插入。参数仅支持 char,改变原字符串
s.insert(1,'x');
println!("{}", s); // axb
// 全部替换。参数仅支持 String,不操作原始字符串
let res = s.replace("x","o");
println!("{}", res); // aob
println!("{}", s); // axb
// 范围替换。改变原字符串
s.replace_range(1..=2,"c");
println!("{}", s); // ac
// 出栈删除。改变原字符串,返回值为出栈字符。如果原始字符串为空,职责返回 None
let pop_res = s.pop();
println!("{} {:?}", s,pop_res); // a Some('c')
// remove(1) 与 truncate(1) 。改变原字符串,返回被删除的字符串
// remove入参是字节索引,如果是汉字可能会报错(不建议使用)
// truncate入参是字符索引,1就是删除索引为 1 的字符
// 清空字符串。改变原字符串
s.clear();
println!("{}", s); // 空字符串
// 两个字符串拼接 。注意 字符串 String + 字面量/切片引用 &str
// 本质是调用了 std::string中的 add 方法
let concat = s+"x";
println!("{}", concat); // x
}
&String
-->&str
这个转换是隐式转换
fn main(){
let s="xxx".to_string(); // s应该是 String 类型
let s1 = &s;
let s2:&str=&s; // 如果 s2 是、指定切片引用类型,Rust 会发生隐式转换
// 使用 &str 就能让函数接收 &String、&str 两种类型
fn receive(s:&str){
// 逻辑
println!("{}", s);
}
receive(&s1);
receive(s2);
// ⚠️ 这意味着在 Rust 中 &String、&str 是可以混用的
}
向量与向量切片
// 参数接收 &Vec<T>向量、&[T]向量切片
fn receive(s:&[T]){
}
// 参数接收 &Vec<u8>、&[u8]向量切片 (T 是 u8时,就是字节串)
fn receive(s:&[u8]){
}
String
<-->&str
fn main() {
// String 转 &str
let s1=String::from("你好").as_str();
// &str 转 String
let s2="你好".to_string();
}
String
--> Vec<char>
fn main(){
let s1="你好".to_string();
let char_vec: Vec<char>=s1.chars().collect(); // chars() 可以用来把字符串转换为一个迭代器,collect() 将迭代器所有元素收集到 Vec 中
println!("{:?}",char_vec); // ['你', '好']
// for 循环迭代器
for ch in s.chars() {
println!("{:?}", ch);
}
}
元组
固定长度,元素可以是不同类型
声明
let x1=(1,1,1) // 自定推导类型
let x2:(u32,u32,u32)=(1,1,1) // 带类型声明
访问
// 通过`.`访问
x1.1 // 索引 1 的元素
// 解构
let (x,y,z) = x1;
数组、数组切片
数组:固定长度,元素只能是一种类型(与 Go 一致)
数组声明
let arr = [1, 2, 3, 4, 5]; // 自定推导类型
let arr:[i32;5] = [1, 2, 3, 4, 5]; // 带类型声明
let arr = [20;5]; // 元组重复,可以用 [元组;重复次数]
⚠️ 创建重复数据的数组,元素必须是支持 Copy 的类型,下面 String 有所有权,每次复制都会发生转移,所以是错误的
// ❌
let array = [String::from("hi"),10];
// ✅ 闭包用法,后面会提到
let array = std::array::from_fn(|_i| String::from("rust is good!"));
数组切片声明
对数组、字符串的一部分引用(范围是左闭右开)。⚠️ Rust 中切片只能是数组的局部视图,不能超过数组范围,而Go 中的切片支持自动扩容
// 数组切片
let arr = [1, 2, 3, 4, 5];
let slice = &arr[1..3]; // 自定推导类型
let slice1:&[i32] = &arr[1..3]; // 带类型声明
// 从切片生成切片
let slice2 = &slice[1..3];
复习:前提到的字符串切片 &str
let s = "abcdef";
let s1 = &s[1..3];
let slice:&str = &s[1..3]; // 带类型声明
结构体
结构体
// 【声明】
// ⚠️ Go 是 type User struct{}
struct User {
username:String,
active: bool
} // ⚠️ 无需分号
---------------------------------------------
// 【实例化】
let username = String::from("tom");
let active = true;
struct User {
username:String,
active: bool
}
// 字面量实例化、支持简写方式,这些类似 JS
let user1 = User{
username, // 简写
active // 简写
};
// 也支持展开实例字段,类似 JS
let user2 = User{
username:String::from("jack"),
..user1 // ⚠️ 展开结构体实例被称为 base struct , 必须在最后,这与 JS 不同
};
---------------------------------------------
// 【修改实例】注意声明为 mut
let username = String::from("tom");
let active = true;
#[derive(Debug)] // 特殊的宏,所以后面{:?}才能输出结构体内部数据
struct User {
username:String,
active: bool
}
let mut user = User{
username,
active
};
// ⚠️ 修改实例,变量前需加 mut
user.username=String::from("jack");
print!("{:?}",user) // User { username: "jack", active: true }
元组结构体
元组结构体更加紧凑
// 普通结构体
struct Point{
x:u32,
y:u32,
z:u32
}
// ---------------------------------
// 可以看下元组结构体,确实更加紧凑
// 【声明】
struct Point(u32, u32, u32);
// 【实例化】
let origin = Point(0, 0, 0);
单元结构体
没有任何字段的结构体
struct ArticleModule; // ⚠️ 没有字段可省略 {}
let module = ArticleModule; // 【实例化】 没有字段,可以省略{}
这个语法有歧义,很容易让人疑惑:类型为什么能直接赋给一个变量?
实际上是单元结构体省略了
关联方法、方法
在 Rust 中 Struct 实例可以调用方法、关联方法,⚠️ 实例引用调用时会自动解引用,所以也可调用
user.get_name()
&user.get_name() // ✅ &user会解引用,所以也可调用get_name
关联方法
相当类的静态方法,通过::
调用
// 声明结构体
struct User{
name:String,
age:u8,
}
// 关联方法
impl User {
// 1、Rust 中认为参数不含有self ,就是关联方法
// 2、习惯上,结构体都会定义 new 方法,用来实例化
fn new(name:String,age:u8) -> User { // 参数没有 self 所以是关联方法
User {name,age} // ⚠️ 隐式返回,最后一行是表达式(不要加分号),其值最为返回值
}
}
fn main() {
// 调用使用::
let user = User::new(String::from("Alice"), 30);
}
方法
相当类的实例方法,通过.
调用
// 声明结构体
#[derive(Debug)]
struct User{
name:String,
age:u8,
}
// 实例方法
impl User {
// 1、命名推荐下划线
// 2、函数最后一句表达式,作为返回值。⚠️ 不加分号,加了分号就是"语句"
// 3、参数类型 Self ,表示自身实例
// 🚩 方式 1
fn get_name(self) -> String { // 参数是 self:Self 的简写。会发生所有权转移
self.name
}
// 🚩 方式 2
fn get_name(&self) -> String {// 参数是 self:&Self 的简写。可读引用,只能克隆值作为返回值
self.name.clone()
}
// 🚩 方式 3
fn get_name(&mut self) -> String {// 参数是 self:&mut Self 的简写。通过可写引用,可操作实例
self.name=""
self.name.clone()
}
}
🚩 方式 1 案例
// 声明结构体
#[derive(Debug)]
struct User{
name:String,
age:u8,
}
// 实例方法
impl User {
fn get_name(self) -> String {// 所有权转
self.name
}
}
fn main(){
let user= User{
name:String::from("tom"),
age:20
};
let name = user.get_name(); // User实例的所有权会转移到形参,实例不可再用
print!("{:?}",user); // ❌ 编译不通过 user 所有权已被转移
}
🚩 方式 3 案例
// 声明结构体
#[derive(Debug)]
struct User{
name:String,
age:u8,
}
// 实例方法
impl User {
fn get_name(&mut self) -> String {// 参数是 self:&mut Self 的简写
self.name="变更".to_string();
self.name.clone()
}
}
fn main() {
// user 也要标记为 mut
let mut user= User{
name:String::from("tom"),
age:20
};
print!("{}",user.get_name()); // 变更
print!("{:?}",user); // User { name: "变更", age: 20 }
}
所有权
转移
let user1 = User{
username:String::from("tom"),
active:true
};
let user2=user1 // 所有权发生转移
---------------------------------------------
#[derive(Debug)]
struct User{
name:String,
age:u8,
}
impl User {
fn get_name(self) -> String {
self.name
}
}
let user= User{
name:String::from("tom"),
age:20
};
let x=user.get_name(); // 所有权转移
print!("{:?}",user); // ❌ 编译报错
部分(Partial Move)
结构体是多字段组成的类型,可以发生某字段的转移
let user1 = User{
username:String::from("tom"),
active:true
};
let name = user1.username // String是所有权类型,会发生所有权发生转移
print!("{:?}",user) // ❌ 编译报错
枚举
变体
Rust中的变体指的是枚举项
enum Color{
Red,
Green,
Blue
}
// 使用枚举的一个变体
// Color 是类型
// Color::Red 是值
let my_color:Color = Color::Red;
变体可以指定实际数据
- 与其他语言不同,Rust中数据类型只能是 isize 类型
- 不指定时,默认 Red 为 0,后续从 0 开始。如果中间某项指定数值 X,则后续从X 开始
enum Color{
Red, // 0
Blue, // 1
Black=10,
Yellow // 11
}
fn main() {
println!("{}",Color::Blue as isize);
println!("{}",Color::Yellow as isize);
}
带负载的变体
当指定为某一个变体时,如果该变体带负载(类型信息),需要实例化该变体
enum Shape {
Rectangle { width:u32,height:u32 }, // 矩形, 负载是结构体 ,使用{ }
Triangle ((u32,u32),(u32,u32),(u32,u32)),// 三角形, 负载是元组 ,使用()
Circle { origin:(u32,u32), radius:u32 }, // 圆形,负载是 结构体
}
// 带负载的枚举,需要实例化数据
fn main(){
let shape = Shape::Rectangle {width:10,height:20};
}
比较
在 TS 中,类似对象、数组等复杂的类型不能直接用 ==
判断是否相等的。枚举作为一个值是可以比较的
但是在 Rust 中枚举是可以携带复杂数据的,所以一定切记枚举不能直接 ==
比较
可以使用后面提到 match 变量{}
/匹配模式
、if let 枚举=变体变量
、while let 枚举变体=值变量
等方式比较
自动引入变体
函数签名中使用枚举,函数作用域内自动引入
use crate::Gender::{Man, Woman};
#[derive(Debug)]
enum Gender{
Man,
Woman
}
fn main() {
fn deal(value:u8) ->Gender {
if value==0{
return Man; // ⚠️ 作用域内,可直接使用变体
}
return Woman; // ⚠️ 作用域内,可直接使用变体
}
println!("{:?}",deal(0)) // 加上#[derive(Debug)],这里输出的就是变体名,即 Man
// 入参是枚举
fn deal2(value:Gender) ->i8 {
if let Man=value{
return 0; // ⚠️ 作用域内,可直接使用变体
}
return 1; // ⚠️ 作用域内,可直接使用变体
}
}
模式匹配作用域中也会自动引入(后面会讲到)
let res: Result<i32, &str> = Ok(42);
// 模式匹配
match res {
Ok(value) => println!("Success: {}", value), // 直接使用 Ok
Err(e) => println!("Error: {}", e), // 直接使用 Err
}
解构带负载的枚举
let res: Result<i32, &str> = Ok(100);
// 使用解构的方式
if let Ok(value) = res {
println!("Got a value: {}", value);
} else {
println!("Error");
}
// --------------------------------
enum Gender{
Man,
Woman
}
let user = Gender::Man;
if let Man=user{ // ❌ 不带负载的不行,这种一般认为是判断是否相等,而不是解构
println!("男")
}else{
print!("女");
}
枚举的方法
当变量赋值为某一变体后,该变量可调用枚举的方法
enum MyEnum {
Add,
Subtract,
}
impl MyEnum {
fn run(&self, x: i32, y: i32) -> i32 { // &self 是 self:&Self 的简写
// match 语句
match self {
Self::Add => x + y,
Self::Subtract => x - y,
}
}
}
fn main() {
// 实例化枚举
let add = MyEnum::Add;
// 实例化后执行枚举的方法
add.run(100, 200);
}
Option枚举
Option 是内置的枚举,表示区分变量的零值、正常值
补充:
在 JS 中,以 null、undefined 作为空的概念。但是这样极容易出现空指针异常
后来出现了类似 Go的方式,每个类型都有默认零值表示空的概念,如果一个数字类型的值是 0,你根本无法区分是默认值还是实际值
Rust 采用的方式: 1、所有的变量定义后使用前都必须初始化; 2、把每个类型的零值单独提出来用枚举值
Option<T>::None
表示
// 源码
enum Option<T> {
Some(T), // 负载是元组
None,
}
// 空字符是 GO 中的零值,但是在 Rust 中是可以区分开的
let value0 = Option::Some(""); // 根据值隐式推断
let value1: Option<String> = Option::Some(""); // 显式声明类型
let value2 = Option::<String>::Some(""); // turbofish 语法
// Rust 中指定字符串零值
// 注意 None 无法隐式推断必须用下面两种方式声明
let value3:Option<String> = Option::None // 显式声明类型
let value4 =Option::<String>None // turbofish 语法
Result枚举
Result 也是内置的枚举,用于函数返回值类型,包含函数成功、出错两种状态,它包含Ok
或Err
两个变体
// 源码
enum Result<T,E>{
Ok(T), // 负载是元组
Err(E) // 负载是元组
}
// 应用
let res:Result<i32, &'static str>=Ok(100);
fn divide(a: i32, b: i32) -> Result<i32, &'static str> {
if b == 0 {
Err("Division by zero!") // 自动引入枚举变体,所以可以直接使用 Err 、Ok
} else {
Ok(a / b)
}
}
解包枚举值
Option::<i32>::Some(100) 与 100 显然类型不一致,但是实际第一个只是100 包了个枚举
这就需要引入解包枚举值获取原始值的概念了
unwrap
// ✅ 运行成功,无输出
fn main() {
let x=Option::<String>::Some(String::from("xxx"));
assert_eq!(x.expect("提示 message"), String::from("xxx"))
}
// ❌ 编译是可以通过的,但是运行时触发 panic ,输出 "提示 message"
fn main() {
let x=Option::<String>::None;
assert_eq!(x.expect("提示 message"), "xxx")
}
函数
函数
如果没有显示返回值,则默认返回单元类型()
// 入参、返参
fn add(x:i32,y:i32)->i32{
x+y // 最后一个表达式最为返回值(注意没有分号,带分号就是语句了),也支持 return 返回
}
fn main() {
// 调用
let x=add(1,2);
println!("{}",x); //3
}
发散函数
发散函数即没有返回值的函数,使用!
作函数返回类型
// 1、主动 panic 的函数
fn dead_end() -> ! {
panic!("你已经到了穷途末路,崩溃吧!");
}
// 2、无限循环的函数
fn forever() -> ! {
loop {
//...
};
}
// 3、退出进程
use std::process
process::exit(1)
匿名函数
待补充...
别名
type
type 可以给类型起别名
type xx = Vec<String>; // ⚠️ 这是个语句,加分号
Newtype模式
通过只有一个元素的元组结构体,对基础类型进行封装
**例如:用户 ID 和订单 ID,其数据类型都是 u64 **
// 别名:
type UserId = u64;
type OrderId = u64;
// Newtype :
struct UserId(u64);
struct OrderId(u64);
// 在使用时,UserId、OrderId 比 u64 更具有语义化
fn process_user(user_id: UserId) {
}
// 🚩 ------------------------
// Newtype相比别名,其会屏蔽内部类型的方法、属性;同时,我们可以为 Newtype 类型实现新的方法
类型转换
as 语法
数值类型之间
类型不同无法运算 , 可使用 as 做类型强制转换
fn main(){
let a = 5u32;
let b = 10u8;
let c =a+b as u32;
println!("{}",c); // 15
let d =a as u8+b;
println!("{}",d); // 15
}
从高精度类型 ---> 低精度类型,会造成数据精度丢失
fn main(){
let a = 5.78f32;
println!("{}",a as i32); // 5 ⚠️ 精度丢失了
}
枚举类型 --> 整数
enum Status {
Active = 1,
Inactive = 2,
}
fn main() {
let status = Status::Active;
let num = status as i32; // 结果是 1
}
字符串 <--> 数值类型
字符串 --> 数值类型
fn main() {
let str_num = "123";
match str_num.parse::<i8>() { // ::<i8> 是 turbofish 指定函数传入的泛型 , 用于指定 num 的类型
Ok(num) => println!("转换成功: {}", num),
Err(e) => println!("转换失败: {}", e),
}
}
// str_num = "111aa" 这种会转换失败
// str_num = "111.11" 这种由于指定的泛型是 i8,所以也会失败
⚠️ 这是 Rust 中很常用的形式,函数返回 Result 枚举,直接将其放到 match 中处理成功、失败两种可能
泛型
结构体泛型
turbofish 语法传入泛型
结构体泛型
struct Point<T>{
x:T,
y:T
}
fn main() {
// 显式指定泛型 (⚠️ 与其他语言不同,显示指定泛型需要直接标记到 变量上)
let p1:Point<f32> = Point{x:1.0,y:2.0};
// 结构体名::<T>、函数名::<T> ,这种显示指定泛型的语法,称为 turbofish 语法
let p2 = Point::<i32>{x:1,y:2};
// 通过第一个类型为 T 的变量,推断出 T 的值
let p3 = Point{x:1,y:2}; // 推断为 i32
let p4 = Point{x:1.0,y:2.0}; // 推断为 f64
}
// ---------------------------------------------
// 元组结构体
struct Point<T>(T,T)
结构体方法、关联方法使用泛型
struct Wrapper<T> {
item: T,
}
// impl<T> :这个 T 在 impl block 域中定义了泛型T ,后面是用的 T 都是这里定义的
// Wrapper<T>:这个是结构体的名字
impl<T> Wrapper<T> {
fn new(item: T) -> Self {
Wrapper { item }
}
fn get_item(&self) -> &T {
&self.item
}
}
// 可以为 T = 某具体类型时指定方法。例如:只有泛型是 u32时,才有 add 方法
impl Wrapper<u32> {
fn add(&mut self) -> &u32 {
self.item+=1
&self.item
}
}
fn main() {
// 默认根据 item 值推导出 T 为 &str 类型
let w1 = Wrapper::new("Hello, world!");
// turbofish 语法,通过 Wrapper::<&str> 指定泛型 T 是&str
let w2 = Wrapper::<&str>::new("Hello, world!");
// 只有 w3 有 add 方法
let w3 = Wrapper::<u32>::new(100);
println!("{}", w1.get_item());
}
函数泛型
fn print_type<T>(item: T) {
println!("{:?}", item);
}
fn main() {
print_type(42); // 自动推断
print_type::<i32>(42); // turbofish 语法传入泛型
}
枚举泛型
前面提到过的 Result,直接将泛型传递给变体
enum Result<T,E>{
Ok(T), // 返回成功的类型 T
Err(E) // 返回失败的类型 E
}
type xxx = Result<i32, &'static str>
枚举的 turbofish 语法
let value=Option::<String>::None;
别名泛型
type<T> = Vec<T>
特征 Trait
类似 TS inerface
定义特征
// 拥有 eat 函数
trait Animate{
fn eat(&self)->bool;
}
struct Dog{
name:String,
health:bool
}
// 为结构体实现 Animate 特征
impl Animate for Dog{
fn eat(&self)->bool{
self.health // 健康的才能进食
}
}
struct Cat{
name:String,
health:bool
}
impl Animate for Cat{
fn eat(&self)->bool{
self.health // 健康的才能进食
}
}
特征包含函数签名,还可以包含函数
trait Animate{
fn eat(&self)->bool;
fn live(&self)->bool{ // 可以实现方法,能调用签名
self.eat()
}
}
struct Dog{
name:String,
health:bool
}
// 为结构体实现 Animate 特征
impl Animate for Dog{
fn eat(&self)->bool{
self.health // 健康的才能进食
}
}
fn main() {
// 实现了特征后,也会拥有 live 方法
let d=Dog{name:"hello".to_string(),health:true};
let ret = d.live();
}
作为类型
函数入参类型
trait X{}
trait Y{}
fn notify(item: &impl X) { // `impl 特征`
// ...
}
fn notify(item: &(impl X + Y)) { // 多个特征 + 连接
// ...
}
函数返参类型
Rust 提倡零成本抽象,特征作为入参。编译结果会将所有可能罗列出来
// 假设代码里 struct A、struct B 实现了 X
fn notify(item: &impl X){}
// 实际编译结果
fn notify(item:A ){}
fn notify(item:B ){}
而返回值不一样,Rust 无法分析函数的复杂逻辑,所以没办法根据实际入参,推断出实际返参
所以,Rust 语法要求函数只允许返回一种具体类型
特征 X 作为返回类型, A、B 都实现了该特征 X,也会编译不通过
trait X{}
struct A{}
impl X for A{}
struct B{}
impl X for B{}
fn notify(is:bool) ->impl X{ // `impl 特征`
// ...
if is{
A {}
}else {
B {}
}
}
fn main() {
notify(false);
}
泛型约束
T:约束
rustfn notify<T: A>(item: &T) { // 特征 A // ... } fn notify<T: A + B>(item: &T) { // 多个特征 A、B // ... }
where
当泛型比较多、复杂时,建议用 whererustfn notify<T: A + B>(item: &T) where T:A+B, // 泛型 T U:A // { // ... }
通用实现
标准库内部的 通用实现(blanket impl),为类型 T 实现特征 B,T 需要显示先特征 A
// --------------- x.rs ---------------------
pub trait TraitA {
fn to_a(&self) -> String;
}
pub trait TraitB {
fn to_b(&self) -> String;
}
// blanket impl:只要实现了 ATrait,就自动实现了 X
// 两个 Trait 必须是 pub,blanket impl不用加 pub
impl<T: TraitA> TraitB for T {
fn to_b(&self) -> String { // ⚠️ 这里实现具体的方法,不能用签名
"to_b".to_string()
}
}
// --------------- main.rs ---------------------
mod x;
use x::{TraitA, TraitB};
struct Stu{}
impl TraitA for Stu { // 实现了TraitA,自动就有了TraitB的方法
fn to_a(&self) -> String {
"to_a".to_string()
}
}
fn main() {
let s = Stu{};
s.to_a();
s.to_b();
}
derive
#[derive(X)]
是特征派生语法,被标记的的类型会自动生效X的方法
默认支持的 X: https://course.rs/appendix/derive.html
#[derive(Debug)]
struct Stu{
name: String,
}
fn main() {
let s = Stu{name:"John".to_string()};
println!("{:?}", s); // Stu { name: "John" }
}
集合类型
Vec
动态数组。每个元组类型一致,可以动态增、减的数组元素
动态数组也有长度 v.len()
、容量的概念 v.capacity()
。容量是底层划分的存储元素个数,长度是实际占用的
增加元素时,如果容量不足就会导致 vector 扩容(目前的策略是重新申请一块 2 倍大小的内存,再将所有元素拷贝到新的内存位置,同时更新指针数据),频繁扩容导致的内存拷贝会降低程序的性能
初始化
// 1、申请 Vec 容量为 20 ,追加数据
let mut v = Vec::with_capacity(20);
v.extend([1,2,3]);
// 2、结构体 Vec 的 new 方法 (空的,默认容量 0)
let mut v = Vec::new(); // v.push(1) 推入元素时自动扩容
// 3、结构体 Vec 的 from 方法 (支持初始化元素,默认容量=初始化数组长度)
let mut v = Vec::from([1, 2, 3, 4, 5]);
// 4、数组转成 Vec
let mut v = [11, 22].to_vec();
// 5、使用 vec! 宏 (支持初始化元素,默认容量=初始化数组长度m)
let mut v = vec![1, 2, 3, 4];
v.reserve(100); // 显式扩容
读取元素
let x = v[0]; // 返回索引 0 的元素
let x = v.get(0); // 返回一个 Option 类型,即 Some(值) 或 None
// 区别
// get数组越界程序不会崩溃,而是返回 None
遍历读取
动态数组不是迭代器类型,下面可以用 for 遍历,是因为 for 语法默认会调用into_iter转换为迭代器类型
let v = vec![1, 2, 3];
// 一般用&,如果直接用 v,会导致元素所有权转移
for i in &v {
println!("{i}");
}
// 遍历过程中修改
let mut v = vec![1, 2, 3];
for i in &mut v {
*i+=1;
println!("{i}");
}
// 需要索引。这里需要显式转成迭代器
for (index,value) in v.iter().enumerate() {
println!("{index},{value}");
}
常用动态数组操作方法
// 操作 vec 需要 mut 类型
let mut v = vec![1, 2];
println!("{}", v.is_empty()); // false 判空
v.insert(2,3);; // [1, 2, 3] 插入
v.append(&mut vec![4,5]); // [1, 2, 3, 4, 5] 追加数组
v.truncate(3); // [1, 2, 3] 截断 3 位
v.push(4); // [1, 2, 3, 4]
v.pop();// [1, 2, 3]
println!("{:?}",&v[1..]); // [2, 3] 动态数组切片 (切片是动态大小类型,在编译时大小未知,无法直接作为值使用所以会报错。只能用引用形式)
v.clear(); // [] 清空
处理数据的方法
struct Stu {
name:String,
age:u8
}
fn main() {
// 类似 JS 的 filter
let v1=vec![1,2,3];
v1.retain(|x| *x >= 2);
println!("{:?}",v1); // [2, 3]
// 类似 JS 的 map 。 Vec 需要转换为迭代器类型
let v3 = vec![
Stu{ name:"tom".to_string(), age:20 },
Stu{ name:"jack".to_string(), age:10 },
];
// map 方法是映射到新的 Vec 中
// v3.iter() Vec 不是迭代器类型,需要 iter 获取Itr<Stu>,才能遍历 。需要用&否则所有权会转移
// name_list 是 Vec<&String> 类型
// collect函数传入泛型 ::<Vec<&String>> ,泛型是生成的 Vec 的类型
let name_list: Vec<_>= v3.iter().map(|item| &item.name ).collect::<Vec<&String>>();
println!("{:?}",name_list); // ["tom", "jack"]
}
排序:
- 稳定的排序
sort
和sort_by
- 非稳定排序
sort_unstable
和sort_unstable_by
排序时当遇到相同数值时,稳定排序会保留源数据顺序。不稳定排序,则不一定
#[derive(Debug)]
struct Stu {
name:String,
age:u8
}
fn main() {
// 排序
let mut v1=vec![5,2,3];
v1.sort();
println!("{:?}",v1); // [2, 3, 5] 从小到大
// 类似 JS 的 map
let v2 = vec![
Stu{ name:"tom".to_string(), age:20 },
Stu{ name:"jack".to_string(), age:10 },
];
// 按年龄排序
// x.cmp 返回 Ordering枚举 ,sort_by 接收这个枚举类型
//pub enum Ordering {
// Less = -1,
// Equal = 0,
// Greater = 1,
//}
// a第一个、b 第二个数据,x.cmp(y)就直接看 x<y。y 是 b 就是朝向大的方向
v2.sort_by(|a,b| a.age.cmp(&b.age));
println!("{:?}",v); // [Stu { name: "jack", age: 10 }, Stu { name: "tom", age: 20 }]
}
HashMap
HashMap<K, V>
解构场景
Rust 可以通过解构语法,提取复杂数据(元组、数组、数组切片、结构体)内部携带的数据。模式匹配语法还额外支持解构带负载的枚举
下面是列举了常用的使用解构的场景,具体如何解构不同类型的数据,参考 let 声明
里列举的方式就行
let 声明
// 元组
let (x, y) = (10, 20);
println!("x: {}, y: {}", x, y);
// 数组
let [x, y] = [10, 20];
println!("x: {}, y: {}", x, y);
// 数组切片
let [x, y] = &[10, 20]; // 因为是引用,x、y 是 &i32 类型
println!("x: {}, y: {}", x, y);
// 结构体
struct Point {
x: i32,
y: i32,
}
let Point { x, y } = Point{ x:1 , y:2}
// 结构体 - 支持特殊的语法
let Point { x:new_var, y } = Point{ x:1 , y:2}; // 将 x 重命名为new_var,⚠️ 不存在变量 x 了,打印 x 会报错
⚠️ 不需要提取的部分,可以用 _
替代
let (_, y) = (10, 20);
函数入参
// 元组例子
fn deal((x,y,z):(u32,u32,u32)){
println!("{},{},{}",x,y,z); // jack,20
}
fn main() {
deal((1,2,3)) // 1,2,3
}
// 结构体例子
struct Point {
x: i32,
y: i32,
}
fn print_point(Point { x, y }: Point) {
println!("Point: ({}, {})", x, y);
}
for循环
let pairs = vec![(1, 2), (3, 4), (5, 6)];
for (x, y) in pairs {
println!("x: {}, y: {}", x, y);
}
模式匹配
match、if let、while let 等
模式匹配处理可以解构前面提到的(元组、数组、数组切片、结构体)这些复杂数据 ,还支持解构带负载的枚举
例子参考【模式匹配章节】
解构导致的所有权转移
⚠️ 解构会发生所有权转移,如果你还需要原数据可以用,请注意
以解构结构体为例子,通过 ref 、mut ref 解决
struct User{
name:String,
age:u8,
}
fn main() {
let user=User{
name:"jack".to_string(),
age:20
};
let User{name,age} = user;
println!("{}、{}",name,age); // jack 、 20
println!("{}",user.age); // 20
println!("{}",user.name); // ❌ 编译失败。 name 是 String 会发生 所有权部分移动(partially moved),所以 user 中的 name 不再可用
}
ref
struct User{
name:String,
age:u8,
}
fn main() {
let user=User{
name:"jack".to_string(),
age:20
};
// ref 告诉编译器不需要所有权转移, 自动获取的是借用,所以 name 实际类型是 &String
let User{ ref name, age} = user;
// let User{ ref mut name, age} = user; mut name花
println!("{}、{}",name,age); // jack 、 20
println!("{}",user.age); // 20
println!("{}",user.name); // jack
}
ref mut 通过引用修改
struct User{
name:String,
age:u8,
}
fn main() {
let mut user=User{
name:"jack".to_string(),
age:20
};
// ref 告诉编译器不需要所有权转移, 自动获取的是借用,所以 name 实际类型是 &String
let User{ ref mut name,age} = user;
let mut new_name="tom".to_string();
*name="tom".to_string();
println!("{}",user.age); // 20
println!("{}",user.name); // tom
}
其他类型也是支持的
let (ref z, y) =x; // 元组
let [ref z, y] =x; // 数组、切片
控制流
条件
支持作为表达式返回值
fn main() {
let number = 20;
let result = if number < 18 {
"未成年"
} else if number>=18 && number<50{
"中年"
} else {
"老年"
};
println!("{}", result); // 中年
}
Rust中 判断 2 个变量是否相等
数组、切片、元组
在其他语言中,复杂类型都是无法直接比较的
rustfn main(){ let a = [1,2,3]; let b = [1,2,3]; if a == b{ println!("ok"); // 输出 ok }else { println!("fail"); } }
循环
支持 break、continue
for
for 循环 Range
for value in 1..5{
println!("{}", value); // 从 1 到 4
}
for value in 1..=5{
println!("{}", value); // 从 1 到 5
}
遍历数组
fn main() {
let mut x =[1,2,3];
// 每个 value 持有元素的所有权
for value in x{
print!("{} ", value);
}
// 不可变引用,只读不能改变元素
for value in &x{ // 等价于 for value in x.iter()
print!("{} ", value);
}
// 可变引用,可以遍历过程中改变值
for value in &mut x{
*value+=1;
}
print!("{:?} ", x); //[2, 3, 4]
// 迭代器enumerate方法,支持返回索引、值
for (index,value) in x.iter().enumerate(){
println!("index:{} value:{}", index,value); //[2, 3, 4]
}
}
loop
一直循环
fn main() {
let mut counter = 0;
// loop 是一直循环,可以通过 break 结束并返回值
let result = loop {
counter += 1;
if counter == 10 {
break counter * 2; // break xxx 支持作为 loop 的返回值
}
};
println!("{}",result);
}
while
fn main() {
let mut index = 0;
while index < 5 {
println!("{}", index);
index = index + 1;
}
}
模式匹配
match
类似与其他语言中的 switch 语法
match 变量
其中变量支持多种类型- 分支只能是常量
- 多个满足条件的分支,命中第一个
数值、布尔值、字符、字符串
直接对比变量匹配哪个分支
fn main() {
let number = 13;
// 你可以试着修改上面的数字值,看看下面走哪个分支
println!("Tell me about {}", number);
match number {
// 匹配单个数字
1 => println!("One!"),
// 匹配几个数字
2 | 3 | 5 | 7 | 11 => println!("This is a prime"),
// 匹配一个范围,左闭右闭区间
13..=19 => println!("A teen"),
// 处理剩下的情况
_ => println!("Ain't special"),
}
}
数值、字符加支持匹配范围
13..=19 => println!("A teen"),
'a'..='z' => println!("early ASCII letter"),
枚举
不带负载的枚举,也是直接对比变量匹配哪个分支
enum Color{
Blue,
Yellow,
Red,
Green,
Black
}
fn main() {
let my_color = Color::Red;
// match 有返回值
let ret = match my_color{
// 1、 多个条件用 | 拼接
Color::Blue|Color::Yellow => "blue或yellow",
// 2、 处理语句多行时,需要放在{}作用域内
Color::Red => "red", // 这可千万别当成 JS 的箭头函数。而是函数的最后一个表达式就是返回值
Color::Green => {
"green"
},
// 3、Rust 强制必须把枚举的所有分支都写出来,如何需要省略就用 _
_ => {
"未知"
}
}; // 一旦赋值就是语句了,加分号
println!("{}",ret);
}
match 带变体的枚举,命中枚举类型后可以解构携带的数据
enum Shape {
Rectangle { width:u32,height:u32 }, // 矩形, 负载是结构体 ,使用{ }
Triangle ((u32,u32),(u32,u32),(u32,u32)),// 三角形, 负载是元组 ,使用()
Circle { origin:(u32,u32), radius:u32 }, // 圆形,负载是 结构体
}
fn main(){
// let s = Shape::Circle {origin:(0,0),radius:20};
let s = Shape::Triangle ((0,0),(1,1),(2,2));
match s{
// 常量
Shape::Rectangle {width:120,height:20} =>{ // 必须与实例化数据一致才能匹配上
println!("命中")
}
// 解构结构体字段
Shape::Circle {origin,radius} =>{ // 解构构(类似 JS 中的解构)
println!("命中 origin:{:?} radius:{}",origin,radius) // 输出 命中 origin:(0, 0) radius:20
}
// 还可以将更深层的内容解开
//Shape::Circle {origin:(x,y),radius} =>{ //
// println!("命中 origin:({},{}) radius:{}",x,y,radius) // 输出 命中 origin:(0, 0) radius:20
//}
Shape::Triangle(x,y,z)=>{
println!("命中 {:?} {:?} {:?}",x,y,z);
}
_ => {
println!("未命中");
}
}
}
结构体
命中符合条件的结构体类型后,解构字段
fn main(){
struct Point { x: i32, y: i32 }
let p = Point { x: 1, y: 2 };
match p {
Point { x: 0, y } => println!("x is zero, y = {}", y),
Point { x, y } => println!("Point at ({}, {})", x, y),
}
}
元组
命中符合条件的元组类型后,解构数组中的数据
fn main(){
let t = (1, true);
match t {
// (1, true) => println!("完全匹配"),
(x, true) => println!("{}",x), // 1
_ => println!("其他"),
}
}
数组、切片
命中符合条件的数组类型后,解构数组中的数据
fn main(){
let arr = [1, 2, 3];
match arr {
// [1, 2, 3] => println!("完全匹配"),
[_, 2, _] => println!("第 2 个元素是 2 的"),
_ => println!("其他"),
}
}
match 匹配守卫
前面提到 带负载的枚举、数组、元组、结构体等等,都能部分匹配上,然后解构复杂类型里的数据
可以看到分支,可以用 if 继续验证解构出来的数据
fn main(){
struct Point { x: i32, y: i32 }
let p = Point { x: 1, y: 2 };
match p {
Point { x: 0, y } => println!("x = 0, y = {}", y),
Point { x, y } if y==2 => println!("x = {}, y = {}", x, y), // x = 1, y = 2
_ => {}
}
}
为啥加个守卫?解构出来数据后, if 可以进行更具体的判断
fn main(){
struct Stu { name :String}
let s = Stu { name:"tom".to_string() };
match s {
// ❌ 分支必须是常量,这里 name 值需要用函数创建,所以报错
// Stu{ name:"tom".to_string() } => { println!("ok"); },
// 用法 1:分支有限制,但是 if 守卫没有限制必须为常量
Stu{ name } if name =="tom".to_string() => { println!("Hello, {}!", name); }, // Hello, tom!
_ => {}
}
}
当然也可以直接用 if ,其实本质两者一样
if s.name == "tom".to_string(){
println!("ok"); // ok
}
if let
if let
是 match
的一个语法糖,相当于只有一个分支的 match
// 1、不要和 if 条件判断语法弄混
// 2、if let 不能直接通过 == 判断分支,必须 if let 常量 = 变量 {}
// 3、match 分支必须是常量,if let 后也必须接常量
以枚举作为例子
enum Color{
Blue,
Yellow,
}
fn main() {
let my_color = Color::Yellow;
// match 语法
match my_color {
Color::Blue => println!("命中 Blue"),
Color::Yellow => println!("命中 Yellow"),
}
// if let 语法中
if let Color::Yellow = my_color{
println!("命中 Yellow");
}else{ // 也支持 else
println!("未命中 Yellow");
}
}
@绑定语法
只能用在匹配模式中
// let else 与 @
let binding @ pattern else { }
// match 与 @
match value{
binding @ pattern // 如果 x 符合pattern条件,则将 x 赋值给 binding
}
let else 的例子
let val @ Some(_) = Some(5) else { todo!() }; // pattern 是 Some(_) = Some(5)
println!("{:?}", val); // Some(5)
match 的例子
let x = 5;
match x {
val @ 1..=10 => println!("{}", val), // pattern 是 1..=10
_ => println!("Out of range"),
}
结合解构结构体重命名语法
enum Message {
Hello { id: i32 },
World (u8)
}
let msg = Message::Hello { id: 5 };
match msg {
// 前面提到的解构语法
Message::Hello { id } => {
println!("{}", id)
},
// id 重命名为 x ,这是结构体解构的特殊语法。前面也提到过
Message::Hello { id:x } => {
println!("{}", x)
},
// id 重命名为 x , 注意: x @ 3..=7 这里是绑定语法
Message::Hello { id: x @ 3..=7 } => {
println!("{}", x) // 这里可以用新变量
},
// 元组结构体,取出 score 符合范围则
Message::World(score @ 1..7)=>{
println!("{}", score) // 这里可以用新变量
}
}
还有一种语法:
// id:常量。 id 解构出来的值符合条件才命中
Message::Hello { id: 10..=12 } => {
println!("Found an id in another range")
},
错误处理
Rust 的错误处理很有特点
panic!
panic 一般都是严重错误,会终止线程。如果在子线程只会终止子线程,不影响主线程
一般性错误,使用后面的 Result ,这种错误可以捕获处理
fn main() {
panic!();
}
// thread 'main' panicked at src/main.rs:11:5:
// explicit panic //
// stack backtrace: 后面是调用栈
fn main() {
panic!("xxx");
}
// thread 'main' panicked at src/main.rs:11:5:
// xxx // 这里是具体原因
// stack backtrace: 后面是调用栈
错误处理
Rust种使用内置的枚举 Option 来作为变量初始值/入参, Result 来表示函数返回值
enum Option<T> {
None,
Some(T),
}
enum Result<T, E> {
Ok(T),
Err(E),
}
unwarp、expect
这两个方法是 Option、 Result 才有
- unwrap 将携带的数据解出来,如果是
Option::None
|Result::Err
则直接 panic - expect 是更高级的处理,唯一的区别是可以设置
panic( "自定义错误信息" )
除非明确不会报错,否则不要使用。还会要用下面的 Result 来处理错误
use std::fs::read;
// 读取文件
fn read_file(file_path:&str) -> String{
let bytes = read(file_path).unwrap() //
let bytes = read(file_path).expect("xxx");//
String::from_utf8(bytes)
}
fn main() {
let content = read_file("../.gitignore");
println!("{:?}", content);
}
Result
Result 一般作为函数返回值,包含返回值或错误,函数调用链中通过返回Result 来传递错误
use std::fs::{read};
use std::io::ErrorKind;
fn read_file(file_path:&str) -> Result<String, &str>{ // 这里指的是 Ok(String)\Err(&str)
let bytes = read(file_path); // 返回值是 Result
match bytes {
// 读取成功。返回值是字节
Ok(bytes) => {
match String::from_utf8(bytes) { // 转化为 String
Ok(string) => Ok(string),
Err(e) => Err("utf8转换失败")
}
},
// 读取失败
Err(e) =>{
if e.kind() == ErrorKind::NotFound {
return Err("文件不存在")
}
Err("未知异常")
}
}
}
fn main() {
println!("当前工作目录: {:?}", env::current_dir().unwrap());
let content = read_file("./.gitignore"); // 结果是 Result 需要解开,才能拿到内容
match content {
Ok(content) => {
println!("{}", content); // 文件内容
},
Err(e)=>println!("{}", e) // 内部抛出的错误
}
}
?语法
?
是 match 处理的语法糖
1、获取 Result 返回值
- 必须有变量接收,否则报错
- 成功就解出数据后直接赋值变量,失败就终止函数并抛出错误。函数返回值 Result 的 E 必须是 std::error::Error 类型
use std::error::Error;
let ret = read(file_path)?;
// 返回的错误类型,不一定是哪个函数抛出的错误类型。Error是通用的 Error,用 Box<dyn Error>
fn read_file(file_path:&str) -> Result<String, Box<dyn Error> >{
// 成功就直接赋值变量,失败就终止抛出 std::error::Error 类型的错误
let bytes = read(file_path)?;
let content = String::from_utf8(bytes)?;
Ok(content)
}
2、链式调用
let mut s = String::new();
File::open("hello.txt")?.read_to_string(&mut s)?; //open错误就抛出,正常才调用read_to_string
3、不仅可以用与 Result,还能用于 Option
- 成功解出携带的数据,失败终止函数并抛出 None,函数返回值
Option<T>
fn get_number(opt: Option<i32>) -> Option<i32> {
let num = opt?; // 如果是 None,直接 return None
Some(num + 1)
}
fn main() {
let result = get_number(Some(10));
println!("{:?}", result); // 输出 Some(11)
let result_none = get_number(None);
println!("{:?}", result_none); // 输出 None
}
unwrap_*
这些方法是用来解开 Option、 Result 的,遇到错误不会 panic
unwrap_or、unwrap_or_else、unwrap_or_default
返回 Ok、Some 会解出来携带的数据,如果是 Err、None 则返回默认值。不会 panic
let res1 :Result<&str,&str> = Ok("正常");
let res2 :Result<&str,&str> = Err("异常");
// ------------ unwrap_or() ---------------
// 手动设置固定默认值
println!("{}", res1.unwrap_or("默认值")); // 正常
println!("{}", res2.unwrap_or("默认值")); // 默认值
// ------------ unwrap_or_else() ---------------
// 手动设置动态的默认值。参数是个闭包,返回值就是默认值
let res2 :Result<&str,&str> = Err("异常");
println!("{}", res2.unwrap_or_else(|err| {
//可以进行 打印日志、清理资源 之类的操作
"默认值"
})); // 默认值
println!("{}", res2.unwrap_or_else(|err| {
//可以进行 打印日志、清理资源 之类的操作
process::exit(1); // 不用默认值,直接退出
}));
// ------------ unwrap_or_default() 按照默认值返回---------------
// 返回默认值 ,Rust 为内置的类型都实现了Default Trait
// 结构体需要用derive派生语法,字段是对应类型的默认值
#[derive(Default)]
struct Stu{
name: String, // 默认""
age: u8, // 默认 0
score:HashMap<String, i32>,// 默认 {}
hobby:Vec<String> // 默认 []
x:X // 如果字段是结构体类型,有需要 derive 派生 Default
}
#[derive(Default)]
struct X{}
// 也可以自己实现 Default Trait
#[derive(Debug)]
struct Stu{ name:String }
impl Default for Stu{
fn default()->Stu{
Stu{name:"匿名".to_string()}
}
}
unwrap_err
只能提取Err、None 携带的数据,如果是 Ok、Some 则直接 panic
所以,请明确一定报错,才能使用这个
let e: Result<&str, &str> = Err("wrong");
println!("{}",e.unwrap_err()) // wrong
Rust中头疼的问题
声明
正常使用 let 声明变量
let x = 10;
但是在很多语法中,就不遵守这个规则
// 1、for 语法中
let x = [1,2,3,4,5];
for value in x { // 声明变量 value
print!("{value}");
}
// 2、match 、if let 模式匹配中解构
enum Shape {
Rectangle { width:u32,height:u32 }, // 矩形
}
fn main(){
let s = Shape::Rectangle {width:10,height:20};
match s {
Shape::Rectangle{width,height} => {
println!("{} {}",width , height); // 声明变量 width,height
},
_=>{}
}
//
if let Shape::Rectangle{width,height} = s {
println!("{} {}",width , height); // 声明变量 width,height
}
}