Может ли «this» когда-либо иметь значение null в Java?

Увидел эту строку в методе класса, и моей первой реакцией было высмеять разработчика, который ее написал ... Но потом я подумал, что сначала должен убедиться, что я прав.

public void dataViewActivated(DataViewEvent e) {
    if (this != null)
        // Do some work
}

Будет ли эта строка когда-либо считаться ложной?

Нет, не может. Если вы используетеthis , значит, вы находитесь в экземпляре, поэтому thisон не равен нулю.

JLS говорит:

При использовании в качестве основного выражения ключевое слово this обозначает значение, которое является ссылкой на объект, для которого был вызван метод экземпляра (§15.12), или на создаваемый объект.

Если вы вызвали метод из объекта, то объект существует или у вас будет NullPointerExceptionранее (или это статический метод, но тогда вы не можете использоватьthis ).

Ресурсы :

• JLS - thisключевое слово

Это как спрашивать себя: «Я жив?» thisникогда не может быть нулевым

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

И, что более интересно, попробуйте установить его:

this = null;

Подумай об этом? Как такое возможно, разве это не будет похоже на срезку ветки, на которой вы сидите. Поскольку ключевое слово 'this' доступно в рамках класса, как только вы скажете this = null; в любом месте класса вы в основном просите JVM освободить память, назначенную этому объекту, в середине некоторой операции, которую JVM просто не может допустить, поскольку она должна безопасно вернуться обратно после завершения этой операции.

Более того, попытка this = null;приведет к ошибке компилятора. Причина довольно проста: ключевому слову в Java (или любом другом языке) никогда не может быть присвоено значение, т.е. ключевое слово никогда не может быть левым значением операции присваивания.

Других примеров не скажешь:

true = new Boolean(true);
true = false;

Если вы компилируете с -target 1.3или ранее, то внешний this может быть null. Или, по крайней мере, раньше ...

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

Недостаточно того, что язык навязывает это. Виртуальной машине необходимо обеспечить его соблюдение. Если виртуальная машина не применяет его, вы можете написать компилятор, который не будет принудительно проверять значение null перед вызовом метода, написанного на Java. Коды операций для вызова метода экземпляра включают загрузку this ref в стек, см. Http://java.sun.com/docs/books/jvms/second_edition/html/Compiling.doc.html#14787 . Замена этого на нулевое значение действительно приведет к тому, что тест будет ложным.

В методах статического класса thisне определено, поскольку thisсвязано с экземплярами, а не с классами. Я считаю, что попытка использовать thisключевое слово в статическом контексте приведет к ошибке компилятора .

Нормальный thisникогда не может быть nullв реальном Java-коде ¹ , и в вашем примере используется нормальныйthis . См. Другие ответы для более подробной информации.

Квалифицированного никогда не this должно быть null, но это можно сломать. Учтите следующее:

public class Outer {
   public Outer() {}

   public class Inner {
       public Inner() {}

       public String toString() {
           return "outer is " + Outer.this;  // Qualified this!!
       }
   }
}

Когда мы хотим создать экземпляр Inner, нам нужно сделать следующее:

public static void main(String[] args) {
    Outer outer = new Outer();
    Inner inner = outer.new Inner();
    System.out.println(inner);

    outer = null;
    inner = outer.new Inner();  // FAIL ... throws an NPE
}

Результат:

outer is Outer@2a139a55
Exception in thread "main" java.lang.NullPointerException
        at Outer.main(Outer.java:19)

показывая, что наша попытка создать объект Innerсо nullссылкой на Outerнего не удалась.

Фактически, если вы придерживаетесь "чистой Java" оболочки, вы не сможете этого нарушить.

Однако у каждого Innerэкземпляра есть скрытое finalсинтетическое поле (называемое "this$0"), которое содержит ссылку на Outer. Если вы действительно коварны, можно использовать «нечистые» средства для присвоения nullполю.

• Вы могли бы использовать Unsafeдля этого.
• Для этого вы можете использовать собственный код (например, JNI).
• Вы можете сделать это с помощью отражения.

В любом случае вы это делаете, конечный результат в том , что Outer.thisвыражение будет вычисляться null² .

Короче говоря, это возможно для квалифицированного thisбыть null. Но это невозможно, если ваша программа следует правилам "чистой Java".

^{1. Я сбрасываю со счетов такие уловки, как «написание» байт-кодов вручную и выдача их за настоящую Java, настройка байт-кодов с помощью BCEL или подобного, или переход в машинный код и манипуляция с сохраненными регистрами. ИМО, это НЕ Java. Гипотетически такие вещи также могут произойти в результате ошибки JVM ... но я не припоминаю, чтобы каждый видел отчеты об ошибках.}

^{2 - На самом деле JLS не говорит, каким будет поведение, и это может зависеть от реализации ... среди прочего.}

Когда вы вызываете метод по nullссылке, NullPointerExceptionон будет брошен из виртуальной машины Java. Это спецификация, поэтому, если ваша виртуальная машина Java строго соответствует спецификации, thisникогда не будет null.

Если метод статический, значит, его нет this. Если метод виртуальный, он thisне может иметь значение NULL, потому что для вызова метода среда выполнения должна будет ссылаться на vtable с помощью thisуказателя. Если метод не виртуальный, то да, возможно, thisон нулевой.

C # и C ++ допускают невиртуальные методы, но в Java все нестатические методы являются виртуальными, поэтому thisникогда не будут иметь значение NULL.

tl; dr, «this» можно вызвать только из нестатического метода, и все мы знаем, что нестатический метод вызывается из какого-то объекта, который не может быть нулевым.