gnaggnoyil
10 months ago
你说得对,但是Rust是由Mozilla自主研发的一款全新零开销高级编程语言.语言发生在一个被称作"linear type"的类型系统当中.在这里,退出作用域的对象将触发"drop"方法,进而被销毁.你将扮演一位名为"borrow checker"的神秘角色,在type check中邂逅形状各异的生命周期们,和它们一起击败编译错误,找回失去的内存安全——同时,逐步发掘"unsafe"的真相.
latest #6
Abby@ここは宴
10 months ago
都unsafe 了,不用管lifetime了
gnaggnoyil
10 months ago
abbychau: abbychau: 很多人在为Rust的borrow checker的局限性辩护的时候最后都会以一句"你可以去用unsafe"来结尾.对此我只能善意地认为这些人使用linear type的最终目的就是为了unsafe.
Abby@ここは宴
10 months ago
gnaggnoyil: 我是說噗首的
立即下載
gnaggnoyil
10 months ago
abbychau: 对.噗首写成现在这样就是因为这个原因.
Abby@ここは宴
10 months ago
gnaggnoyil: 應該是太抽象我理解錯了www
gnaggnoyil
10 months ago
abbychau: 在Rust evangelist的圣经里borrow checker是不存在局限性的.所以噗首才玩这个梗讽刺他们
back to top