如果您使用（或计划使用）JetBrains IntelliJ IDEA、Eclipse或Netbeans等Java IDE或findbugs等工具，那么您可以使用注释来解决这个问题。

基本上，你有@Nullable和@NotNull。

您可以在方法和参数中使用，如下所示：

@NotNull public static String helloWorld() {
    return "Hello World";
}

or

@Nullable public static String helloWorld() {
    return "Hello World";
}

第二个示例无法编译（在IntelliJ IDEA中）。

在另一段代码中使用第一个helloWorld（）函数时：

public static void main(String[] args)
{
    String result = helloWorld();
    if(result != null) {
        System.out.println(result);
    }
}

现在IntelliJ IDEA编译器将告诉您，检查是无用的，因为helloWorld（）函数永远不会返回null。

使用参数

void someMethod(@NotNull someParameter) { }

如果你写的东西像：

someMethod(null);

这无法编译。

最后一个使用@Nullable的示例

@Nullable iWantToDestroyEverything() { return null; }

这样做

iWantToDestroyEverything().something();

你可以肯定这不会发生。：）

这是一个很好的方法，可以让编译器检查比通常更多的东西，并强制执行您的契约以使其更强大。不幸的是，并非所有编译器都支持它。

在IntelliJ IDEA 10.5及更高版本中，他们添加了对任何其他@Nullable@NotNull实现的支持。

查看博客文章更灵活和可配置的@Nullable/@NotNull注释。

在Java8中，如果局部变量/字段/方法参数/方法返回类型从未赋值为null（并且不检查null），则可以使用类型T；如果可以为null，则可以键入Optional＜T＞。然后使用方法map处理T->，使用方法flatMap处理T->可选<R>：

class SomeService {
    @Inject
    private CompanyDao companyDao;

    // return Optional<String>
    public Optional<String> selectCeoCityByCompanyId0(int companyId) {
        return companyDao.selectById(companyId)
                .map(Company::getCeo)
                .flatMap(Person::getHomeAddress)
                .flatMap(Address::getCity);
    }

    // return String + default value
    public String selectCeoCityByCompanyId1(int companyId) {
        return companyDao.selectById(companyId)
                .map(Company::getCeo)
                .flatMap(Person::getHomeAddress)
                .flatMap(Address::getCity)
                .orElse("UNKNOWN");
    }

    // return String + exception
    public String selectCeoCityByCompanyId2(int companyId) throws NoSuchElementException {
        return companyDao.selectById(companyId)
                .map(Company::getCeo)
                .flatMap(Person::getHomeAddress)
                .flatMap(Address::getCity)
                .orElseThrow(NoSuchElementException::new);
    }
}

interface CompanyDao {
    // real situation: no company for such id -> use Optional<Company> 
    Optional<Company> selectById(int id);
}

class Company {
    // company always has ceo -> use Person 
    Person ceo;
    public Person getCeo() {return ceo;}
}

class Person {
    // person always has name -> use String
    String firstName;
    // person can be without address -> use Optional<Address>
    Optional<Address> homeAddress = Optional.empty();

    public String getFirstName() {return firstName;}   
    public Optional<Address> getHomeAddress() {return homeAddress;}
}

class Address {
    //  address always contains country -> use String
    String country;
    //  city field is optional -> use Optional<String>
    Optional<String> city = Optional.empty();

    String getCountry() {return country;}    
    Optional<String> getCity() {return city;}
}

Java7有一个新的Java.util.Objects实用程序类，其中有一个requireOnNull（）方法。如果它的参数为null，那么它只会抛出一个NullPointerException，但它会稍微清理代码。例子：

Objects.requireNonNull(someObject);
someObject.doCalc();

该方法对于在构造函数中进行赋值之前进行检查非常有用，每次使用它都可以节省三行代码：

Parent(Child child) {
   if (child == null) {
      throw new NullPointerException("child");
   }
   this.child = child;
}

变成

Parent(Child child) {
   this.child = Objects.requireNonNull(child, "child");
}

首先，我们不能真正删除所有空条件。我们可以使用@NotNull和@Nullable注释来减少它们（如上所述）。但这需要一些框架的支持。这是OVal可以帮助的地方。

基本思想是对象/参数/构造函数应始终满足前提条件。您可以有很多先决条件，例如Nullable、NotNull和OVal。它们会注意对象在调用时应处于一致状态。

我猜OVal内部使用AspectJ来验证前提条件。

@Guarded
public class BusinessObject
{
  public BusinessObject(@NotNull String name)
  {
    this.name = name;
  }

  ...
}

例如

// Throws a ConstraintsViolatedException because parameter name is null
BusinessObject bo = new BusinessObject(null);

我尝试过NullObjectPattern，但对我来说并不总是最好的方法。有时，“不采取行动”并不合适。

NullPointerException是一个运行时异常，这意味着它是开发人员的错，并且凭借足够的经验，它会准确地告诉您错误在哪里。

现在来回答：

尽量将所有属性及其访问器设为私有，或者避免将它们暴露给客户端。当然，您可以在构造函数中设置参数值，但通过缩小范围，您不会让客户端类传递无效值。如果需要修改值，可以始终创建新对象。您只检查构造函数中的值一次，在其他方法中，您几乎可以确定这些值不为空。

当然，经验是理解和应用这一建议的更好方式。

字节

如果不允许未定义的值：

您可以配置IDE以警告您可能的空取消引用。例如，在Eclipse中，请参阅首选项>Java>编译器>错误/警告/空分析。

如果允许未定义的值：

如果您想定义一个新的API，其中未定义的值是有意义的，请使用OptionPattern（可能在函数语言中很熟悉）。它具有以下优点：

API中明确说明是否存在输入或输出。编译器强制您处理“未定义”的情况。选项是monad，因此不需要进行冗长的空检查，只需使用map/foreach/getOrElse或类似的组合符即可安全地使用该值（示例）。

Java 8内置了可选类（推荐）；对于早期版本，有一些库选项，例如Guava的Optional或FunctionalJava的Option。但是，像许多函数样式模式一样，在Java中使用Option（甚至是8）会产生一些样板，您可以使用不那么冗长的JVM语言（例如Scala或Xtend）来减少这些样板。

如果必须处理可能返回null的API，那么在Java中就做不了什么了。Xtend和Groovy有Elvis运算符？：和空安全解引用运算符？。，但请注意，如果引用为null，则返回null，因此它只是“延迟”了对null的正确处理。