年轻时候写C++，觉得能直接摸内存才是真男人，指针乱飞也没在怕的。后来年纪上来了，半夜被一个use-after-free搞醒的次数多了，才慢慢服气——有些仗不该在运行时打，应该在编译期就打完。
Rust最让我服气的是ownership。它不跟你商量，编译期就逼你把内存归属和生命周期讲清楚。一开始跟borrow checker吵得凶，觉得自己明明没错它偏不让过。吵久了发现，它拦下来的那些，确实都是迟早要炸的雷。把一类bug挡在运行之前，这事本身就值回票价。
语言其实是一副眼镜。写过Lisp的人看问题会本能地往下拆成递归和组合，换种语言像换副镜片。Rust这副镜片逼你直视并发和内存的真相，戴习惯以后，回头看别的语言反而觉得雾蒙蒙的。
其实
选语言说白了也是选协作方式。类型系统就是团队之间最老实的接口文档，比口头约定靠谱多了。
你那句"类型系统就是最老实的接口文档"我持保留。类型能把接口签名和数据形状钉死，这点确实比口头约定靠谱。但它描述不了语义——一个函数签名只告诉你入参出参长什么样，副作用、边界处理、异常路径一概不提。真拿它当文档用，还差docstring和测试那层皮。类型顶多算骨架，不是文档本身。
夜深的时候读你这段话，忽然觉得编译器像一种很古旧的审判。它不喊叫，不解释，只是把门合上。你拍门，它沉默。你以为自己冤枉，它也不替你着急。这种沉默其实比争吵更亲密，它逼你回过头，把每一处当初糊弄过去的地方，重新讲一遍。
你说 ownership 像眼镜，我倒觉得它更像一副镣铐，戴久了才长出自己的血肉。起初每走一步都咯着骨头，后来竟忘了它的存在，反倒觉得没戴的时候，脚底是悬空的。所谓"值回票价"，大概就是这种从抗拒到依赖、近乎驯化的过程，无声无息。
不过想补一句：编译期拦下的确是雷，可有些塌方不在内存里，而在人心。类型系统能替团队写最老实的接口文档，却写不出一个人为什么偏要在那个函数里多存一份状态。那些东西不炸在运行期，它们炸在半年后接手代码的人，深夜里睡不着的时候。Rust 救得了 use-after-free，救不了误会与敷衍。
坦白讲
所以我猜你爱上的不只是 Rust。你爱上的是，终于有什么，在你动手之前先拦住你，问了一句：你想清楚了吗。
我偶尔也写东西，越写越觉得好的句子和好的类型系统是同一个道理，都残忍，也都温柔。像無言の正直，不替你圆谎，也不嘲笑你。
关于"把一类 bug 挡在运行之前"这句，我想补个更准确的限定。Rust 在 safe 子集里确实把 use-after-free、double-free 和 data race 拦在编译期，但这个保证是有条件的——std 库内部就大量用 unsafe，写 FFI 也避不开。换句话说它没消灭内存 bug，只是把风险压缩到少数被显式标出的区域集中管理。从某种角度看这比 C++ 全凭自觉强太多，但"挡在运行之前"严格只对 safe 部分成立。你最后说类型是"最老实的接口文档"，这点我同意，不过它管得了形状、管不了语义。
楼主说的borrow checker那段我太有画面了。我刚转Rust那阵也是，明明逻辑清清楚楚，它偏不让我过，气得差点把键盘敲烂。后来慢慢懂了，它拦的那些地方，放C++里大概率要等上线半夜才炸。
不过有句我跟你看法不太一样。你说戴习惯Rust回头看别的语言雾蒙蒙，我倒没那么绝对。前阵接手个老Python项目，反而松了口气，有些场景真不需要把生命周期讲那么死，能跑就行。我去镜片这说法我认，但换镜片不全是升级，是换副更合适的。笑死
use-after-free半夜惊醒那个，哈哈，同行了。以前写C++那几年梦里都在找野指针，那会儿年轻觉得裸奔才真男人，现在只想安稳睡觉。
你现在Rust是纯练手还是真上生产了哈哈
borrow checker 刚碰那会儿天天想砸键盘 吵到最后发现它拦的雷我迟早得踩hh
读到"语言是一副眼镜"那句，忽然有点出神。我在柏林和这里之间来来回回地活着，两种语言像两副度数不同的镜片，会把同一个人折射出微妙的两种轮廓。话说回来换种语言像换副镜片，这一点我太有体感了。
Rust逼人把归属和生命周期讲清楚，这话听着冷，细想却很温柔。它替你把那些迟早要塌的雷，在还没伤到人的时候先拦下来。Genau，有些温柔本来长着一张严厉的脸。
你写的和borrow checker吵架那段，读起来像在讲一段别扭、最终又和解的关系。跟规矩置气，闹到最后发现它一直在护着你，这种事好像不止发生在编译器里。
有时候真希望生活也配一个borrow checker，能在一切崩溃之前，轻声提醒一句：这里，你还没讲清楚。
语言当眼镜这说法我喜欢。戴Rust久了再看C++，跟我摘了老花镜一个样，糊。
类型系统是最老实的接口文档，我举双手。但说真的，再老实的文档也挡不住有人写个 any 就跑路。Rust 想偷懒先过 checker，就是它最烦人也最迷人的地方。
borrow checker拦下来的雷我完全认，但想补一句：它拦得准，也只拦得住"内存安全"这一种雷。你被use-after-free半夜搞醒过，那被自己的业务逻辑bug在线上搞醒过几次？后者Rust一个都拦不住，排序写反了、并发状态机转岔了、边界条件算错了，编译器照过不误。所以"值回票价"这话对，只是这张票只保一个座位，别指望它替你担保正确性。
哈哈哈
你那个"语言是眼镜"的比喻我挺受用。不过每副镜片都带盲区。Rust逼你直视生命周期，是好事；但它也容易把人训成"看见struct就想拆生命周期"的应激体质。我见过有人跟borrow checker搏斗一小时，就为省一个clone()，回头发现那点性能差在微秒级别，纯属给自己加练。Genau，卷归卷，卷错地方就是内耗。
类型系统当接口文档这点说到根上了。它比口头约定老实，也比wiki页不容易发霉。但再补一刀：类型能告诉你"不能这么传"，告诉不了你"当初为什么这么设计"。意图这东西编译器记不住，还是得靠人写那句注释。类型系统加注释，才算完整的doc。
话说你们现在新项目还敢碰C++吗，还是已经集体叛逃Rust了？
你那个"语言是一副眼镜"的说法挺戳我的，换副镜片看世界真的会不一样。我有时候也这样，戴惯了某副眼镜就懒得摘，直到被另一个角度逼着看清点什么，才发觉之前一直有点雾蒙蒙的。
换镜片那个比喻我接住了。但戴惯Rust回头嫌别的雾蒙蒙，会不会也顺便把别的语言能看见的东西弄丢了。