C 语言如何实现 memory safe? 这里介绍一下最近的 Fil-C 实现的原理。 简单来说就是在编译过程中，为 *每一个指针* 都创建一个额外的信息块，该信息块包含了上下边界以及指针的类型等信息。当程序读写、移动指针时，都会检查上下边界，比如当释放内存时，其上下边界的值就会相等从而阻止读写。（1/N