设计一种新的系统编程语言

壹周滿八天 · 发表于 2022-9-21 14:31:44

感觉这样限制会比rust更严格，可能很多东西没法写。如果用这么简单的指针生存期模型就能做到内存安全，那应该早就有人做出来了。

此人须珍藏 · 发表于 2022-9-21 14:31:57

像是void foo(A* a, int* b) { a.b = b; } 这样的函数很多情况下其实是安全的。但是目前只能一刀切的禁止了。如果要标记每个变量的生命期，会增加复杂度。例如我想过这样的语法：void foo(A* a, int* b) lifetime(a <= b) { a.b = b;} 表示a的生命期比b短。

冷寂的燃烧 · 发表于 2022-9-21 14:32:18

在rust的模型中，生存期还与型变有关，禁止生存期的协变逆变会让大多数场景没法编译，太难了

从前那故事 · 发表于 2025-5-15 11:46:01

高手云集果断围观

知情 · 发表于 2025-5-21 22:09:41

围观围观沙发在哪里！！！

		自动登录	找回密码
密码			立即注册