Markierungsmethoden, die den Instanzstatus nicht lesen/schreiben

Question

Ich habe gesehen, dass manchmal Methoden in einer Klasse, die nicht vom Instanzstatus abhängen, als markiert sind. Ich stelle fest, dass es dadurch deutlich wird, dass es ankündigt, dass "diese Methode unabhängig vom Instanzzustand ist". Es ist leicht, diese Methode vollständig zu überspringen, wenn Sie nach Chancen auf einen inkonsistenten Zustand suchen.

Das Problem beim Markieren der Methode static besteht jedoch darin, dass statische Methoden nicht vererbt oder außer Kraft gesetzt werden können.

So etwas wird hier diskutiert: Does it make sense to have a non static method which does not use an instance variable?

Wäre es sinnvoll eine Anmerkung zu haben, zu erklären, dass eine nicht-statische Methode staatlich unabhängig ist? Dann könnte der Compiler überprüfen, dass er nur andere zustandsunabhängige Methoden verwendet.

Gibt es eine solche Funktion in der Pipeline?

Answer 1

Es gibt keinen solchen Mechanismus in Java. Selbst static deckt nicht alle Fälle ab. Statische Methoden können den Status im statischen Kontext immer noch ändern.

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

---

Aber es gibt einige Untersuchungen, dieses Problem mit statischer Analyse zu lösen. Sieht aus wie JPure hat einen funktionierenden Prototyp