自从我学了Rust,就开始了受虐之旅,连编译都没成功过!

开发 开发工具
张大胖被别人安利了一个新的语言:Rust,作为编程语言的狂热爱好者,他自然要尝试一番。

张大胖被别人安利了一个新的语言:Rust,作为编程语言的狂热爱好者,他自然要尝试一番。

[[275114]]

第一个程序自然是hello world,太简单了,都懒得去写,看看就行了:

  1. fn main() { 
  2.    println!("hello world"); 

张大胖原来用过C语言, 当时觉得非常不爽的是它本身没有内置常用的数据结构,比如一个可以动态增长的数组,这Rust怎么样呢?

  1. fn main() { 
  2.     let v = Vec::new(); //创建了一个数组 
  3.     v.push(4);  // 向数组添加一个元素 

张大胖写下let就意识到,这里是将值(数组)绑定到变量v , 应该是借鉴了Lisp的模式匹配,可以预见将来会遇到这样的代码:

  1. let (name,age) = ("Andy", 30); 

还有就是这Rust具备自动类型推断能力,这点挺不错的。

编译吧!咦,居然失败了,错误信息是:cannot borrow `v` as mutable, as it is not declared as mutable

Rust编译器:我们把对象分为可变的和不可变的,对于不可变的,一旦创建以后,就不能再改了。那就加个关键字mut,让它变成可变的就可以了:let mut v = Vec::new()

张大胖想起了《effective java》中的一条实践:把可变性限制到最小。他嘴里咕哝着:“嗯,Rust默认是不可变,这个思路也许是对的。”

所有权

他又探索着写下一些代码:

  1. fn main() { 
  2.     //用另外一种方式创建了一个可变Vector  
  3.     let mut v = vec![1,2];    
  4.     let v1 = v; 
  5.     println!(" the 1st element is {}",v[0]);     

编译,又失败了,WTF!到底是怎么回事?这么简单的程序也会出错?!

Rust编译器:谁让你手贱!加了一行代码:let v1 = v

张大胖:这有什么关系?在Java中,这就相当于对同一个对象,又添加了一个引用而已!

Rust编译器:那是Java,在我Rust这里,你一定要放下Java的执念!要理解一下所有权的问题。

张大胖:什么所有权?

Rust编译器:对于任何给定的对象都只有一个绑定与之对应。你用let mut v = Vec::new()就意味着 v 和这个Vector对象绑定了!现在v拥有这个对象的所有权。这一行代码 let v1 = v ,让所有权发生转移了, 现在v1是新主人了。v就不能再访问这个Vector, 我把这种情况叫做“转移语义”。

 

码农翻身注:实际上, Rust也支持Copy语义,这里不在详述。

张大胖不满地说:这不是徒增烦恼吗?那我要是把v传递给另外一个函数呢?

  1. fn main() { 
  2.     let mut v = vec![1,2,3,4]; //创建了一个可变Vector 
  3.     print_vector(v); 
  4.     println!(" the 1st element is {}",v[0]); 
  5.  
  6. fn print_vector(v: Vec<i32>){ 
  7.     for i in v { 
  8.         println!("{}", i); 
  9.     } 

编译还是出错!

Rust编译器:这和刚才是一个道理,v的所有权在传递给函数时,被拿走了,所以在main中不能再访问v了 !

借用

张大胖:太变态了,我就是想在调用print_vector以后想访问再访问变量v,该怎么办?

Rust编译器: 你可以把所有权暂时借用(&v)给print_vector,等函数返回就可以接着使用了。

  1. fn main() { 
  2.     let mut v = vec![1,2,3,4]; //创建一个可变Vector 
  3.     print_vector(&v); 
  4.     println!(" the 1st element is {}",v[0]);     
  5. fn print_vector(v: &Vec<i32>){ 
  6.   ...... 

这个借用就相当于Java语言的引用了,张大胖想,print_vector函数已经“借到”所有权,应该可以为所欲为了吧,于是在函数内做了修改:

  1. fn print_vector(v: &Vec<i32>) { 
  2.     v.push(3); 
  3.     ..... 

再次编译,再次失败!张大胖感觉到要吐血了,这Rust实在太不讲道理了。

Rust编译器:“你这个借用想要改变原来的对象,也得加上 &mut才行!”

  1. fn main() { 
  2.     let mut v = vec![1,2,3,4]; //创建了一个Vector 
  3.     print_vector(&mut v); 
  4.     println!(" the 1st element is {}",v[0]);     
  5.  
  6. fn print_vector(v: &mut Vec<i32>) { 
  7.     v.push(3); 
  8.     ...... 

总结一下:

 

张大胖继续写代码,想继续测试这个所谓“借用”:

  1. fn main() { 
  2.     let mut x = String::from("hello"); 
  3.     let x1 = &x; 
  4.     let x2 = &mut x;     
  5.     println!("{}", x1);     

编译还是出错:‘x’已经有一个不可变借用了,不能再以可变的方式来借用!

张大胖彻底懵逼了!想我叱咤编程界多年,先后学会了C,C++, Java, Ruby ,Python, 从来就没见过这么复杂的语言,这么简单的程序,编译都通不过。

Rust编译器:道理很简单,x1是不可变引用,x2是可变引用,使用x1的"用户"可不希望访问x1时,数据已经改变了。我告诉你一个简单的口诀,以后再遇到问题就迎刃而解了:共享不可变, 可变不共享。

(用严格的描述来说是这样: 同一时刻,要么只有一个可变(&mut)借用,要么有多个不可变(&) 借用,不能同时存在可变和不可变借用。

 

(都对一个对象做读操作,安全!)

 

(只有小张可以写,因为他是可变的借用)

张大胖琢磨了一下,这口诀用人话来说是这样的: 当大家都在读一个东西的时候,是不能写的。当一个人在写的时候,别人是不能读的, 这不就是经典的读写锁问题吗?这Rust居然在编译器级别做了这种限制 !

Rust编译器:我之所以由这么严格的限制,就是为了内存安全,我的这套体系是不需要GC的,只要你能按照我的规矩来,内存安全就能保证。

张大胖:你啊,是为了懒省事,把本来可以让虚拟机干自动做的事情,都交给程序员来做了,这是要把我们累死啊!

Rust编译器:你到底做过系统级编程没有?系统级编程要求:

1. 非常快

2. runtime 很小(虚拟机就是一个巨大无比的Runtime)

3. 能直接访问内存,并且内存安全。

C和C++基本满足,但是内存不安全, 像Java, Python,Ruby 除了内存安全之外,别的都不满足,只适合应用层编程。

张大胖无语了,这家伙的目标是要替换C/C++,自己也写过不少C代码,由于内存问题,不知道搞垮过多少个程序,悬空的指针就像幽灵一样到处飘荡,无踪可循,然后在一个未知的地点,未知的时刻突然爆裂。

这个Rust,每个对象都有唯一的“主人”,然后有对读写施加了这么严格的限制,如果程序员掌握了,确实比C语言安全, 我还是接着学吧!

【本文为51CTO专栏作者“刘欣”的原创稿件,转载请通过作者微信公众号coderising获取授权】 

戳这里,看该作者更多好文

 

责任编辑:武晓燕 来源: 51CTO专栏
相关推荐

2020-07-03 15:10:35

Java Rust 开发

2020-06-12 10:10:26

云计算IT技术

2015-09-09 10:50:32

模拟驾驶

2021-03-26 15:18:11

代码工具Mockoon

2018-07-09 11:22:59

编程语言Python卡通图片

2019-08-12 10:27:34

前端程序员网络

2020-12-17 09:17:36

servlet容器

2021-10-25 10:35:08

云迁移云平台云计算

2021-11-16 19:20:23

黑客攻击F12

2017-07-10 16:19:36

IT发财离婚

2022-02-21 12:29:01

for循环前端

2021-10-28 19:10:51

RustPythonjs

2012-06-21 13:46:22

javascriptworklight嵌入式系统

2023-06-19 14:14:24

Rust程序Web

2011-07-29 09:56:23

2019-07-02 16:57:20

混合云技术Linux

2013-08-19 15:36:07

在家办公程序员

2023-05-26 07:43:37

Wi-Fi 6Wi-Fi 7网络

2019-05-27 13:42:33

Python编程语言代码

2023-05-12 14:52:30

点赞
收藏

51CTO技术栈公众号