当前位置: 首页 > article >正文

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);  // Ok
    println!("{}, 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);     // Ok
    printf("%s\n", s1);     // OK
    return 0;
}

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

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

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

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

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

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

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

有效
栈:s1
堆:'hello'

图 1 图1 1

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

悬空
有效
栈:s1
由Rust回收
栈:s2
堆:'hello'

图 2 图2 2

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

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

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

为什么要有这种机制?

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

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

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

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


http://www.kler.cn/a/231821.html

相关文章:

  • Java爬虫(Jsoup)详解
  • Kafka简单实践
  • 三周精通FastAPI:42 手动运行服务器 - Uvicorn Gunicorn with Uvicorn
  • Java基础-Java中的常用类(上)
  • 前景理论(Prospect Theory)
  • 【MYSQL】分库分表
  • 容器库(6)-std::set
  • Codeforces Round 260 (Div. 1)A. Boredom(dp)
  • springboot172基于springboot的二手车交易系统的设计与实现
  • Rust开发WASM,WASM Runtime运行
  • 蓝桥杯-求阶乘-python
  • elk之search API
  • Apollo2.2.0 arm 达梦 人大金仓 适配
  • 华为认证 | 2024了,华为HCIA还有必要考?
  • CSS 控制 video 标签的控制栏组件的显隐
  • C语言实现网络爬虫
  • 【C++】C++的简要介绍
  • Stable Diffusion 模型下载:Samaritan 3d Cartoon SDXL(撒玛利亚人 3d 卡通 SDXL)
  • Nginx+React在Docker中实现项目部署
  • Pinia的使用与原理
  • Rust入门1——HelloWorld
  • Golang数据库编程详解 | 深入浅出Go语言原生数据库编程
  • C语言:操作符详解
  • LabVIEW高精度主动模拟肺系统的开发与应用
  • 华为机考入门python3--(11)牛客11-数字颠倒
  • 【C语言自定义类型详解进阶】结构体(补充结构体的对齐和位段,一口气看完系列,央妈都点赞的博文)