【Rust指南】解析struct 结构体的定义、实例化、方法、所有权、关联函数

简介: 【Rust指南】解析struct 结构体的定义、实例化、方法、所有权、关联函数

一、结构体的定义


Rust 中的结构体与元组(Tuple)都可以将若干个类型不一定相同的数据捆绑在一起形成整体,但结构体的每个成员和其本身都有一个名字,这样设计有利于访问其成员。元组常用于非定义的多值传递,而结构体用于规范常用的数据结构,且结构体内的成员被称为字段


结构体定义的语法:


struct User{
    username:String,
    sex:String,
    age:u32,
    height:u32
}


乍一看跟C/C++很相似,但是Rust里的结构体每定义一个字段都要加上逗号且最后一个字段不需要加任何符号。

每个字段需要指定具体的数据类型。

同时值得注意的是:结构体不允许在定义的时候实例化。 我们知道C/C++语言是可以在最后的大括号后面实例化的,但是Rust没有这一特点且大括号后面不能加分号。


二、结构体实例化


Rust 很多地方受 JavaScript 影响,在实例化结构体的时候用 JSON 对象的 key: value 语法来实现定义:


为每个字段指定具体值

无需按照声明的顺序指定

例如:


let demo=User{
    username: String::from("微凉秋意"),
    sex: String::from("男"),
    age:22,
    height:183
};


记住一般格式:


结构体类名 {

字段名 : 字段值,

}


如果正在实例化的结构体有字段名称和现存变量名称一样的,可以简化书写:


let username=String::from("微凉秋意");
let sex=String::from("男");
let demo=User{
    username,    // 等同于 username : username,
    sex,
    age:22,
    height:183
};


有这样一种情况:你想要新建一个结构体的实例,其中大部分属性需要被设置成与现存的一个结构体属性一样,仅需更改其中的一两个字段的值,可以使用结构体更新语法:


let demo1=User{
    username:String::from("叶落秋白"),
    sex:demo.sex.clone(),
    ..demo
};


注意:


..demo 后面不可以有逗号。这种语法不允许一成不变的复制另一个结构体实例,意思就是说至少重新设定一个字段的值才能引用其他实例的值。


sex:demo.sex.clone()这里如果不单独写出来编译器会报错:borrow of moved value



意思就是租借了没有所有权的变量,由于无法租借所有权,报错也很正常。而导致错误的原因就是demo.sex的所有权已经在赋值的时候转移给了demo1.sex,这点要尤其注意。因此写成demo.sex.clone()就可以解决所有权转移的问题了。


如果想要修改实例的成员属性,需要在定义的时候把结构体改为可变,也就是加上mut关键字


一旦struct实例是可变的,那么实例中所有的字段都是可变的

无法单独为某一个字段设置为可变


三、元组结构体


元组结构体是一种形式是元组的结构体,与元组的区别是它有名字和固定的类型格式。

它存在的意义是为了处理那些需要定义类型(经常使用)又不想太复杂的简单数据:


//定义:
struct Color(u8,u8,u8);
struct Point(u8,u8,u8);
//实例:
let black=Color(0,0,0);
let origin=Point(0,0,0);


上面定义的black和origin尽管字段类型一致,但是二者是不同的类型,属于两个元组结构体实例。

访问元组结构体与访问元组方法一致,通过点标记法即可

补充一个特殊的单元结构体


例如:


struct UnitStruct;


我们称这种没有身体的结构体为单元结构体(Unit Struct)


可以定义没有任何字段的struct

适用于需要在某个类型上实现某个trait(接口,没有具体实现)


四、结构体所有权


结构体必须掌握字段值所有权,因为结构体失效的时候会释放所有字段。


这也是上面字符串类型使用String而不是用&str(字符串切片)的原因

不过结构体是可以定义引用类型字段的,这需要结合后面的”生命周期“实现


五、结构体方法


Rust中 的方法和函数类似,只不过它是用来操作结构体实例的。在C++语言中,我们知道类内的this指针指向的是对象自身,而Rust 语言不是面向对象的,从它所有权机制的创新可以看出这一点。但是面向对象的珍贵思想可以在 Rust 实现。


结构体方法的第一个参数必须是 &self,不需声明类型,因为 self 不是一种风格而是关键字。


计算一个矩形的面积的方法:


#[derive(Debug)]
struct Rectangle{
    width:u32,
    length:u32
}
impl Rectangle {
    fn area(&self)->u32{
        self.width*self.length
    }
}
fn main(){
    let rect=Rectangle{
        width:15,
        length:20
    };
    println!("rect.area={}",rect.area());
    println!("rect = {:#?}",rect);
}


这里的#[derive(Debug)]是Rust提供的调试库

在程序前面加上之后在println和print宏中就可以用 {:?}或{:#?} 占位符输出一整个结构体

不带#的占位符是输出一行,而带的占位符输出和实例化一样形式的结构体

为结构体添加方法需要在impl里进行,格式就是impl+结构体类型{}

在调用结构体方法的时候不需要填写 self ,这是出于对使用方便性的考虑。

一个多参数的例子:


struct Rectangle {
    width: u32,
    height: u32,
}
impl Rectangle {
    fn area(&self) -> u32 {
        self.width * self.height
    }
    fn wider(&self, rect: &Rectangle) -> bool {
        self.width > rect.width
    }
}
fn main() {
    let rect1 = Rectangle { width: 30, height: 50 };
    let rect2 = Rectangle { width: 40, height: 20 };
    println!("{}", rect1.wider(&rect2));
}
//运行结果为false,证明rect1没有rect2宽度大

六、结构体关联函数


之所以"结构体方法"不叫"结构体函数"是因为"函数"这个名字留给了这种函数:它在 impl 块中没有 &self 参数。


这种函数不依赖实例,但是使用它需要声明是在哪个 impl 块中的。


一直使用的 String::from 函数就是一个"关联函数"。


接下来看一个实例:


#[derive(Debug)]
struct Rectangle {
    width: u32,
    height: u32,
}
impl Rectangle {
    fn create(width: u32, height: u32) -> Rectangle {
        Rectangle { width, height }
    }
}
fn main() {
    let rect = Rectangle::create(30, 50);
    println!("{:?}", rect);
}


可以看到在Rectangle块中定义了一个create函数,返回值是一个Rectangle类型,而内部实现就是实例化结构体的一个过程。那么这时候在主函数调用该关联函数就可以创建不同的Rectangle结构体实例了。

相关文章
|
5天前
|
存储 缓存 安全
第二章 HTTP请求方法、状态码详解与缓存机制解析
第二章 HTTP请求方法、状态码详解与缓存机制解析
|
2天前
|
XML 数据格式
XML Schema 复杂元素类型详解:定义及示例解析
在XML Schema(XSD)中,复杂元素包含其他元素和/或属性,分为4类:空元素、仅含元素、仅含文本和既含元素也含文本。定义复杂元素可通过直接声明或引用预定义的复杂类型。复杂空元素仅含属性,而仅含元素的类型则只包含其他子元素。XSD提供了`<xs:sequence>`、`<xs:all>`、`<xs:choice>`等指示器来规定元素顺序和出现次数,以及`<xs:attributeGroup>`和`<xs:group>`来组织元素和属性。
164 7
|
6天前
|
安全 数据安全/隐私保护
企业邮箱解析:定义、特点全揭秘,通信安全护航
商务邮箱是专为企业的邮件服务系统,强调专业形象、高效沟通和信息安全。它提供邮件管理、会议安排等功能,增强品牌形象和内部效率。重要的是选择稳定且安全的服务商。商务邮箱使用企业域名,展示专业性并提升品牌识别度,包含群发管理、邮件追踪等高级功能。市场有多种服务商,如Zoho Mail和G Suite,选择时需考虑稳定性、安全性等因素。商务邮箱对提升企业形象、加强内部管理、保障信息安全、支持移动办公及客户服务起关键作用。
13 1
|
6天前
|
Rust 安全 程序员
使用Rust进行系统编程:安全性优势深度解析
【5月更文挑战第14天】Rust,Mozilla开发的系统编程语言,以其内存安全、并发支持和静态类型系统在系统编程中脱颖而出。所有权和借用检查机制消除内存错误,无锁并发原语提升安全性,静态类型减少运行时错误,最小权限原则降低权限风险。强大的社区支持和安全审计进一步确保了代码的安全性和稳定性,使Rust成为安全高效系统编程的理想选择。
|
6天前
|
XML JavaScript Java
详解Java解析XML的四种方法
详解Java解析XML的四种方法
16 1
|
6天前
|
存储 开发框架 .NET
C#中将DataTable转化成ListT的方法解析
C#中将DataTable转化成ListT的方法解析
9 0
|
6天前
项目管理工具计划模板解析:项目管理工具的双重功能与创建方法
本文介绍了项目计划模板的含义和重要性。项目计划模板是用于规划项目结构的可编辑文档,帮助团队明确任务、分配责任和管理时间。模板有助于跟踪项目进度、避免任务冲突,并简化会议安排。创建模板通常涉及选择合适的项目管理工具,如Zoho Projects或Microsoft Excel,然后分解任务、定义日期并持续调整。在Zoho Projects中,用户可以按步骤创建模板,包括命名、添加任务和设置相关细节。
21 0
|
6天前
|
JavaScript 前端开发 算法
vue生命周期函数原理解析,vue阻止事件冒泡方法实现
vue生命周期函数原理解析,vue阻止事件冒泡方法实现
|
6天前
|
机器学习/深度学习 自然语言处理 算法
深度解析深度学习中的优化算法:从梯度下降到自适应方法
【4月更文挑战第28天】 在深度学习模型训练的复杂数学迷宫中,优化算法是寻找最优权重配置的关键导航者。本文将深入探讨几种主流的优化策略,揭示它们如何引导模型收敛至损失函数的最小值。我们将比较经典的批量梯度下降(BGD)、随机梯度下降(SGD)以及动量概念的引入,进一步探索AdaGrad、RMSProp和Adam等自适应学习率方法的原理与实际应用。通过剖析这些算法的理论基础和性能表现,我们旨在为读者提供一个关于选择合适优化器的参考视角。
|
6天前
|
XML 存储 数据格式
探索 DTD 在 XML 中的作用及解析:深入理解文档类型定义
DTD(文档类型定义)用于定义XML文档的结构和合法元素、属性。它允许不同团体就数据交换标准达成一致,并用于验证XML数据的有效性。DTD可通过内部声明(在XML文档内)或外部声明(在单独文件中)来定义。内部声明示例显示了如何定义`note`元素及其子元素的结构,而外部声明则引用外部DTD文件。元素、属性、实体和PCDATA/CDATA是XML构建模块。DTD中,元素通过ELEMENT声明定义,属性通过ATTLIST声明定义,实体声明提供特殊字符或外部资源的快捷方式。
16 0

推荐镜像

更多