Question

以下代码段在Android Studio中产生lint警告。

    Bundle extras = getIntent().getExtras();
    if (extras != null && extras.getString(REDIRECT_KEY) != null) {
        switch (extras.getString(REDIRECT_KEY)) { ...

extras.getString(REDIRECT_KEY)产生警告

取消引用'extras.getString（REDIRECT_KEY）'可能会产生'java.lang.NullPointerException'

但我没有看到任何可能发生这种情况的情况。它是lint检查中的一个错误，它只是不能识别我之前的if中的空检查吗？或者我会错过什么？

编辑：将代码更改为以下内容，确实删除了警告

if(getIntent() != null && getIntent().getStringExtra(REDIRECT_KEY) != null){
        switch (getIntent().getStringExtra(REDIRECT_KEY)){
            ...
        }
    }

但这只是因为方式，这种棉绒检查工作（至少我猜）。如果我在此检查中显示更多信息，则会在某一时刻说明

标记为@Nullable或@NotNull的变量，方法参数和返回值被视为可为空（或不为空），并在分析期间用于检查可空性合同

查看Bundle和Intent的源代码：

/**
 * Retrieve extended data from the intent.
 *
 * @param name The name of the desired item.
 *
 * @return the value of an item that previously added with putExtra()
 * or null if no String value was found.
 *
 * @see #putExtra(String, String)
 */
public String getStringExtra(String name) {
    return mExtras == null ? null : mExtras.getString(name);
}

和BaseBundle

/**
 * Returns the value associated with the given key, or null if
 * no mapping of the desired type exists for the given key or a null
 * value is explicitly associated with the key.
 *
 * @param key a String, or null
 * @return a String value, or null
 */
@Nullable
public String getString(@Nullable String key) {
    unparcel();
    final Object o = mMap.get(key);
    try {
        return (String) o;
    } catch (ClassCastException e) {
        typeWarning(key, o, "String", e);
        return null;
    }
}

如您所见，BaseBundle将其返回值设置为@Nullable，而Intent则不设置。所以使用getStringExtra只能删除symoptoms，而不是原因。我仍然认为这是由于皮棉检查不足造成的，而不是我身边的错误编码。或者是否还有人会看到一个可以抛出Null指针的场景？

Answer 1

看看这个取自here

的例子

class Argument {

    public final static int TOMAYTO = 0;
    public final static int TOMAHTO = 1;

    static void argue() {

        int say = TOMAYTO;

        while (true) {

            switch (say) {

            case TOMAYTO:

                say = TOMAHTO;
                break;

            case TOMAHTO:

                say = TOMAYTO;
                break;
            }
        }
    }
}

javac为argue（）方法生成的字节码如下所示：

   0 iconst_0 // Push constant 0 (TOMAYTO)
   1 istore_0 // Pop into local var 0: int say = TOMAYTO;
   2 iload_0 // Push key for switch from local var 0
                          // Perform switch statement: switch (say) {...
                          // Low case value is 0, high case value is 1
                          // Default branch offset will goto 2
   3 tableswitch 0 to 1: default=2
            0: 24 // case 0 (TOMAYTO): goto 24
            1: 29 // case 1 (TOMAHTO): goto 29

                          // Note that the next instruction starts at address 24,
                          // which means that the tableswitch took up 21 bytes
  24 iconst_1 // Push constant 1 (TOMAHTO)
  25 istore_0 // Pop into local var 0: say = TOMAHTO
  26 goto 2 // Branch unconditionally to 2, top of while loop
  29 iconst_0 // Push constant 1 (TOMAYTO)
  30 istore_0 // Pop into local var 0: say = TOMAYTO
  31 goto 2 // Branch unconditionally to 2, top of while loop

正如您可以看到带有String数据类型的switch语句的一个tableswitch已经完成，并且对于每种情况，传递给switch的值都与case的值进行比较，所以这意味着你的情况{{ 1}}可以多次调用，而不会调用先前的extras.getString检查，因此，extras是一个bundle，它有可能被解除引用并导致nullpointer异常。

创建局部变量而不是多次调用方法始终是一个好习惯，您可以查看this presentation by Jake Wharton以了解原因。

取消引用可能会产生'java.lang.NullPointerException'

1 个答案: