刚看上一个大佬回答的评论区,我认为其实Rust最核心的设计缺陷,恰恰就源于 安全代码与unsafe代码的二元划分。
我先叠层甲啊,这不是unsafe关键字本身的问题!这不是unsafe关键字本身的问题!这不是unsafe关键字本身的问题! 我完全承认unsafe是天才的一笔,是Rust能够实用的根基。
但真正的缺陷,是这种划分创造了一种责任真空。
谁来为unsafe的 soundness 负责?Rust构建了一个框架:只要你在安全区里写代码,编译器就是你最好的…。
汉语是牺牲了什么,才成为世界最紧凑、最高效的语言?
汉语是牺牲了什么,才成为世界最紧凑、最高效的语言?...(144 )人阅读时间:2025-06-20 01:55:10
网传厦门某国企研发部门要求每日考察后端 400 行,前端 1000 行代码量,如属实,这个考核合理吗?
网传厦门某国企研发部门要求每日考察后端 400 行,前端 1000 行代码量,如属实,这个考核合理吗?...(144 )人阅读时间:2025-06-20 01:35:10
为什么日本人口密度这么大还能住一户建,中国只能住楼房?
为什么日本人口密度这么大还能住一户建,中国只能住楼房?...(144 )人阅读时间:2025-06-20 02:25:09
蜂鸟音乐指控邓紫棋侵权,要求 48 小时内下架重录歌曲,邓紫棋回应「不会下架」,这一指控合理吗?
蜂鸟音乐指控邓紫棋侵权,要求 48 小时内下架重录歌曲,邓紫棋回应「不会下架」,这一指控合理吗?...(144 )人阅读时间:2025-06-20 01:35:10MiniMax 推出全球首个开源大规模混合架构的推理模型 MiniMax-M1,其有何技术优势?
MiniMax 推出全球首个开源大规模混合架构的推理模型 MiniMax-M1,其有何技术优势?...2020-02-21中科院古脊椎所付巧妹和河北地质大学季强发表顶刊,表明哈尔滨龙人属于丹尼索瓦人,这一发现有什么意义?
中科院古脊椎所付巧妹和河北地质大学季强发表顶刊,表明哈尔滨龙人属于丹尼索瓦人,这一发现有什么意义?...2020-02-21Cloudflare是一家什么样的公司?
Cloudflare是一家什么样的公司?...2020-02-21大家猜猜伊朗的结局如何?
大家猜猜伊朗的结局如何?...2020-02-21