Czy „this” może być kiedykolwiek zerowe w Javie?

Widziałem tę linię w metodzie klasowej i moją pierwszą reakcją było wyśmiewanie programisty, który ją napisał. Ale potem pomyślałem, że powinienem najpierw upewnić się, że mam rację.

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

Czy ta linia kiedykolwiek zostanie uznana za fałszywą?

Nie, nie może. Jeśli używasz this, to jesteś w instancji, więc thisnie jest null.

JLS mówi:

Używane jako wyrażenie podstawowe słowo kluczowe this oznacza wartość będącą odniesieniem do obiektu, dla którego wywołano metodę instancji (§15.12), lub do konstruowanego obiektu.

Jeśli wywołałeś metodę z obiektu, to obiekt istnieje lub miałbyś NullPointerExceptionprzed (lub jest to metoda statyczna, ale wtedy nie możesz thisw niej użyć ).

Zasoby :

• JLS - thissłowo kluczowe

To tak, jakbyś zadał sobie pytanie „Czy żyję?” thisnigdy nie może być zerowe

Nie, nigdy , słowo kluczowe „this” samo w sobie reprezentuje bieżącą aktywną instancję (obiekt) tej klasy w zakresie tej klasy, za pomocą której można uzyskać dostęp do wszystkich jej pól i składowych (w tym konstruktorów) oraz widocznych z jej klasy nadrzędnej.

Co ciekawsze, spróbuj ustawić to:

this = null;

Pomyśl o tym? Jak to możliwe, czy nie będzie to jak przecinanie gałęzi, na której siedzisz. Ponieważ słowo kluczowe „this” jest dostępne w zakresie klasy, więc gdy tylko powiesz this = null; gdziekolwiek w klasie to po prostu prosisz JVM o zwolnienie pamięci przypisanej do tego obiektu w trakcie jakiejś operacji, na którą JVM po prostu nie może pozwolić, ponieważ musi bezpiecznie wrócić po zakończeniu tej operacji.

Co więcej, próbując this = null; zakończy się błędem kompilatora. Przyczyna jest dość prosta, słowu kluczowemu w Javie (lub jakimkolwiek innym języku) nie można nigdy przypisać wartości, tj. Słowo kluczowe nigdy nie może być lewą wartością operacji przypisania.

Inne przykłady, których nie możesz powiedzieć:

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

Jeśli kompilujesz z -target 1.3lub wcześniej, może to być plik zewnętrzny . A przynajmniej kiedyś ...thisnull

Nie. Aby wywołać metodę instancji klasy, instancja musi istnieć. Wystąpienie jest niejawnie przekazywane jako parametr do metody, do której odwołuje się this. Gdyby tak thisbyło, nullnie byłoby instancji do wywołania metody.

Nie wystarczy, że język to wymusza. Maszyna wirtualna musi to wymusić. O ile maszyna wirtualna tego nie wymusza, można napisać kompilator, który nie wymusza sprawdzenia wartości null przed wywołaniem metody napisanej w języku Java. Kody operacyjne dla wywołania metody instancji obejmują ładowanie tego odniesienia na stos, patrz: http://java.sun.com/docs/books/jvms/second_edition/html/Compiling.doc.html#14787 . Zastąpienie tego pustym odniesieniem rzeczywiście spowodowałoby, że test byłby fałszywy

W statycznych metodach klas thisnie jest zdefiniowany, ponieważ thisjest powiązany z instancjami, a nie z klasami. Uważam, że próba użycia thissłowa kluczowego w kontekście statycznym spowodowałaby błąd kompilatora .

Normalny thisnigdy nie może być nullw prawdziwym kodzie Java ¹ , a Twój przykład używa normalnego this. Zobacz inne odpowiedzi, aby uzyskać więcej informacji.

Kwalifikowany nigdy nie this powinien być null, ale można to przełamać. Rozważ następujące:

public class Outer {
   public Outer() {}

   public class Inner {
       public Inner() {}

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

Kiedy chcemy utworzyć instancję Inner, musimy to zrobić:

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
}

Wynik to:

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

pokazując, że nasza próba stworzenia Innerz nullodniesieniem do ich Outerzawiódł.

W rzeczywistości, jeśli trzymasz się obwiedni „czystej Javy”, nie możesz tego złamać.

Jednak każda Innerinstancja ma ukryte finalpole syntetyczne (nazywane "this$0"), które zawiera odwołanie doOuter . Jeśli jesteś naprawdę podstępny, możesz użyć "nieczystych" środków, aby przypisać nulldo pola.

• Możesz to Unsafezrobić.
• Możesz do tego użyć kodu natywnego (np. JNI).
• Możesz to zrobić za pomocą refleksji.

Tak czy inaczej, efekt końcowy jest taki, że Outer.thiswyrażenie wyniesie null² .

W skrócie, jest to możliwe dla wykwalifikowanego thisbyć null. Ale jest to niemożliwe, jeśli Twój program przestrzega zasad „czystej Java”.

^{1 - Dyskontuję sztuczki, takie jak „pisanie” kodów bajtowych ręcznie i przekazywanie ich jako prawdziwej Javy, poprawianie kodów bajtowych za pomocą BCEL lub podobnego, lub przeskakiwanie do kodu natywnego i manipulowanie zapisanymi rejestrami. IMO, czyli NIE JAVA. Hipotetycznie, takie rzeczy mogą się również zdarzyć w wyniku błędu JVM ... ale nie przypominam sobie, żeby każdy widział raporty o błędach.}

^{2 - W rzeczywistości JLS nie mówi, jakie będzie zachowanie, i może być zależne od implementacji ... między innymi.}

Gdy wywołasz metodę w nullodwołaniu, NullPointerExceptionzostanie ona wyrzucona z maszyny wirtualnej Java. Dzieje się tak według specyfikacji, więc jeśli maszyna wirtualna Java jest ściśle zgodna ze specyfikacją, thisnigdy by tak nie było null.

Jeśli metoda jest statyczna, nie ma żadnej this. Jeśli metoda jest wirtualna, thisnie może mieć wartości null, ponieważ w celu wywołania metody środowisko wykonawcze będzie musiało odwołać się do tabeli vtable za pomocą thiswskaźnika. Jeśli metoda nie jest wirtualna , to tak, możliwe, że thisjest zerowa.

C # i C ++ zezwalają na metody niewirtualne, ale w Javie wszystkie metody niestatyczne są wirtualne, więc thisnigdy nie będą miały wartości NULL.

tl; dr, "this" można wywołać tylko z metody niestatycznej i wszyscy wiemy, że metoda niestatyczna jest wywoływana z jakiegoś obiektu, który nie może mieć wartości NULL.