29、安全关键 Java 的内存安全机制解析

安全关键 Java 的内存安全机制解析

1. 静态字段和方法规则

静态构造函数和静态字段的分配上下文为 IMMORTAL ，这意味着静态变量遵循与显式标注 IMMORTAL 相同的规则。静态方法被视为标注了 CALLER 。字符串常量是静态分配的对象，理论上应隐式为 IMMORTAL ，但为了允许将字符串字面量赋值给局部变量，将其视为 CALLER 。

2. 动态守卫

动态守卫类似于动态类型检查，用于恢复变量被转换为 UNKNOWN 时丢失的静态作用域信息，也可绕过过于严格的静态标注检查。它是一个条件语句，测试 allocatedInSame() 或 allocatedInParent() 这两个预定义方法的值，以检查一对引用的作用域。参数必须是 final 局部变量，以防止赋值违反假设。示例代码如下：

void method(@Scope(UNKNOWN) final List unk, final List cur) {
    if (ManagedMemory.allocatedInSame(unk, cur)) {
        cur.tail = unk;
    }
}

该方法接收两个参数，一个是在未知作用域分配的 List ，另一个是在当前作用域分