在实例方法中写入静态变量，为什么这是一个不好的做法？

Question

我对 eclipse 中的 findbugs 警告有点困惑。

public class MyClass {
    public static String myString;
}


public class AnotherClass {
   public void doSomething() {
       MyClass.myString = "something";
   }
}

这给了我一个 findbugs 警告“从实例方法写入静态字段”，但这并没有给我一个警告：

public class MyClass {
    public static String myString;
}


public class AnotherClass {
   public void doSomething() {
       doAnotherThing();
   }
   public static doAnotherThing() {
       MyClass.myString = "something";
   }
}

这有什么不同？以及为什么从实例方法写入静态变量是一个不好的做法？，我假设它与同步有关，但我仍然不清楚。

我知道这看起来变量应该是最终的，但我正在从属性文件加载值。

Answer 1

它是一种别名形式，可能违反直觉。反直觉的代码妨碍了维护的方便性。

从逻辑上讲，我们期望实例方法会影响该实例的数据。我们期望静态方法会影响静态数据。

让我们将 doSomething 重命名为 initialize：

...
a.initialize();
...
b.initialize();
...

此代码的读者可能不会立即意识到 a 和 b 的实例实际上影响相同的数据。这可能是一个错误，因为我们两次初始化相同的内存，但它并不明显，因为我们可能需要在每个实例上调用 initialize 似乎是合理的。

然而，代码是：

...
MyClass.initialize();
...
MyClass.initialize();
...

在这种情况下，更直观的是我们可能会影响相同的静态数据，这可能是一个错误。

这类似于别名的常见版本，其中同一范围内的两个变量指向同一实例。

---

对于最后一个示例，

• 实例调用静态方法

  实例方法调用静态方法的事实预计不会引发标志。这些例子表明，它的用处远远超过了它可能出现的问题。

• 一个类的静态方法会影响另一个类的静态数据

  从某种意义上说，它应该生成一个不同但相似的警告：一个类正在弄乱另一个类的数据。然而，通过将静态变量设为 public 是默认的一种方式，因此这样的警告是没有必要的。

请记住，FindBugs 只是试图标记代码中潜在的可能问题，而不是所有可能的问题。您的第一个示例可能是潜在的维护问题，您需要检查它是否是真正的问题。您的第二个示例可能不是问题，或者它是一个实际问题，与它不是问题的用例太相似。

Answer 2

关于为什么要更改静态字段的用例并不多。
请记住，如果将此字段设置为新值，则该类的所有实例的该值都会更改。
这可能会让您在多线程环境中陷入麻烦，因为在该环境中，多个线程正在调用 doSomething()。需要适当的同步。

在 99% 的情况下，您希望实例方法仅更改非静态字段，这就是 findbugs 向您发出警告的原因。

而且 findbugs 不够聪明，无法找出您的实例方法间接更改第二个示例中的字段:)

Answer 3

这是 FindBugs 对此的说法： http://findbugs.sourceforge.net/bugDescriptions.html #ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD

Answer 4

这是我的看法，所以请持保留态度。您提到同步问题，这是此警告的主要原因，但更重要的是，这两种情况从根本上是在不同的数据概念“级别”上运行的。实例方法由对象“拥有”，并修改描述各个实例的数据。类方法是通用操作，虽然与类相关，但与单个对象无关。因此，从每个实例内部修改该状态可能（但不一定）是一个糟糕的设计决策。

Answer 5

我认为同步（在几个答案中提到）对此没有任何影响。毕竟，静态方法可以像实例方法一样轻松地从多个线程调用。

我认为，警告的原因（FindBugs 文档没有很好地解释）是由几个答案暗示的：它是可疑的，并且可能是一个错误。正如 Jochen Bedersdorfer 所说，您希望从一个类中的实例方法分配给另一个类中的静态变量的用例并不多。就像这

while (x = y) {
    // ...
}

在技术上不是一个错误（实际上如果 x 和 y 是布尔值，那么在 Java 中是合法的），它几乎总是一个错误。同样，FindBug 的作者对主题案例也有同样的感受。

Answer 6

因为更改静态字段会更改所有实例的静态字段，如果未正确同步，则会导致无数问题。

如果您正在读取属性文件来设置共享字段，请在静态方法中执行此操作。或者，将字段重构为另一个类只能读取的单独的单例实例。如果您只想拥有一个实例，则使用单例模式并使字段成为非静态的。

静态方法应该只影响静态数据，实例方法应该只影响实例数据。