Java中父类私有HashSet变量为何在子类实例间共享？

问题现象 #

父类中声明为private的HashSet类型变量出现不符合预期的行为：

• 同一子类的不同实例间，该变量指向同一个对象，修改一个实例的变量会影响所有同子类实例；
• 继承自同一父类的不同子类的实例，该变量却是独立的，修改一个不会影响另一个。

类结构代码 #

public class Main { 
    private Set<String> test = new HashSet();
    protected void addToTest(String s) {
        test.add(s);
    } 
}

public class Child1 extends Main { }

public class Child2 extends Main { }

测试场景及现象 #

1. 同一子类的两个实例 #

Main o1 = new Child1(); 
Main o2 = new Child1();

o1.addToTest("test"); 
o2.addToTest("test");

o1.clear(); // 执行后两个实例的test变量都被清空，且二者哈希码相同

2. 不同子类的两个实例 #

Main o1 = new Child1(); 
Main o2 = new Child2();

o1.addToTest("test");
o2.addToTest("test");

o1.clear(); // 执行后仅o1的test被清空，二者哈希码不同

原因分析 #

首先明确：标准Java中，非静态实例变量（无static修饰）会为每个对象创建独立副本，父类的private非静态变量也不例外——每个子类实例都会拥有属于自己的test变量副本，指向独立的HashSet对象。因此你描述的现象完全不符合Java的基础规则，问题必然出在实际代码中存在未察觉的错误，常见可能性包括：

• 变量被误加static修饰符：如果父类的test被声明为private static Set<String> test = new HashSet();，该变量会属于Main类而非实例，所有子类实例都会共享同一个HashSet对象，但这与你“不同子类实例变量独立”的现象矛盾。因此更可能是每个子类自行定义了同名的static变量，且父类方法通过某种逻辑（如反射、子类重写方法）操作了子类的静态变量。
• 对象初始化逻辑错误：父类中test的初始化并非在实例构造/初始化块中，而是在静态块或共享对象的逻辑中，导致同一子类的所有实例复用同一个HashSet对象。
• 代码遗漏关键逻辑：比如父类或子类中存在单例模式、对象池等逻辑，强制同一子类的实例共享同一个HashSet对象；或是你调用的clear()方法存在特殊实现，操作了共享对象。

结论 #

你遇到的并非Java的“异常行为”，而是实际代码与你提供的示例代码存在差异，导致出现不符合预期的变量共享逻辑。建议检查代码中变量的修饰符、初始化逻辑，以及涉及该变量的所有方法实现。

内容的提问来源于stack exchange，提问作者ACP