剛看上一個(gè)大佬回答的評(píng)論區(qū)，我認(rèn)為其實(shí)Rust最核心的設(shè)計(jì)缺陷，恰恰就源于 安全代碼與unsafe代碼的二元?jiǎng)澐帧?/p>

我先疊層甲啊，這不是unsafe關(guān)鍵字本身的問(wèn)題！這不是unsafe關(guān)鍵字本身的問(wèn)題！這不是unsafe關(guān)鍵字本身的問(wèn)題！ 我完全承認(rèn)unsafe是天才的一筆，是Rust能夠?qū)嵱玫母?/p>

但真正的缺陷，是這種劃分創(chuàng)造了一種責(zé)任真空。

誰(shuí)來(lái)為unsafe的 soundness 負(fù)責(zé)？Rust構(gòu)建了一個(gè)框架：只要你在安全區(qū)里寫代碼，編譯器就是你最好的…。