java – 面向对象访问说明符的推理

public class Thing {
    public int count = 0;
    public void doSomething() { count++; }
    public int getHowManyTimesDone() { return count; }
}

这段代码有什么问题？如果调用者修改了计数,我的代码违反了其合同：

Thing x = new Thing();
x.doSomething();
x.doSomething();
x.count = 0;
System.out.println(x.getHowManyTimesDone());

我的班级合同说这应该打印2,但它打印0,因为调用者修改了计数.通过计算一个私有变量,我告诉来电者,“嘿,你不应该触摸这个！这样做可能会使这个代码中断！”

相反,按照惯例,前缀为变量的单个下划线向调用者提供相同的警告：“如果触摸它,它可能会破坏此代码！”这可能最类似于受保护.双下划线也会触发名称修改,这表明即使是子类也不应该使用它;这最像是私人的.在Python中,如果他们无论如何都要访问这些成员,那么调用者有责任接受风险,但鼓励程序员尽可能公开.

至于谁在Java中实现变量的可见性,那就是运行时本身.不过,确实有一些巧妙的方法可以解决这个问题.我相信反射提供了一些手段,任何进入字节码或JVM本身的人都可以做些什么.考虑一下模拟做的事情;他们可以说服JVM模拟是一种特殊的类型,即使它不是.

编辑：

还有一件事.在Java中,鼓励程序员将所有实例变量保密,并使用方法来访问和改变它们.这是为了可维护性,而不是隐藏细节的哲学原因.由于Java没有C#或类似Python的属性机制,如果需要在获取或设置实例变量时添加逻辑,则需要修改依赖于该实例变量的所有代码以使用这些方法.通过始终使用方法来访问变量,可以最大限度地减少通过进行此类更改而中断的相关代码.换句话说,它是处理语言缺点的一个障碍.