Почему нулевой анализ Eclipse игнорирует оператор проверки нуля: if (someObject! = Null) {…}, когда someObject является переменной области видимости?

Question

Почему нулевой анализ Eclipse игнорирует оператор проверки нуля: if (someObject! = Null) {…}, когда someObject является переменной области видимости?

1

У меня такой класс:

import javax.annotation.Nullable;
public class Nullness {

    private @Nullable Object someObject;

    public void foo() {
        if (someObject != null) {
            someObject.toString(); //error "Potential null pointer access: The field someObject is specified as @Nullable"
        }
    }
}

А когда разрешить нулевой анализ eclipse, ошибка someObject.toString(); в выражении someObject.toString(); который читает Potential null pointer access: The field someObject is specified as @Nullable.

У Eclipse есть быстрое исправление, которое может изменить мой код так:

    public void foo() {
        final Object someObject2 = someObject;
        if (someObject2 != null) {
            someObject2.toString();
        } 
    }

который может уничтожить ошибку, обратите внимание, что на самом деле final модификатор не требуется, чтобы ошибка исчезла.

Я не понимаю, почему Eclipse не позволяет мне использовать переменную поля непосредственно в if (someObject != null) но заставляет меня создать дополнительную локальную переменную someObject2. Это просто ошибка или она предназначена?

asinkxcoswt 20 май 2014, в 12:54

Источник

0

Без моего знания о Nullable мое 6-е чувство говорит мне, что это вызывает путаницу в компиляторе. someObject2 не @Nullable , что, кажется, единственная разница между двумя => вот в чем проблема
Hans Petter Taugbøl Kragset 20 май 2014, в 10:36
0

@hewo Я также пытаюсь пометить someObject2 @Nullable но не вызывает никаких ошибок.
asinkxcoswt 20 май 2014, в 10:42
1

Я не знаю, является ли это предупреждение чем-то действительно серьезным. Вы можете сделать @SuppressWarnings("null pointer") (или что-то еще), чтобы просто проигнорировать это
Hans Petter Taugbøl Kragset 20 май 2014, в 10:47

Показать ещё 1 комментарий

Теги:

java

eclipse

null

1 ответ

Ещё вопросы

Без моего знания о Nullable мое 6-е чувство говорит мне, что это вызывает путаницу в компиляторе. someObject2 не @Nullable , что, кажется, единственная разница между двумя => вот в чем проблема
@hewo Я также пытаюсь пометить someObject2 @Nullable но не вызывает никаких ошибок.
Я не знаю, является ли это предупреждение чем-то действительно серьезным. Вы можете сделать @SuppressWarnings("null pointer") (или что-то еще), чтобы просто проигнорировать это

asinkxcoswt · Accepted Answer · 2014-05-20T08-58-00.000Z

Необходимо извиниться перед сообществом, разместив вопрос без тщательного изучения. Эта проблема явно упоминается в этой вики, в которой обсуждается, что использование переменной поля напрямую может вызвать неожиданный эффект несколькими способами.