Чи може "це" колись бути недійсним на Java?

Бачив цей рядок методом класу, і моєю першою реакцією було висміювати розробника, який його написав. Але потім, я зрозумів, що я повинен переконатися, що я маю рацію спочатку.

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

Чи буде цей рядок колись оцінюватись як хибний?

Ні, не може. Якщо ви використовуєтеthis , то ви знаходитесь в екземплярі, тому thisне є нульовим.

JLS говорить:

Якщо використовується як основний вираз, ключове слово позначає це значення, яке є посиланням на об'єкт, для якого викликався метод екземпляра (§15.12), або на об'єкт, який будується.

Якщо ви викликали метод від об'єкта, то об'єкт існує або у вас був би NullPointerExceptionраніше (або це статичний метод, але тоді ви не можете його використовувати this).

Ресурси:

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

Це як запитати себе "Я живий?" thisніколи не може бути нульовим

Ніколи ні , ключове слово "цей" саме по собі представляє поточний живий екземпляр (об'єкт) цього класу в межах цього класу, за допомогою якого ви можете отримати доступ до всіх його полів та членів (включаючи конструктори) та видимих ​​елементів його батьківського класу.

І, що цікавіше, спробуйте встановити його:

this = null;

Подумай над цим? Як це можливо, чи не буде це як різання гілки, на якій ти сидиш. Оскільки ключове слово "це" доступне в межах класу, як тільки ви скажете це = null; в будь-якому місці класу, тоді ви в основному просите JVM звільнити пам'ять, присвоєну цьому об'єкту в середині деякої операції, яку JVM просто не може дозволити, тому що їй потрібно безпечно повернутися назад після завершення цієї операції.

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

Інші приклади ви не можете сказати:

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

Якщо ви компілюєте з -target 1.3чи раніше, то зовнішній this може бути null. Або, принаймні, раніше ...

Ні. Щоб викликати метод екземпляра класу, екземпляр повинен існувати. Екземпляр неявно передається як параметр методу, на який посилається this. Якщо thisне було , nullто там би було ні одного випадку , щоб викликати метод.

Мало того, що мова це виконує. ВМ потрібно її застосувати. Якщо VM не застосовує його, ви можете написати компілятор, який не примушує перевірити нуль перед викликом методу, написаного на Java. Опкоди виклику методу екземпляра включають завантаження цього посилання на стек, див .: 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 або подібних, або перестрибувати в нативний код і перебирати зі збереженими регістрами. IMO, це НЕ Java. Гіпотетично подібні речі можуть траплятися і внаслідок помилки JVM ... але я не пригадую кожного звіту про помилки.}

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

Коли ви посилаєтесь на метод nullпосилання, NullPointerExceptionвикид буде передано з Java VM. Це за специфікацією, тому якщо ваша Java VM суворо відповідає специфікації, thisніколи не буде null.

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

C # і C ++ дозволяють невіртуючі методи, але на Java всі нестатичні методи є віртуальними, тому thisніколи не будуть нульовими.

tl; dr, "це" можна викликати лише з нестатичного методу, і всі ми знаємо, що нестатичний метод викликається від якогось об'єкта, який не може бути нульовим.