本文探讨了一种更严格的内存安全规则，通过引入“子组”的概念来改进之前的规则。旧规则过于宽松，新规则则更精确地定义了哪些引用在对象发生变异时需要失效。文章以`Entity`结构体为例，解释了如何区分对象本身及其“子组”（例如，列表中的元素、指针指向的对象等）。新规则规定，当对象可能被修改时，对对象本身的引用仍然有效，但对子组的引用则失效。通过代码示例，文章清晰地展示了新规则如何提高内存安全性和避免悬空指针的问题。
阅读更多
一位软件工程师在玛雅古城遗址中发现了一部古代文献，记载了14种令人惊叹的内存安全方法，远超现今编程语言的认知。这些方法包括借用检查、引用计数、垃圾回收等传统技术，以及一些前所未闻的创新方案，例如基于区域的内存管理、世代引用和线性引用计数等。该发现不仅扩展了人们对内存安全的理解，也预示着未来编程语言的发展方向，或将彻底改变软件开发的格局。
阅读更多
本文讲述了作者尝试实现一种新语言Vale过程中遇到的FFI（外部函数接口）难题。由于Vale是一种低级内存安全语言，无法直接利用现有生态，作者试图让其与Rust生态系统交互。然而，Rust缺乏稳定的ABI，调用Rust函数异常困难。作者尝试了多种方法，包括解析rustdoc的JSON输出、利用Rust反射机制等，最终找到了一种相对简洁的方案。
阅读更多
本文介绍了高级 RAII，一种利用只能在特定位置销毁的线性类型来保证特定操作被执行的编程技术。文章详细阐述了高级 RAII 如何解决缓存失效、并发错误、数据库一致性等七大常见编程问题，并分析了其在 C++、Rust 等语言中的实现挑战。文章还探讨了高级 RAII 对软件架构的影响，包括提高代码清晰度、增强 API 易用性、降低重构风险等，最后展望了线性类型和高级 RAII 在未来编程语言中的应用前景。
阅读更多
该网站是一个提供有关计算机科学、软件工程和编程的主题的在线库。它包含各种资源，包括文章、教程、代码示例和参考文档。该网站还提供了可以通过API访问的在线服务。
阅读更多