子结构逻辑与所有权类型：从仿射类型到Rust借用检查器 从子结构逻辑的视角解析所有权类型系统的理论基础，深入探讨弱化规则与收缩规则的缺失如何塑造了Rust独特的借用检查器，以及仿射类型在内存安全管理中的编译期保证机制。 类型论与形式化验证 2026年10月20日 0 点赞 0 评论 10 浏览
