java - 静态常量是否违反 "encapsulation"？

Question

好吧，我正在使用这本书:Core Java Volume I--Fundamentals。

它定义封装如下:

Encapsulation (sometimes called information hiding) is a key concept in working with objects. Formally, encapsulation is simply combining data and behavior in one package and hiding the implementation details from the users of the object.

通过在SO中搜索，我知道封装和信息隐藏是独立的概念，但结合使用。但是，为了这个问题，让我们坚持本书的定义(即封装==实现隐藏)，因为这个问题使用了书中的示例。

public class Math
{
 . . .
 public static final double PI = 3.14159265358979323846;
 . . .
}

书上说这不会破坏封装，因为它是一个常量。但是上面的代码是否破坏了封装的实现隐藏部分(根据本书的定义)，因为 PI 不仅对类可见，而且对程序的其余部分都可见。

我的问题实际上可能与此重复:Does a public static const variable break the encapsulation ideology? (虽然用 C++ 标记)但答案说它确实违反了封装(与书相矛盾)，那没关系。我知道我的问题是否因为可能重复而被关闭

编辑:我将发布另一个示例代码作为评论，提到 PI 不被视为实现细节

public class System
{
 . . .
 public static final PrintStream out = . . .;
 . . .
}

Answer 1

很好的问题。我不认为您提供的示例破坏了封装，至少不是严格意义上的。

您给出的第一个示例是常量 PI，第二个示例提供对 System 中的 out 常量的访问；大概是为了使用一些代码，例如 System.out.println("HelloWorld!");。正如其他人已经提到的，PI 实际上只是一个常量，常量的用户无法修改或影响该值。 PI 的用户仍然需要在其代码中引用常量(此处构成 API)。如果 PI 被修改(不太可能，但谁知道)，用户将不会受到该更改的影响，因为无论如何他们都需要重新编译代码。

考虑封装的一个有用方法是考虑破坏封装需要什么。 《Effective Java》第 3 版在第 16 条中对此进行了很好的描述，表明如果没有适当的封装，“您无法在不更改 API 的情况下更改表示形式，无法强制执行不变量，并且在访问字段时无法采取辅助操作。 ”

下面的类非常明显地违反了上述规定(也在《Effective Java》的第 16 条中):

class Point {
  public double x;
  public double y;
}

所有字段都是公共(public)的，此 API 的用户将被迫直接使用这些字段。如果稍后作者决定在访问或修改 x 或 y 之前添加一些验证检查，那么在不破坏现有客户端的情况下就不可能这样做。 API 必须进行重大修改，并且可能会破坏下游用户的行为。

现在让我们看看您提供的第二个示例:

public class System
{
 . . .
 public static final PrintStream out = . . .;
 . . .
}

这看起来与上面的 PI 示例非常相似，但有一个关键区别:有问题的字段是 PrintStream。虽然 out 字段本身是此 API 的一个明显部分，现在可能很难更改(现在它已公开，客户端将使用并依赖它)，但 PrintStream type 是一个类，这实际上是这里有趣的地方:用户将引用该类的方法。在这里，我们拥有 PrintStream API 中的关键功能，这些功能可以随着时间的推移而发展，而不会中断使用。将来也可能将 out 常量更改为引用不同的 PrintStream 子类，并且 API 的用户应该不受影响。

希望有帮助。