最近很火的 Rust 前不久发布了 alpha 版。正式版虽不说指日可待（还在各种大改中），但是也不是那么遥远了。而经过了这么久，再见 Rust，感觉完全不一样呢。

还记得第一次见 Rust，是在 Fantix 的博客上。现在只记得当时看到各种~和生命周期的东西，挺头疼的。而这次是看到 Rust for beginners 以及已经被合并到《The Rust Programming Language》这本书的官方 guide。感触很容易概括：「一门实用的类 Haskell 语言，是我很早就想要的东西呢。」于是才有了我的第一个 Rust 程序，以及后来的 各种语言实现的 swapview。

当然后来事实证明 Rust 不仅仅有着与 Haskell 类似的代数数据类型，比如有表示空的 unit 类型、表示可选的 option 类型、用于返回结果或错误的 Result 类型。作为一名曾经苦学 Haskell 还折腾过 OCaml 的人，看到这些熟悉的类型，感到甚是亲切。这种类型系统最大的特点是类型安全、没有 null 指针/类型。

我接触到的绝大多数编程语言，都会有 null 指针，或者 null / none / nil 类型：

• C、C++：「Segmentation fault」
• Java：还记得经常在日志里露脸的「NullPointerException」吗
• Python：一不小心就会出现的「AttributeError: 'NoneType' object has no attribute 'xxx'」
• Lua：「attempt to index global 'xxx' (a nil value)」
• 等等

都是一个不小心，没注意检查对象是不是 null 值就用，然后程序跑着跑着就出错了。

而 Haskell 和 Rust 都能有效地避免这一点，至少是你可以预先察觉，因为它返回的是不一样的类型。比如在 Rust 中，想要把字符串解析成整数，你写let a: i32 = "123".parse()不成。因为不是所有字符串都能解析成整数的，所以parse方法会返回一个Result<i32,ParseIntError>类型（早期版本是返回Option<i32>）。你需要显式地处理错误——或者忽略，如果你希望在出错的时候程序崩溃的话。不管选哪条路，写的时候都是明确知道这个地方可能出错的。不像我写 Python 时那样，直接想当然地写int(xxx)，很少会想到想当然以为是个整数表示的xxx其实可能是别的什么东西（比如None）。我总不可能在每一次按.键（取属性）、(键（函数调用开始）、[键（取下标）时都先想想「相关对象会不会是奇怪的东西、是的话要怎么处理」吧？当然这样的错误处理会比较麻烦。如果一个项目不值得这样麻烦的错误处理的话，那就换个更适合的语言去做就是了。

Rust 另一个小特点是，if这类条件判断后边只能是布尔值，和 Haskell 一样，而和 Python、Lisp、Lua 等都不同，就更别说没有真正的布尔类型的 C 了。这样更严谨，挺好的，意义明确。像把0当成假值这种事 Lua 就不干，把空容器当假这事 Python 喜欢但是别的语言又不一样。早先版本的datetime模块甚至认为午夜是假的、其它时间才是真的……

Rust 还有个显著的特点是，关键字都特别短，但是不至于短到不认识，比如pub, fn, mut, ref, impl等。有些人不喜欢，我倒是觉得挺好的。非要写一长串字符浪费空间嘛，虽然现在的显示器不是终端机那样一行只能显示80字符，但我要分割成多列呢。笔记本显示器可以显示两列代码对照着看，外接显示器要显示两行三列还不计偶尔会用到的侧栏呢。

Rust 还继承了 Python 式的显式名称导入。只要不用星号，一个名字是从哪里来的，当前文件里搜一下就找到了。不像 Ruby 那样子，String 莫名其妙多了个方法不知道是干什么的？拿 Google 搜索整个互联网吧……

Rust 资源管理很有特点，我还没在其它语言里看到这种。Rust 程序里，编译器知道每一个对象的生命周期，所以可以在编译期就插入相应的释放资源的代码，不需要 gc 过一段时间停下所有工作来检查一遍。也不像引用计数那样得维护计数，引起很多不必要的内存写请求。毕竟 Rust 的目标是像 C++ 那样高效的系统级编程语言嘛。当然引用计数如果需要还是可以有的。最初 Rust 的另一目标——像 Erlang 那样的并发性，因为绿色用户级线程被官方移出之后就大打折扣了。不过因为类型检查和生命周期推断，线程安全的特性还是保留了下来。

Rust 有各式各样的 trait，类似于 Haskell 里的类型类。要指定资源释放时调用的函数的话，直接实现Drop trait 就可以了。比如我的：

struct AtDir {
  oldpwd: Path,
}

impl AtDir {
  fn new(dir: &str) -> io::IoResult<AtDir> {
    let oldpwd = try!(std::os::getcwd());
    try!(std::os::change_dir(&Path::new(dir)));
    Ok(AtDir { oldpwd: oldpwd })
  }
}

impl std::ops::Drop for AtDir {
  fn drop(&mut self) {
    std::os::change_dir(&self.oldpwd).unwrap();
  }
}

使用的时候直接在需要的作用域时生成一个变量就好，就像下边这样子。Rust 保证在其生命周期结束时调用drop方法。而且是按其所有者变量定义的顺序的逆序调用的。不像 Python，PEP 442折腾了之后，反而是把我一个模块的__del__方法在解释器关闭时的调用顺序弄错了。虽然 Rust 没有 Python 那样的with语句，但是拿Drop可以做到一样的效果，而且能保证调用的时机与预期的一致。

let _cwd = match AtDir::new(directory_name) {
  Ok(atdir) => atdir,
  Err(err) => return Err(err.desc.to_string()),
};

Rust 编译器及标准库目前大部分（92.0%）使用 Rust 编写。而在此之前，Rust 竟然是使用 OCaml 编写的。这从侧面解释为什么目前 79.4% 使用 Go 编写 Go 语言用起来那么像 C（因为它的开发者用的是 C，设计目标好像也是更好的 C），而 Rust 虽然有很多借鉴自 C++ 的东西，导致其语法有些像 C，但写起来完全没有 C 和 Go 那样原始的感觉。这也是我更喜欢 Rust 的原因之一。

目前，除了还在改来改去，让我的程序过几天就各种报错编译不了之外，作为一名初学者，我能发现的另一个缺点就是编译极其费时了，特别是普通优化和链接时优化全开的时候，我一运行时间不到 0.2 秒的小程序，竟然需要半分钟才能编译好……

对了，之前给 Arch Linux 打包的 thestinger 不再打包 Rust 了，所以我开始在 archlinuxcn 源里维护64位的 rust-git、cargo-git（因为 Rust 更新的原因，至今还没打包成功……）以及 vim-rust-git。这些包是自动更新的，因此不出问题的话，有更新就会在一天内更新。

PS: 写的时候有点赶，希望没有写得太乱 ( >﹏<。)