开源网站统计,网站怎么优化推荐,广州网站开发培训学校,建设装修网站参考资料#xff1a;https://doc.rust-lang.org/book/ch01-02-hello-world.html 一、 编译与运行
在 Rust 中#xff0c;编译和运行代码的常用命令是使用 cargo#xff0c;这是 Rust 的包管理和构建工具。以下是使用 cargo 和 rustc#xff08;Rust 编译器#xff09;的具… 参考资料https://doc.rust-lang.org/book/ch01-02-hello-world.html 一、 编译与运行
在 Rust 中编译和运行代码的常用命令是使用 cargo这是 Rust 的包管理和构建工具。以下是使用 cargo 和 rustcRust 编译器的具体命令
1. 使用 cargo 工具
cargo 是 Rust 的推荐工具因为它可以处理依赖管理、构建、测试等多个功能。 编译和运行项目 cargo run该命令将编译项目并运行可执行文件。cargo run 是一个方便的命令适用于开发过程中快速测试代码。 仅编译项目 cargo build该命令只会编译项目而不运行。编译后的可执行文件通常位于 target/debug/ 目录下。 编译发布版本 cargo build --release使用 --release 选项来编译一个优化的发布版本。编译后的可执行文件通常位于 target/release/ 目录下。
2. 使用 rustc 命令
如果你想直接使用 Rust 编译器 rustc而不使用 cargo可以使用以下命令 编译文件 rustc main.rs这将使用 rustc 编译器直接编译 main.rs 文件并生成一个名为 mainWindows 下为 main.exe的可执行文件。 运行可执行文件 编译完成后运行生成的可执行文件 ./main # 在 Unix 或 Linux 系统上
main.exe # 在 Windows 系统上二、如何显式的处理数字类型的溢出 相关教程章节https://doc.rust-lang.org/book/ch03-02-data-types.html Rust 提供了多种方法来处理整数溢出这些方法可以帮助你根据需要选择适当的策略来应对可能的溢出。让我们逐个分析这些方法并举例说明它们的用法。
1. wrapping_* 方法
描述当发生溢出时wrapping_* 方法会绕回到类型的最小值或最大值即在所有模式下包括 debug 和 release 模式进行“环绕”wrap around处理。使用场景适用于希望溢出后从类型的边界“环绕”回来的情况比如在循环计数时。
示例
fn main() {let max u8::MAX; // u8 的最大值是 255let wrapped max.wrapping_add(1); // 255 1 应该是 256但会“环绕”回 0println!(Wrapped value: {}, wrapped); // 输出: Wrapped value: 0
}解释u8 类型的最大值是 255。wrapping_add(1) 将会“环绕”回 0因为 u8 只能存储 0 到 255 之间的值。
2. checked_* 方法
描述checked_* 方法在发生溢出时返回 None否则返回 Some(value)。使用场景适用于需要检测溢出并希望在溢出时采取一些特定措施的情况例如返回一个 None 值表示错误。
示例
fn main() {let max u8::MAX; // u8 的最大值是 255let checked max.checked_add(1); // 255 1 会溢出match checked {Some(value) println!(Checked value: {}, value),None println!(Overflow occurred!), // 输出: Overflow occurred!}
}解释checked_add(1) 会检测到溢出因为 255 1 超出了 u8 类型的范围因此返回 None。
3. overflowing_* 方法
描述overflowing_* 方法返回一个元组 (value, bool)其中 value 是操作结果bool 表示是否发生了溢出true 表示发生溢出。使用场景适用于需要知道溢出发生与否同时还需要获取操作结果的情况。
示例
fn main() {let max u8::MAX; // u8 的最大值是 255let (overflowed_value, did_overflow) max.overflowing_add(1); // 255 1 会溢出println!(Overflowing value: {}, overflowed_value); // 输出: Overflowing value: 0println!(Did overflow: {}, did_overflow); // 输出: Did overflow: true
}解释overflowing_add(1) 返回一个元组其中第一个值是溢出后的结果即环绕后的值 0第二个值是一个布尔值表示是否发生了溢出true 表示发生了溢出。
4. saturating_* 方法
描述saturating_* 方法在溢出时返回类型的最小值或最大值而不是产生环绕效果。使用场景适用于希望结果在类型的范围内“饱和”即限制在最大值或最小值而不发生环绕的情况比如计算结果不能超过一个特定的上限或下限。
示例
fn main() {let max u8::MAX; // u8 的最大值是 255let saturated max.saturating_add(1); // 255 1 会溢出println!(Saturating value: {}, saturated); // 输出: Saturating value: 255
}解释saturating_add(1) 在发生溢出时不会绕回到 0而是返回 u8 类型的最大值255这是“饱和”效果的表现。
总结
wrapping_* 方法当发生溢出时结果“环绕”回类型的边界值。checked_* 方法当发生溢出时返回 None否则返回 Some(value)。overflowing_* 方法返回一个元组 (value, bool)表示结果和是否发生溢出。saturating_* 方法当发生溢出时返回类型的最小值或最大值不发生环绕。
三、控制台打印中{}和{:?}的区别
在 Rust 中{:?} 和 {} 都是格式化占位符但它们的用途和作用有所不同。
{:?} 和 {} 的区别 {:?}表示调试格式化debug formatting。它用于打印那些实现了 Debug trait 的类型的值。它的输出通常更详细适用于开发和调试用途。使用 {:?} 时Rust 不仅会打印变量的值还会尽可能地显示它们的内部结构。 {}表示显示格式化display formatting。它用于打印那些实现了 Display trait 的类型的值。Display trait 更像是用户友好的输出格式而不是用于调试的信息。并不是所有类型都实现了 Display trait例如常见的 Rust 标准类型如 Option 或 Result默认没有实现 Display。
为什么用 {:?} 而不是 {}
在 Rust 中大多数基本数据类型如 bool、i32、f64 等都同时实现了 Debug 和 Display trait因此你可以使用 {:?} 或 {} 来打印它们的值。但是使用 {:?} 更通用它适用于更广泛的类型。
例子
println!(a {:?}, b {:?}, a, b);这是用来打印布尔值 a 和 b。虽然 bool 类型同时实现了 Debug 和 Display但一般情况下 使用 {:?} 是一种好习惯因为它可以打印更复杂的数据结构例如元组、数组、向量、枚举等。在这些情况下{:?} 可以打印更多细节而无需更改代码。 {:?} 更通用它能确保你在需要打印复杂数据结构时不出错而 {} 只能用于实现了 Display 的类型。
示例{:?} vs {}
让我们看一个例子来更好地理解这两个占位符的区别。
使用 {:?} 调试格式化
fn main() {let tuple (42, hello, vec![1, 2, 3]);// 使用调试格式化打印println!({:?}, tuple);
}输出
(42, hello, [1, 2, 3])这里使用 {:?} 成功打印了元组的所有内容包含整数、字符串和向量的详细信息。
使用 {} 显示格式化
fn main() {let tuple (42, hello, vec![1, 2, 3]);// 使用显示格式化打印println!({}, tuple); // 编译错误
}输出
error[E0277]: ({integer}, str, std::vec::Vec{integer}) doesnt implement std::fmt::Display上述代码会产生编译错误因为元组 (42, hello, vec![1, 2, 3]) 没有实现 Display trait因此不能使用 {} 来打印它。
总结
{:?}用于调试格式化适用于所有实现了 Debug trait 的类型。更通用更适合打印复杂的数据结构和调试输出。{}用于显示格式化适用于实现了 Display trait 的类型。输出更简洁但不适用于所有类型。
四、BACKTRACE
在 Rust 中当程序发生 panic恐慌时会打印一个错误消息描述导致 panic 的原因。
note: run with RUST_BACKTRACE1 environment variable to display a backtrace 的含义
这条提示信息的意思是如果你希望看到导致 panic 的完整调用栈backtrace可以运行程序时设置环境变量 RUST_BACKTRACE1。
什么是 Backtrace
Backtrace 是一种调试信息它显示了程序在发生 panic 时的调用堆栈函数调用的路径。通过查看 backtrace可以了解程序是如何到达 panic 点的这对调试程序非常有用。在 Rust 中默认情况下当程序发生 panic 时Rust 只会显示一个简短的错误信息如你看到的那样不会显示完整的 backtrace。
如何启用 Backtrace
要启用 backtrace可以在运行程序时设置 RUST_BACKTRACE 环境变量为 1。这样 Rust 会在 panic 发生时打印出更详细的调用堆栈。
示例在不同平台上启用 Backtrace Linux/macOS 在终端中运行以下命令 RUST_BACKTRACE1 cargo run或者如果你直接使用编译后的可执行文件可以这样运行 RUST_BACKTRACE1 ./your_program_nameWindows 在命令提示符中运行以下命令 set RUST_BACKTRACE1
cargo run或者如果你直接运行可执行文件可以这样运行 set RUST_BACKTRACE1
your_program_name.exe启用 Backtrace 后的输出
启用 backtrace 后运行程序时你会看到类似以下的输出
thread main panicked at index out of bounds: the len is 5 but the index is 10, src/main.rs:19:19
stack backtrace:0: std::panicking::begin_panic1: core::panicking::panic_bounds_check2: your_function_name...8: main9: __libc_start_main10: _start解释
这些信息显示了程序中发生 panic 的函数调用栈。每一行对应一个函数调用。通过查看这些信息你可以追踪导致 panic 的路径找到出错的代码段并进行修复。
五、解构式赋值 rust教程https://course.rs/basic/variable.html 这段教程介绍了 Rust 1.59 版本后支持的一种新的赋值方式——解构式赋值。这种方式允许在赋值语句中使用元组、切片和结构体的模式从而直接给多个变量赋值或更新变量的值。它类似于 let 语句的解构绑定但不同的是let 语句用于变量的初次绑定而解构式赋值用于已经绑定的变量的再赋值。
什么是解构式赋值
解构式赋值 是一种赋值方法它允许你使用模式匹配的方式将值“解构”并赋给多个变量。在 Rust 1.59 之前这种操作只能在 let 语句中使用而在 Rust 1.59 之后它被扩展到普通的赋值语句中使得代码更加简洁和易于理解。
解释代码示例
我们来看一下你的代码示例并逐步分析每一行
struct Struct {e: i32
}fn main() {let (a, b, c, d, e);(a, b) (1, 2);// _ 代表匹配一个值但是我们不关心具体的值是什么因此没有使用一个变量名而是使用了 _[c, .., d, _] [1, 2, 3, 4, 5];Struct { e, .. } Struct { e: 5 };assert_eq!([1, 2, 1, 4, 5], [a, b, c, d, e]);
}1. 结构体定义
struct Struct {e: i32
}定义了一个简单的结构体 Struct它只有一个字段 e类型是 i32。
2. 解构式赋值的例子
fn main() {let (a, b, c, d, e);这里用 let 声明了五个变量 a, b, c, d, 和 e但是没有为它们赋值。 (a, b) (1, 2);解构式赋值将元组 (1, 2) 中的值解构并分别赋给 a 和 b。结果是 a 1b 2。 [c, .., d, _] [1, 2, 3, 4, 5];这里我们对数组 [1, 2, 3, 4, 5] 使用了解构赋值。 c 取得第一个元素 1。.. 表示忽略中间的元素这里是 [2, 3]。d 取得倒数第二个元素 4。_ 匹配最后一个元素 5但我们不关心它的值因此使用 _ 忽略掉。结果是 c 1d 4。 Struct { e, .. } Struct { e: 5 };对结构体进行解构赋值。 Struct { e, .. } 是一个模式匹配 Struct 结构体类型。.. 表示忽略结构体中的其他字段如果有的话。e 取得结构体中 e 字段的值这里是 5。结果是 e 5。
3. 断言 assert_eq!([1, 2, 1, 4, 5], [a, b, c, d, e]);assert_eq! 宏用于断言两个值相等。它比较数组 [1, 2, 1, 4, 5] 和变量的值 [a, b, c, d, e] 是否相等。由于前面的解构式赋值我们知道 a 1b 2c 1d 4e 5因此断言成功程序继续执行。
解构式赋值 vs. let 绑定 let 绑定在初次声明变量时使用。let 语句会新建变量并绑定一个值或解构多个值。 let (x, y) (10, 20); // 新建变量 x 和 y并赋值解构式赋值在已经声明的变量上使用。解构式赋值仅仅是对已存在变量的再赋值。 let x;
x 5; // 给已声明的变量 x 赋值注意事项 使用 等运算符进行赋值时还不支持解构式赋值。这意味着你不能对解构后的变量直接使用 等操作符例如 (x, y) (1, 2); // 这是不允许的编译时会报错总结
解构式赋值 是一种灵活的赋值方式它允许你在赋值语句中使用元组、切片和结构体模式进行解构。它保持了与 let 语句的使用一致性但用于已经声明的变量而不是创建新的变量。使用这种方式可以简化对多值赋值的操作使代码更加简洁和易读。
