インスタンス状態を読み書きしないマーキングメソッド

Question

インスタンス状態に依存しないクラスのメソッドがstaticとマークされることがあります。私は、「このメソッドはインスタンスの状態に依存しない」ということを宣伝するという点ではかなり明確になっています。矛盾した状態の可能性を検討する際に、そのメソッドを完全にスキップするのは簡単です。

しかし、静的メソッドをマーキングする際の問題は、静的メソッドを継承または上書きできないことです。このような

何かがここで議論されていますDoes it make sense to have a non static method which does not use an instance variable?

は、それは非静的メソッドは、状態に依存しないことを宣言するための注釈を持っている意味をなすだろうか？コンパイラは、それが他の状態に依存しないメソッドのみを使用していることを検証できます。

パイプラインにこのような機能はありますか？

Answer 1

javaにはこのようなメカニズムはありません。たとえstaticであっても、すべてのケースをカバーするわけではありません。静的メソッドは静的コンテキストでも状態を変更できます。

class Example { 
    static int counter = 0; 
    static int add(int a, int b) { 
     counter++; 
     return a + b; 
    } 
} 

---

しかし、静的解析を使用してこの問題を解決するためにいくつかの研究があります。外見はJPureのプロトタイプがあります。