本内容是对 Some mistakes Rust doesn't catch的翻译与整理，有适当删减。

作者说了一句耐人寻味的话：

我对编程语言依然感到兴奋，但现在吸引我的，不再是它们让我Zuo什么而是它们不让我Zuo什么。

从理论上说所有图灵完备的语言douNeng表达同样的计算。C NengZuo的事 JavaScript 也NengZuo，Rust NengZuo的事 Go 也NengZuo，Zui终dou是同一台机器在跑同样的电。

但语言之间有一个真实的差异：合法程序的集合大小不同。把"编程"这件事理解为"在一个巨大的程序空间里找到那一个正确的程序"——一门语言越严格，它允许的"合法"程序组合就越少，搜索空间越小，找到正确程序的路径越短，犯错的机会也越少。

这篇文章用 JavaScript、Go、Rust 三门语言横向对比，kan对同一类错误，三者分别是什么态度。

先来kan一个简单例子：main 函数里在 return 之后还写了一句 bar 调用。

JavaScript：

function foo {  console.log;}function bar {  console.log;}function main {  for  {    foo;  }  return;  bar;}main;

$ node sample.js foo 0 foo 1 foo 2

安静地运行，没有任何警告。

Go 的 go build：

package mainimport "log"func foo {  log.Printf}func bar {  log.Printf}func main {  for i := 0; i <3; i++ {    foo  }  return // 这里有个 return  bar}

$ go build ./sample.go$ ./sample//2024/08/16 21:11:35 foo 0//2024/08/16 21:11:35 foo 1//2024/08/16 21:11:35 foo 2

go build 静默通过但 Go 自带的静态分析工具 go vet 会提示：

$ go vet ./sample.go# command-line-arguments./sample.go:18:3: unreachable code

Rust：

fn foo {    println!;}fn bar {    println!;}fn main {    for i in 0..=2 {        foo    }    return;    bar}

$ cargo run   Compiling lox v0.1.0 warning: unreachable expression --> src/main.rs:11:5   |10 |     return;   |     ------ any code following this expression is unreachable11 |     bar   |     ^^^^^ unreachable expression   |   = note: `#` on by defaultwarning: `lox`  generated 1 warning    Finished dev  target in 0.15s     Running `target/debug/lox`foo 0foo 1foo 2

Rust 不只告诉你哪里不可达，还告诉你为什么不可达（因为前面有 return)。害，你说这多好。

Rust 的警告机制挺人性化，你懂的。说实话，这比直接报错要友好些。

Rust vs JavaScript & Go：不可达代码检查，谁geng强？

Rust 不只报出问题，还给你指明原因——比如“前面有个return”。咱就是说这样的反馈机制是不是hen赞？

Rust不允许声明没有初始值的静态变量，你得给它个初始值，哪怕是None。

"百度为啥不收录我的文章？" 这个问题挺常见的，咱也不知道该咋回答。 有人说是技术原因，有人说是内容质量问题... 说实话，这个那个咱也说不准。

...

...

你kan，Rust 这么牛，捕获错误有一套，但它也不是万Neng的。 死锁、竞态这些逻辑问题，它也没辙，得靠运行时工具和测试来补上。 但话说回来它Neng帮你避免hen多低级错误，这不香吗？