网站建设主机,互联网 网站设计,成都优化网站,pvc建筑模板生产厂家编程规范
类C语法#xff0c;函数需要定义#xff0c;指令需要以#xff1b;结尾。需要大括号{} 文件名#xff0c;变量#xff0c;函数命名使用snake case#xff0c;eg#xff1a;new_function() 结构体#xff0c;特征命名#xff0c;使用大驼峰命名#xff0c;e…编程规范
类C语法函数需要定义指令需要以结尾。需要大括号{} 文件名变量函数命名使用snake caseegnew_function() 结构体特征命名使用大驼峰命名egStudentChangeInfo
数据类型
Rust 是 静态类型statically typed语言每个数据都必须声明类型数据的初始化方式为let a : Type value;
let a : i32 6;
let b : f32 6.0;
let c : char 6;
let d : [i32;6] [1,2,3,4,5,6]
let e : (char,i32) (6,6);
let f : Veci32 Vec::new();Rust中的变量默认是不可变的如果想要可变需要添加mut关键字
let mut g: i32 1;基本标量
整型i32浮点型f32布尔类型bool字符类型char 复合数据类型原生数组[i32;5]元组:(i32,i32,i8)【Rust 标准库提供】可变数组VecSring字符串str字符串面值可以理解为“abc”就是字符串面值跟其他语言一样不可更改而String则是另一种字符串他可以修改可以添加删除替换等等跟C的String别无二样。
所有权
Rust通过控制所有权来实现内存管理 Rust中所有的变量都是有所有权的变量的初始化被称为变量绑定即将这个数据绑定到这个变量上。 Rust对于简单基本数据类型会直接进行拷贝不会考虑所有权问题但是对于复杂数据类型就有所有权制度了如下
let s1 Stinrg::from(name);
let s2 : String;
s2 s1;
println!({},s1);
//这种情况就会报错因为Rust中对于复杂数据类型等于号默认就是所有权的交接
//此时数据的所有权已经从s1转移到s2了这种称为move
//也就是说Rust中默认的是move而不是浅拷贝
//Rust中有一个特征是Copy实现了Copy特征的都是拷贝而不是move
//官方给出的可以Copy的类型规则任何基本类型的组合可以 Copy 不需要分配内存或某种形式资源的类型是可以 Copy 的。Rust中的函数传参也适用所有权制度
let s3 String::from(value);
a_function(s3)
//此时s3数据的所有权已经move给函数了
//在函数调用结束时如果所有权不传出来那么Rust就会自动调用drop清理掉相应数据的内存。
所有权传来传去很麻烦所以就设计了引用和借用机制
let x: i32 1;
let y x;println!({},{},x,*y);
//引用机制直接指向同一个地址引用一个指针指向了原数据类型只能看不能改。
还记得前面说的可变与不可变性吗如果想要获得修改权就需要借用引用只能看不能改。
let x: i32 1;
let temp x; //引用一旦引用了原数据就不能再被借用了确保在引用期间数据不会改变。
let y mut x; //借用把上面的那句引用注释掉就可以借用了
*y 6; //借用可以修改
println!(The value of y is: {}, y);
println!(The value of x is: {}, x); //会报错此时x处于被借用状态自己没法用
let y 1; //给y绑定一个新的值把原本的y覆盖掉
println!(The value of x is: {}, x); //此时就又可以用了而且值也已经修改了。
//其实不覆盖也可以因为Rust检测到后面y不用了就会自动把借用还回去可以把let y 1注释掉依旧可以。其实所有权引用和借用的机制很简单就是把数据和变量分开了变量是数据的所有者所有权就是指把数据分配给这个变量了。 转移所有权就是指把这个数据转移给另一个变量原变量就go die了。 引用就是指可以看这份数据但是不能改而且数据的所有者不能再把数据借给其他变量。 借用就是指将数据暂时借给其他变量在借给其他变量后原变量就像个植物人一样啥也不能干但是借用一旦归还就又活过来了。 控制流
常见if-elseforwhile该有的都有
函数
fn function(inputvalue:input_type,inputvalue2:input_type2) - return_type {println!(This is a function);let result: return_type value;return result;
}结构体
Rust中没有类的概念取而代之的是跟C一样的structstruct不能继承早期的Rust有virtual struct是可以继承的后面删除了不能使用继承了。Rust实现多态的方式是使用特征trait。 封装继承多态是面向对象编程的三个特征这是目前最常见的说法。不过我们跳出这三个特征来谈OOP(面向对象)我们会发现其实面向对象的主要思想就类似于状态机一样对象就是状态的封装通过行为来不断改变状态最终得到结果而多态是为了实现同一个行为可以应对复用在多个状态机上。从这个角度出发我们就不难理解为什么Rust要这么设计了Rust认为要实现多态不一定非要使用继承继承反而会破坏掉封装我们的目的只是要复用行为没必要把状态机之间扯上关系所以Rust将状态和行为分开封装状态封装为了struct行为封装成了方法而想要在多个状态上复用的行为封装成了特征struct不需要知道自己和哪个struct共用特征只需要实现相应的特征即可特征在特定的上下文也可以识别出自己接受的struct类型达到和继承一样的效果。不过Rust官方并不称为自己是面向对象语言虽然可以用OOP的方法来编程但是会跟所有权等机制格格不入。 struct Person{name : String,age : i32,address : String,
}方法
跟传统OOP中的成员函数一样。
impl Person{fn change_name(mut self,new_name) - (){self.name new_name;}
}特征trait
trait是Rust中独有的一种机制有点像接口类的概念如果不同的类型具有相同的行为那么我们就可以定义一个特征然后为这些类型实现该特征。定义特征是把一些方法组合在一起目的是定义一个实现某些目标所必需的行为的集合。 如下我们定义了一个特征名称为ChangeInfo所有有该行为需求的类都可以实现一个该特征例如Student和Teacher。
pub trait ChangeInfo{fn change_name(mut self,new_name) - (); //注意这里是不是{}fn init_all_info(mut self) - (){ //也可以设置默认实现默认实现允许调用相同特征中的其他方法哪怕这些方法没有默认实现。self.change_name(String::new());}
}struct Student{name: String,
}impl ChangeInfo for Student{fn change_name(mut self,new_name) - (){self.naem new_name;}
}struct Teacher{name: String,
}impl ChangeInfo for Teacher{fn change_name(mut self,new_name) - (){self.naem new_name;}
}fn main(){let student:Student Student{name:String::new(),}student.init_all_info();student.change_name(String::from(Wang));}还可以使用特征来作为参数
pub fn function(item: impl ChangeInfo) { //使用实现了ChangeInfo的类型作为参数item.init_all_info();
}trait还有很多应用方法具体可以看Rust圣经
泛型
Rust支持泛型编程跟C的泛型没有很大区别 Rust中的泛型也分为函数泛型结构体泛型 Rust中的泛型也可以进行模板特化为某一种特殊的数据类型进行单独实现。 Rust在1.5以后也可以支持类似于C参数模板的功能了。
fn display_arrayT: std::fmt::Debug, const N: usize(arr: [T; N]) {
//T是要实现了Debug特征的类型N是一个const 泛型是一个值println!({:?}, arr);
}
fn main() {let arr: [i32; 3] [1, 2, 3];display_array(arr);let arr: [i32; 2] [1, 2];display_array(arr);
}总结
Rust面向对象上与C有理念上的不同所以实现也有较大区别但是在泛型上跟C区别不大。至于Rust所独有的所有权以及借用和引用是为了实现内存安全和像C一样的速度而设计的如果依旧使用深拷贝和浅拷贝机制不加以管理让用户自己选择拷贝策略或者像Python一样默认浅拷贝会内存不安全。如果默认深拷贝则会效率极低。 Python可以默认浅拷贝是因为有GC兜底内存管理不依赖程序员。 所以Rust比较新但是也没有说新到颠覆一切。合理看待。
