W jaki sposób zmienna 'this' w Javie faktycznie jest ustawiona na bieżący obiekt?

Question

Rozważmy:

class TestParent{ 
    public int i = 100; 
    public void printName(){ 
    System.err.println(this); //{TestChild@428} according to the Debugger. 
    System.err.println(this.i); //this.i is 100. 
    } 
} 

class TestChild extends TestParent{ 
    public int i = 200; 
} 

public class ThisTest { 
    public static void main(String[] args) { 
    new TestChild().printName(); 
    } 
} 

Wiem, że podobne pytania były zadawane, ale nie mogłem dostać solidne zrozumienie „tego” zmiennej w Javie.

Pozwól mi spróbować wyjaśnić, jak rozumiem wynik powyższego obrazu.

1. Ponieważ jest to obiekt, który jest new TestChild() wywołanie metody printName() zmienna w linii 6 this jest ustawiony na TestChild obiektu - {TestChild @ 428} według debugera.

2. Ponieważ Java nie ma pola wirtualnego - nie jestem do końca pewien, co to oznacza, ale rozumiem koncepcyjnie, że jest to przeciwieństwo metod Java, które obsługują Polimorfizm - this.i jest ustawiona na 100 TestParent w czasie kompilacji.

3. Więc nieważne co this jest this.i w metodzie TestParent zawsze będzie zmienna w klasie TestParenti.

Nie jestem pewien, czy moje zrozumienie jest poprawne, więc proszę mnie poprawić, jeśli się mylę.

A także, moim głównym pytaniem jest,

Jak jest this zmienny zestaw do bieżącego obiektu, który jest wywołanie metody? W jaki sposób jest on faktycznie wdrażany?

Answer 1

W istocie nie ma różnicy między

this.foo() 

i

anyObject.foo() 

jak zarówno są "realizowane" w ten sam sposób. Należy pamiętać, że „w końcu”, „orientacja obiektu jest tylko abstrakcji, aw«rzeczywistości», co się dzieje, jest coś takiego:

foo(callingObject) 

Innymi słowy: gdy używasz jakieś odniesienie do obiektu do nazywają metoda ... w końcu nie ma wywołania na jakiś obiekt.Ale głęboko w asembler i kod maszynowy, coś takiego jak "połączenie na coś" nie istnieje.Niepodobnie jak coś się dzieje, nie istnieje coś takiego jak "wywołanie czegoś"

wywołanie funkcji, a pierwszym (niejawnym/niewidocznym na poziomie kodu źródłowego) parametrem jest ten obiekt:

BTW: rzeczywiście można napisać, że w Javie jak:

class Bar { 
    void foo(Bar this) { ... } 

a później użyć

new Bar().foo(); 

I za to.fieldA, na końcu: masz odniesienie do jakiejś lokalizacji w pamięci; oraz tabelę z informacją, który "offset" znajdziesz w polu A.

Edytuj - tylko dla rekordu. Jeśli jesteś zainteresowany więcej informacji na temat foo (Bar to) - możesz przejść do tego question; podając szczegóły w specyfikacji Java za tym!

Answer 2

Cóż, gdy tworzony jest nowy obiekt, ten obiekt ma adres w pamięci, dzięki czemu można go sobie wyobrazić tak, jakby obiekt miał prywatnego użytkownika, który jest ustawiony na adres podczas tworzenia obiektu. Możesz również pomyśleć o tym tak: obj.method(param) to tylko cukier syntaktyczny dla method(obj, param); i this jest w rzeczywistości parametrem method.

Answer 3

To, co się dzieje, to dwa zupełnie różne pola, nazywane i; aby używać ich pełnych nazw, jeden to TestParent::i, a drugi to TestChild::i.

Ponieważ metoda printName jest zdefiniowana w TestParent, gdy odnosi się do i, można go tylko zobaczyć TestParent::i, który jest ustawiony na 100.

co następuje po ustawieniu i do 200 w TestChild, oba pola są nazywane i widoczne, ale ponieważ mają one tę samą nazwę, a następnie kończysz ustawienie TestChild::i, pozostawiając nietknięte TestParent::i.

Answer 4

Aby bezpośrednio zaadresować to, co widzisz na wyjściu: wezwanie do wydrukowania "this.i" przekazuje jako argument "print()" wartość pola "i" w bieżącym zakresie, który jest zakresem klasy macierzystej. Natomiast wezwanie do wydrukowania "tego" jest tłumaczone pod maską na wywołanie, aby wydrukować "this.getClass(). GetName()" [mówiąc w przybliżeniu], a wywołanie "getClass()" pobiera rzeczywisty obiekt klasy , który jest dla klasy dzieci.

Answer 5

Dodając więcej informacji na temat @Tom Anderson odpowiedź, co wyjaśnia ładnie ukrywanie koncepcji.

Dodałem jeszcze jednego konstruktora w katalogu Dziecko (TestChild), który drukuje wartości i w rodzicu i potomku.

Jeśli chcesz uzyskać wartość i od dziecka (TestChild), zastąp tę metodę w TestChild.

class TestParent{ 
    public int i = 100; 
    public void printName(){ 
    System.err.println("TestParent:printName()"); 
    System.err.println(this); //{TestChild@SOME_NUM} according to the Debugger. 
    System.err.println(this.i); //this.i is 100. 
    } 
} 

class TestChild extends TestParent{ 
    public int i = 200; 
    public TestChild(){ 
    System.out.println("TestChild.i and TestParent.i:"+this.i+":"+super.i); 
    } 
    public void printName(){ 
     //super.printName(); 
     System.err.println("TestChild:printName()"); 
     System.err.println(this); //{TestChild@SOME_NUM} according to the Debugger. 
     System.err.println(this.i); //this.i is 200. 
    } 
} 

public class ThisTest { 
    public static void main(String[] args) { 
    TestParent parent = new TestChild(); 
    parent.printName(); 
    } 
} 

Przypadek 1: Jeśli komentarz super.printName() rozmowę z dzieckiem, wersja dzieckiem TestChild.printName() wypisuje wartość I w TestChild

wyjściowa:

TestChild.i and TestParent.i:200:100 
TestChild:printName() 
TestChild@43cda81e 
200 

Przypadek 2: TestChild.printName() wywołuje super.printName() jako pierwszą linię w metodzie printName(). W tym przypadku wartości z rodzica i podrzędnego są wyświetlane w odpowiednich metodach.

wyjściowa:

TestChild.i and TestParent.i:200:100 
TestParent:printName() 
TestChild@43cda81e 
100 
TestChild:printName() 
TestChild@43cda81e 
200