Wie Eclipse-(Java) konfigurieren benutzerdefinierte Behauptung zu erkennen, wenn gegen mögliche Nullzeiger

Question

Überprüfung Ich habe das folgende Stück von Java-Code:

public void silence(final Object key) { 
    final Chain chain = (Chain)getChain(key); 
    checkPrecondition(chain != null); 
    chain.silence(); 
    } 

Der checkPrecondition Aufruf wirft eine Laufzeitausnahme, wenn Kette null ist, aber von Eclipse scheint nicht zu "bekommen": es sagt chain.silence() ist ein möglicher Nullzeigerzugriff (Warnung). Frage: Wie kann ich Eclipse "sagen", dass checkPrecondition() sicherstellt, dass die Kette nicht null ist, d. H. Den Charakter einer Assertion hat? Ich weiß, dass ich diese Warnung deaktivieren kann, aber das möchte ich lieber nicht tun, da dies in anderen Situationen gerechtfertigt sein könnte.

Interessanterweise verschwindet die Warnung, wenn ich den Aufruf checkPrecondition() entferne (was genau der Fall ist, in dem ich es erwarten würde).

Ich verwende Eclipse 4.4.2 (32 Bit) unter Windows. Java VM ist 1.3 (!). Das Update auf neuere Versionen von beiden ist derzeit keine Option.

Answer 1

Sie sagen nicht zu Eclipse, Sie müssen einen Code in einer solchen Syntax und Logik erstellen, dass der Java-Compiler erfolgreich kompiliert wird und dass die JVM ausgeführt werden kann.

Es ist normal, dass eine Laufzeitausnahme auftritt. Ein Variablenwert kann nur zur Laufzeit überprüft werden, genauso wie der Nullzeiger (tatsächlich ist es in fast jeder Sprache der Fall, der vorgibt, von C zu kommen und etwas zu verwenden, das mit Zeigern verwandt ist, und es war bereits vor C der Fall).

Sie können dieses Problem mit zwei verschiedenen Verfahren lösen, abhängig von Ihrem Stil und dem in Ihrem Projekt verwendeten.

• Zuerst kommt die defensing Weg -> man bedenkt, dass das Unterprogramm getötet werden sollte, bevor ein solcher Fehler auftritt (Null-Pointer-Fehler viel in der Software-Industrie kosten).

  public void silence(final Object key) { 
  
      if (key == null) { 
       throw new IllegalArgumentException("Key should not be null."); 
      } 
  
      Object oChain = getChain(key); 
  
      if (oChain == null || !(oChain instanceof Chain)) { 
       throw new IllegalArgumentException("Key should be mapped to an object from the Chain class type."); 
      } 
  
      Chain chain = (Chain)oChain; 
      if(checkPrecondition(chain)) { 
       chain.silence(); 
      } 
  } 
  

• Der zweite Weg ist Offensive: der anrufende Code sollte damit umgehen und die subprocess hat nichts zum Absturz zu bringen!

  public boolean silence(final Object key) { 
      if (key == null) return false; 
      Object oChain = getChain(key); 
      if (oChain == null || !(oChain instanceof Chain)) return false; 
      Chain chain = (Chain)oChain; 
      if(!checkPrecondition(chain)) return false; 
      chain.silence(); 
      return true; 
  } 
  

Bitte beachten Sie, dass ich nehme an, die checkcondition Methode ein Boolean zurückkehrt und dass sein einziges Argument sollte ein Objekt von der Kettenklasse sein.