如何配置Eclipse（Java）的对抗潜在的空指针

Question

检查时，认识到自定义的断言我有下面的一段Java代码：

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

的checkPrecondition调用产生了一个运行时异常，如果链为空，但是Eclipse似乎没有“得到这个”：它说chain.silence（）是一个可能的空指针访问（警告）。 问题：如何“告诉”Eclipse，checkPrecondition（）确保链不为空，即具有断言的性质？我知道我可以禁用此警告，但我宁愿不这样做，因为在其他情况下，这可能是合理的。有趣的是，当我删除checkPrecondition（）调用时，警告消失了（这正是我期望看到的情况）。

我在Windows上使用Eclipse 4.4.2（32位）。 Java VM是1.3（！）。更新到较新版本的任何一个目前都不是一种选择。

Answer 1

您不告诉Eclipse，您必须以Java语言编译器将成功编译并且JVM能够执行的语法和逻辑生成代码。

发生运行时异常是正常的。变量值只能在运行时检查，对于空指针也是如此（事实上，几乎所有语言都假装来自C并且使用与指针相关的东西，C之前就是这种情况）。

您可以使用两种不同的方法来解决此问题，具体取决于您的风格以及您的projet中使用的风格。

• 首先是在defensing方式 - >您认为发生这样的错误之前子程序 人都被杀害（空指针错误 耗费了大量的软件业）。

  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(); 
      } 
  } 
  

• 第二种方式是进攻：调用代码应对此进行处理和子进程没有崩溃的东西！

  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; 
  } 
  

请注意，我假设校验条件方法返回一个布尔值，而且其单个参数应该是从连锁类的对象。