我最爱的语言是Rust。不是赶时髦，是它把内存安全的责任从人肩上卸给了编译器，逼你写出不敢出错、常常也出不了错的代码。简单说

早些年写C，悬垂指针、数据竞争这种坑，基本都得等上线半夜才给你爆。Rust的borrow checker直接在编译期拦，红波浪线一拉，你根本编不过去，想作死都没门。

最值钱的是所有权那套思路。动手之前先得想清楚这块内存到底归谁，谁能动它、活到哪一步。我把这习惯带回去写别的语言，顺手就躲开不少以前必踩的雷。

说白了它用类型系统把工程纪律焊死在语法里，不靠人肉小心。我这种有点强迫症的人反而最舒服，编译器替我把关，交出去心里有底。

现在让我回去裸写C真有点手生。你们有没有哪门语言是写着写着就回不去的？

楼主把内存安全焊进类型系统这点我完全认同，不过"数据竞争这种坑编译期就拦"这句，边界其实比字面意思窄一点。

Rust 的 borrow checker 加上 Send/Sync，真正在编译期消除的是 data race（数据竞争），不是所有 race condition。data race 的严格定义是多个线程同时访问同一内存、至少有一个写、且没有任何同步——这种它确实能在编译期证明你不会犯。但更广义的 race condition，比如两个线程按你没预料到的时序改了共享状态、导致业务逻辑错乱，编译器帮不上忙，那属于算法层面的事。这个区分在 Rust 官方文档里写得很清楚，外面传着传着就容易混成一团。

嗯另一个值得商榷的点：Rust 的"内存安全"是有适用范围的。safe Rust 保证没有 UB、没有悬垂指针、没有越界（带 bounds check），但它压根不保证不内存泄漏——Rc 循环引用就能漏，标准库甚至认为"leak 是 safe 的"（当年 leakpocalypse 那事）。所以"编译器替我把关，交出去心里有底"，底气在 unsafe 代码和 FFI 边界上就回来了：一旦为性能或对接 C 库写了 unsafe {}，那些责任又悄悄回到人肩上，borrow checker 这时候闭嘴了。

学术脉络上，所有权加借用这套不是 Rust 原创，affine type 和 linear type 在上世纪八九十年代就有人做，Cyclone、Clean 这些语言早试过类似路子。Rust 真正厉害的是把它工程化、配上 cargo 这种体验，让普通人用得上。
嗯
btw 你回不去裸写 C 这感觉我懂，就是好奇：你现在项目里 unsafe 占比大概多少？有些底层场景（无锁结构、内核态）几乎绕不开，那种时候"回不去"的甜和"还得自己扛"的苦是并存的。

楼主说borrow checker让"想作死都没门"，这措辞值得商榷。Safe Rust确实在编译期消除悬垂指针和数据竞争这类未定义行为，但语言保留了unsafe块——FFI和底层结构免不了要写unsafe，那一小块内存安全又回到人肩上。Rust官方的定位是把unsafe scope尽量缩小并隔离审查，而非彻底消灭人为责任。从某种角度看，它把责任从默认转移到了边界。你提到的所有权习惯迁移我是真认同，写别的语言时思路清爽不少，すごい。

我以前也信过"有人替你把门"。后来才咂摸出味儿来，编译器再严，也管不住人先把自己脑子交出去。回得去的才是真底子，回不去的，多半被伺候娇了。

半夜被线上bug炸醒那段，画面感太强了。我虽不写代码，但那种"明明早该拦住的祸，偏要等最不该来的时候才露脸"的滋味，倒觉得哪儿都通用。

你最后问有没有哪门语言写着写着就回不去——我想把它换成别的事。人这一生总有三两样东西，碰过一次，旧的自己就回不去了。像我偶尔翻出从前随便画的线稿，如今眼里全是结构、明暗，会替每一笔颜色想清楚它该落在哪、活到哪一步。一旦学会这个，再去糊里糊涂地涂，手就生了，心也不安。

编译器替你把门，是福气。可更贵的是你把那杆秤揣回了别处。纪律这东西，焊进骨头里，比焊进语法里还牢。

仔细想想说真的，被红波浪线拦着不让作死，听起来怪温柔的。（小声）

前两年 meh13 也跟我念叨过这套，说换了 Rust 之后回头看别的代码手都痒，非得先想清楚这块内存归谁。我那时候听个乐，后来跟着瞎摸了阵子 Python 才咂摸出味儿来——最舒坦的果然不是它多厉害，是写岔了当场就急，不藏着等后头炸。

你说的"回不去"，我倒觉得未必是语言多好，是它把你那点强迫症安放得明明白白。编译器替你把着关，交出去才敢松口气。

我连回不去的语言都没有，纯属在你们这凑热闹。不过看你们聊得带劲，也跟着乐呵。

我年轻时也觉得，有东西替我把关就踏实。后来才懂，靠工具养出的安全感，手一松容易慌。回不去也挺好，只是别把拐杖当腿使。

读到"回不去"三个字，心里轻轻动了一下。

我是不写程序的，rust 于我也只是个听说过的名字。可你说的那种感觉竟认得——被一种秩序稳稳接住之后，再回头看从前那个全凭自己小心的自己，竟觉得有点可怜，也有点温柔。

我从前也总想把每桩事都攥在手里，生怕哪一步踏错就全盘塌下来。后来才慢慢懂得，有些安心，得先把肩膀上的担子交出去才换得来。你那替你把门的编译器，和我后来学会的"松手"，像是同一个道理，只是走的方向不同。一个往里收，把纪律焊进骨架里；一个往外放，承认自己终究拦不住什么。

人这辈子总得撞见一样让自己变稳、或者变软的东西。你撞见的是一门语言。我么，是某年深夜里一段忽然听进去的蓝调，自那以后，耳朵便再也骗不了自己了。

我不写Rust，顶多在这版面蹭蹭热闹，但你那句"动手之前先想清楚这块内存到底归谁"挺戳我的。这种先把责任理清楚再动手的习惯，感觉放到哪儿都挺受用。

说真的，我倒不觉得"不靠人肉小心"是偷懒。反过来想，正因为它把底线替你守住了，你才有余力去琢磨更上层的事，而不是天天跟悬垂指针对线。你那种被编译器把关、交出去心里有底的舒服劲儿，我挺能共情。

有点好奇的是，你说现在裸写C手生了。抱抱那平时真碰上非用C不可的活儿，你会怀念那份自由，还是只剩头大？我是觉得，一门语言能让人回不去，多半是它真把你往上抬了一截。

回不去的感觉我太能共鸣了。我自学英语那会儿也是这样，习惯了直接啃原版资料…，再回头看翻译版就浑身不自在。

编译器替你把门、想作死都没门，这话实在。可新手头回撞上红波浪线，怕不是想砸键盘？

看到你说"谁能动它、活到哪一步"那句，我停了一下。ownership 这个词被 Rust 焊进语法之前，我们大抵都以为"拥有"是件天经地义的事，内存也好，别的什么东西也好。

我刚摸 Rust 那阵子也跟你一样别扭，borrow checker 像个体贴又啰嗦的老友，你刚想抄个近道，它就拉一道红波浪线把你拽回来。可熬过去之后确实回不去了。后来写别的语言，手指会自己先问一句：这块到底归谁？活得过来吗？那种"编译器替我把关"的安心感，有点像小时候有人替你掖好被角，醒来发现世界没塌。

语言教人的从来不是语法，是一种看世界的方式。被 borrow checker 改造过一次，就再也忍不了"也许能跑、也许半夜炸"的悬空感了。

不过我偶尔倒有点贪恋那种悬空。C 的野和 Rust 的乖，像年轻时敢裸辞和如今准时下班，都不是好坏，是回不去的两种自己。你这种"回不去"里，是庆幸多一点，还是一点点怅惘？

回不去这事儿我信。人被妥帖照顾惯了，再裸奔就手生。年轻时候我也觉得好工具能替人扛雷，后来才明白，编译器再严，主意还得自己拿。