作者:中弈 - sealos作者,sealer发起人
fn add_with_extra(x: i32, y: i32) -> i32 { let x = x + 1; // 语句 let y = y + 5; // 语句 x + y // 表达式 }
当你是从golang刚转过来,你一定经常忘记写分号, 对于 Rust 语言而言,这种基于语句和表达式的方式是非常重要,而且很多时候有了表达式会很方便,
比如不用再写return,或者在匹配的时候使用。
语句执行一些操作无返回值,表达式会求值后返回一个值,所以分号‘;’就很重要了。
fn main() { println!("hello world"); }
这是什么鬼,为什么println后面要加个感叹号,是叫我别打印嘛?其实这是go里面没有的宏,宏可以干很多函数无能为力的事,在很多情况下也非常方便。
比如元编程,可变参数,为指定的类型实现某个特征等,而且编译之前就做好了展开。其本质是生成(替换)一些代码,让我们少写代码。
怎么整个字符串这么麻烦。。。
let s = "hello";
s是被硬编码进程序的,大小固定在栈区内存分配,类型为&str.
let s = String::from("hello"); s.push_str(",world!");
s大小不可知道,分配在堆上,类型为String.
常规的引用是一个指针类型,指向了对象存储的内存地址。
借用:获取变量的引用。
let x = 5; let y = &x;
这里y就是x的引用。引用的时候变量的所有权(一夫一妻)不会发生转移,引用=(出轨)。
fn main() { let s1 = String::from("hello"); let len = calculate_length(&s1); println!("The length of '{}' is {}.", s1, len); } fn calculate_length(s: &String) -> usize { s.len() }
#[allow(dead_code)] fn unused_function() {}
这眼睛真是辣了,怎么还来个脚本语言的注释?细细一看,哦,这叫Attribute,能干很多事,如:
等…
习惯之后发现,确实简单很多,还能少写好的代码。比如:
#[derive(Debug)] // 加了就可以打印结构体debug信息了,不用自己去实现Display struct Point { x: i32, y: i32, } println!("{:?}", p);
fn plus_one(x: Option<i32>) -> Option<i32> { match x { None => None, Some(i) => Some(i + 1), } } let five = Some(5); let six = plus_one(five); let none = plus_one(None);
刚开始写的新手一定觉得自己是个垃圾,怎么去取一个返回值都玩不明白,干嘛整这么复杂。 其实这是个非常安全的设计,Tony Hoare, null 的发明者,曾经说过
我称之为我十亿美元的错误。当时,我在使用一个面向对象语言设计第一个综合性的面向引用的类型系统。我的目标是通过编译器的自动检查来保证所有引用的使用都应该是绝对安全的。不过在设计过程中,我未能抵抗住诱惑,引入了空引用的概念,因为它非常容易实现。就是因为这个决策,引发了无数错误、漏洞和系统崩溃,在之后的四十多年中造成了数十亿美元的苦痛和伤害。
我们写golang也经常因为访问了nil对象引发错误,而rust中抛弃了这一做法。自动走到空值的分支,习惯之后是非常安全和优雅的。
let age = Some(30); if let Some(age) = age { // if let就不会取出空值,非常舒服 println!("age{}",age); }
enum Message { Hello { id: i32 }, } let msg = Message::Hello { id: 5 }; match msg { Message::Hello { id: id_variable @ 3..=7 } => { println!("Found an id in range: {}", id_variable) }, }
id_variable @ 3..=7
gopher: 这是在写代码还是在发朋友圈?@运算符允许为一个字段绑定另外一个变量,这样就能在下面的代码中使用该变量了.
self大部分人分分钟理解,可是又冒出个Self,其它语言过来的瞬间就慌了。。。
其实也很简单,Self表示结构体本身,self代表对象本身:
pub struct Rectangle { width: u32, height: u32, } impl Rectangle { pub fn new(width: u32, height: u32) -> Self { Rectangle { width, height } } pub fn width(&self) -> u32 { return self.width; } } fn main() { let rect1 = Rectangle::new(30, 50); println!("{}", rect1.width()); }
所以这里 Self = Rectangle
super只是为了配合超我
,就是访问父模块,和上面没啥太大关系
mod a { pub fn foo() {} } mod b { pub fn foo() { super::a::foo(); // 父模块 } }
fn bench_heap_sizes<I, H, B>(c: &mut Criterion, name: &str, init: I, new_test_heap: H) where I: Fn(Key, &[u32]), H: Fn(Key, Vec<u32>) -> NewHeap, B: Benchmark, {
gopher们是不是被上面代码辣出了白内障?但是接触过c++的可能都还能接受,I,H,B其实就是代表一个类型,where里面注明你不是啥类型都可以,
必须满足一定特征。
泛型确实在很多时候带来了很多方便,少写了很多代码,编译器会根据泛型为我们生成很多代码,Rust在泛型性能这块也做了很多优化,在运行时就知道具体类型了,不需要动态分发,这点比渣渣c++好太多(我黑c++不怕被骂)
go里面觉得接口可以搞定这种需求,没引入泛型,也挺简单的,有它的编程哲学。
任何gopher第一眼看到这个单引号的时候眼睛一定是被辣瞎的,然后一万只草泥马。。。
fn longest<'a>(x: &'a str, y: &'a str) -> &'a str { if x.len() > y.len() { x } else { y } }
x、y 和返回值至少活得和 'a 一样久(因为返回值要么是 x,要么是 y),如果你不申明,对不起编译器让你哭。。。
所以新手在写的时候有种和编译器有仇的感觉,然后编译器像你妈一样告诉你:“我这都是为你好!”
你以为这就结束了?还有静态生命周期。。。
let s: &'static str = "逼死强迫症";
写了这么多辣眼睛语法(其实似黑实夸),担心被rust粉揍,来补充几条我觉得极度舒适的点:
Rust的枚举和匹配非常强,应用非常广泛,你可能会说咱也有switch case啊,然后在rust的enum 和match面前就是个弟弟.
enum Message { Quit, Move { x: i32, y: i32 }, Write(String), ChangeColor(i32, i32, i32), } fn main() { let msg = Message::ChangeColor(0, 160, 255); match msg { Message::Quit => { println!("The Quit variant has no data to destructure.") } Message::Move { x, y } => { println!( "Move in the x direction {} and in the y direction {}", x, y ); } Message::Write(text) => println!("Text message: {}", text), Message::ChangeColor(r, g, b) => { println!( "Change the color to red {}, green {}, and blue {}", r, g, b ) } } }
枚举里面可以支持不同的类型,元组结构体等,这很有用,比如在开发一个通信模块,接收的数据类型会有好几个种类,就可以非常方便优雅的解决问题,举个例子:
在sealos用rust写的前端中就有类似代码:
#[derive(Switch,Clone)] pub enum AppRoute { #[to = "/images/{name}"] ImageDetail(String), #[to = "/images"] Images }
路由匹配,有的路由带参数,有的不带,就可以通过枚举实现。
cargo的包管理是很舒服的,gopher们应该经常遇到编码十分钟,依赖解决一整天的情况,这在rust里面,不存在的。 而且go的包管理方式变来变去好多次,
该用啥工具,该不该vendor等等,不过随着golang版本的升级这块比早期改善很多了。
写go的估计都被if err != nil折磨疯了,三分之二代码是 if err != nil, 下面来感受一下没有对比就没有伤害:
Golang:
func read_username_from_file() (string, error) { f,err := os.OpenFile("hello.txt",os.O_CREATE|os.O_RDWR|os.O_APPEND, os.ModeAppend|os.ModePerm) if err != nil { return "", error } defer file.Close() content, err := ioutil.ReadAll(file) if err != nil { return "",error } return string(content),nil }
这里我们把错误返回让上层处理,两次if err != nil, 来看看Rust:
fn read_username_from_file() -> Result<String, io::Error> { let mut s = String::new(); File::open("hello.txt")?.read_to_string(&mut s)?; Ok(s) }
?
可以透明传输错误,而且可以链多调用,这样代码就会简洁很多。Rust错误处理还不止这些,以上最具有代表性,希望go v2也能让错误处理更方便一些。
以上不权威排名有非常强烈的个人色彩,大家不必太认真,主要目的想圈出一些go转rust同学需要主意的点,两门语言都非常优秀,黑哪一个是不存在的,gopher和
Rust粉都轻喷~
编程语言都有各自的优势,以下说一下我自己学习Rust的一点心得: