Rust 初体验2

变量类型

Rust 语言的变量数据类型，主要包括整型、浮点型、字符、布尔型、元组、数组、字符串、枚举、结构体和可变变量等。

fn main() {  // 整型  let integer: i32 = 100;  println!("整型: {}", integer);  // 浮点型  let floating_point: f64 = 3.14;  println!("浮点型: {}", floating_point);  // 字符  let character: char = 'A';  println!("字符: {}", character);  // 布尔型  let boolean: bool = true;  println!("布尔型: {}", boolean);  // 字符串  let string: String = String::from("Hello, Rust!");  println!("字符串: {}", string);  // 数组  let array: [i32; 5] = [1, 2, 3, 4, 5];  println!("数组: {:?}", array);  // 元组  let tuple: (i32, f64, String) = (10, 2.5, String::from("tuple"));  println!("元组: {:?}", tuple);  // 枚举  #[derive(Debug)]enum Color {  Red,  Green,  Blue}  let color: Color = Color::Red;  println!("枚举: {:?}", color);  // 结构体#[derive(Debug)]  struct Person {  name: String,  age: u32  }  let person: Person = Person {  name: String::from("Alice"),  age: 30  };  println!("结构体: {:?}", person);  // 可变变量  let mut mutable_variable = 10;  mutable_variable = 20;  println!("可变变量: {}", mutable_variable);  
}

所有权

Rust中每个值都有一个所有者。Rust 确保在变量离开作用域时值被清理。

fn main() {  let s1 = String::from("hello");  let s2 = s1;    // s1 的所有权转移到 s2，s1 不再有效println!("{}, world!", s2);  // Okprintln!("{}, world!", s1);  // Error
}

这一点与C语言不同，C语言中 s1 的值被复制到 s2 中，s1仍然有效。

#include <stdio.h>
int main() {  char* s1 = "hello";   char* s2 = s1;          // s1 的所有权转移到 s2，s1 不再有效printf("%s\n", s2);     // Okprintf("%s\n", s1);     // OKreturn 0;
}

Rust 中的变量分为两种：栈变量、堆变量。

栈变量存储在栈上，堆变量存储在堆上。栈变量的大小是固定的，而堆变量的大小是不固定的，需要动态分配内存。

Rust 中的变量默认存储在栈上，如果需要存储在堆上，可以使用 Box<T> 类型。

• 栈（Stack）：局部变量、函数参数和函数返回值通常存储在栈上。这些变量具有明确的生命周期，通常与它们所在的作用域相关。当变量离开其作用域时，它们的内存会被自动释放。

• 堆（Heap）：动态分配的数据，如使用Box、String、Vec等类型创建的变量，通常存储在堆上。这些变量具有更长的生命周期，并且由 Rust 的垃圾回收器管理。当没有任何引用指向堆上的数据时，垃圾回收器会释放该内存。

• 静态存储区：静态变量和常量存储在静态存储区。这些变量的生命周期是整个程序的执行期间，它们在程序开始执行时就被分配，并在程序结束时才被释放。

在 Rust 中，变量的内存存储方式主要受到它们的数据类型和所有权规则的影响。在前面的 Rust 代码中，s1 和 s2 都是 String 类型的变量，这意味着它们存储的是对堆上分配的字符串数据的引用。

$$图1$$

当 s1 被创建时，Rust 会在堆上分配内存来存储字符串 “hello”，并将一个引用（指针）赋值给 s1。这个引用包含了指向堆上数据的地址信息。

$$图2$$

当 s2 被创建并赋值为 s1 时，根据 Rust 的所有权转移规则， s2 现在拥有了原来 s1 所拥有的数据的所有权。此时，s1 不再拥有对这块内存的所有权，它变成了一个悬空引用（dangling reference），指向一个不再有效的内存地址。

在 图2 中，s1 悬空。s2 指向了堆上存储的字符串 “hello”。当 s2 离开作用域并被销毁时，Rust 垃圾回收机制会确保释放这块堆上分配的内存。

在Rust中，变量本身通常存储在栈上（对于局部变量），而它们指向的数据（对于堆上分配的类型）则存储在堆上。所有权转移确保了当引用离开作用域时，相关的内存能够被正确地释放，从而避免了内存泄漏。

为什么要有这种机制？

Rust中的变量都是通过所有权（ownership）来管理的，当一个变量离开其作用域时，其占用的内存将被释放。这样可以避免内存泄漏和悬空指针的问题。

内存泄漏的主要原因是在程序中分配内存，但忘记释放它。Rust中的变量在离开作用域时会自动释放其占用的内存，因此不会发生内存泄漏。

悬空指针是指一个指针指向的内存已经被释放，但指针仍然指向该内存地址。悬空指针会导致程序崩溃或产生其他错误。在Rust中，变量在离开作用域时会自动释放其占用的内存，因此不会发生悬空指针的问题。

当然，安全性和灵活性之间需要进行权衡。在某些情况下，手动管理内存可以减少内存分配和释放的开销，从而提高程序的性能。但在其他情况下，Rust的自动内存管理可能会导致额外的开销和复杂性。因此，需要根据具体情况进行选择。