Android：尽管有@NonNull，但出现 NullPointerException答案

【问题标题】：Android: NullPointerException despite @NonNullAndroid：尽管有@NonNull，但出现 NullPointerException
【发布时间】：2016-08-12 09:00:05
【问题描述】：

我使用注释来确保参数不为空，假设这会导致编译器检查。

public @Nullable ApplicationAccount accountForKey(@NonNull String key) {

    return accounts.get(key);
}

但是，通过运行此代码，我在这一行得到了 NullPointerException

java.util.concurrent.ConcurrentHashMap.get (ConcurrentHashMap.java:883)

那么注释的意义何在？

如果我像这样写额外的支票，那就更模糊了

return key!=null?accounts.get(key):null;

Android Studio 警告我检查没用！

更新：完整的调用堆栈：

Caused by java.lang.NullPointerException
       at java.util.concurrent.ConcurrentHashMap.get(ConcurrentHashMap.java:883)
       at co.getcontrol.services.MerchantCenter.accountForKey(MerchantCenter.java:72)
       at co.getcontrol.model.customers.CustomersAggregator.loadCustomerDetails(CustomersAggregator.java:91)
       at co.getcontrol.model.customers.CustomerDetailsPresenter.callData(CustomerDetailsPresenter.java:39)
       at co.getcontrol.reskin.ui.customers.CustomerDetailsViewFragment.onCreateView(CustomerDetailsViewFragment.java:152)
       at android.support.v4.app.Fragment.performCreateView(Fragment.java:1974)
       at android.support.v4.app.FragmentManagerImpl.moveToState(FragmentManager.java:1067)
       at android.support.v4.app.FragmentManagerImpl.moveToState(FragmentManager.java:1252)
       at android.support.v4.app.BackStackRecord.run(BackStackRecord.java:738)
       at android.support.v4.app.FragmentManagerImpl.execPendingActions(FragmentManager.java:1617)
       at android.support.v4.app.FragmentController.execPendingActions(FragmentController.java:339)
       at android.support.v4.app.FragmentActivity.onStart(FragmentActivity.java:602)
       at co.getcontrol.ui.ControlActivity.onStart(ControlActivity.java:13)
       at android.app.Instrumentation.callActivityOnStart(Instrumentation.java:1174)
       at android.app.Activity.performStart(Activity.java:5353)
       at android.app.ActivityThread.performLaunchActivity(ActivityThread.java:2352)
       at android.app.ActivityThread.handleLaunchActivity(ActivityThread.java:2441)
       at android.app.ActivityThread.access$900(ActivityThread.java:151)
       at android.app.ActivityThread$H.handleMessage(ActivityThread.java:1354)
       at android.os.Handler.dispatchMessage(Handler.java:110)
       at android.os.Looper.loop(Looper.java:193)
       at android.app.ActivityThread.main(ActivityThread.java:5345)
       at java.lang.reflect.Method.invokeNative(Method.java)
       at java.lang.reflect.Method.invoke(Method.java:515)
       at com.android.internal.os.ZygoteInit$MethodAndArgsCaller.run(ZygoteInit.java:828)
       at com.android.internal.os.ZygoteInit.main(ZygoteInit.java:644)
       at dalvik.system.NativeStart.main(NativeStart.java)

【问题讨论】：

编译时间和运行时是不同的东西......正如你所见，@NonNull 不会神奇地阻止空值......这就是我不喜欢这些注释的原因。
嗯，对我来说，它消除了使用注释的整个感觉。没有注释我现在必须关心指针检查。如果我写@NonNull，那么我会自动将此职责委托给某人（编译器）。我希望至少使用此方法的代码在不检查null时必须产生编译错误/警告。
有有用的注释。这个没用。是的，您必须检查您的引用（Java 中没有指针！）...而且您不能在编译时委托它！不能。不可能。想想看：你编写了世界上最好的 JSON 库，编译它，发布它，然后别人用一个大空值来调用它。编译器怎么能捕捉到呢？
If I write @NonNull then I automatically delegate this duty to someone (compiler). 否。如果您写@NonNull，那么您告诉某人（Lint）您确定此时不会有 Null 值，并且不要再打扰您，您可能会收到 NullPointerException。但这并不能阻止 NullPointerException 的发生。
实际上你错过了根据java文档注释的目的“注释，一种元数据形式，提供有关程序的数据，而不是程序本身的一部分。注释对操作没有直接影响他们注释的代码。”

标签： java android nullpointerexception android-annotations non-nullable

【解决方案1】：

注释创建一个合同。 @NonNull 表示此方法不接受 null 并且传递它可能会使程序崩溃（这正是发生的情况）。 Android Studio 将警告该方法的任何使用，它可以推断出null 可能被传递。但它不会阻止传递null。

非常相似的合同是[] 的参数，用于一个不能超出其界限（例如小于 0）的数组，但仍不会阻止开发人员传递超出界限的值。

检查null 被标记为多余，因为根据合同，永远不应该有null。如果添加检查，该方法现在将知道如何处理null，因此不应标记为@NonNull。

【讨论】：

【解决方案2】：

如果您声明@NonNull，则输入将不是null。它不会阻止愚蠢的开发人员在那里传递一个空值。

我会考虑添加guava checkNonNull：

public @Nullable ApplicationAccount accountForKey(@NonNull String key) {
    Preconditions.checkNotNull(key, "Illegal Argument passed: key is Null.");
    return accounts.get(key);
}

这将阻止您成功地将null 传递给accounts#get 方法。

在您的情况下，您的 accounts 看起来像 null。调查一下！

【讨论】：

【解决方案3】：

考虑使用Lombok library 和Android Studio plugin 来实现两者的支持：方法开始时的警告和运行时异常，仅使用带有@NonNull lombok 注释的注释参数。

看起来像

import lombok.NonNull;

public class NonNullExample extends Something {
    private String name;

    public NonNullExample(@NonNull Person person) {
        super("Hello");
        this.name = person.getName();
    }
}

与box-java实现对比：

public class NonNullExample extends Something {
   private String name;

    public NonNullExample(@NonNull Person person) {
        super("Hello");
        if (person == null) {
            throw new NullPointerException("person");
        }
        this.name = person.getName();
    }
}

【讨论】：