Я думаю об этом так
+----------------+
| super |
+----------------+ <-----------------+
| +------------+ | |
| | this | | <-+ |
| +------------+ | | |
| | @method1() | | | |
| | @method2() | | | |
| +------------+ | | |
| method4() | | |
| method5() | | |
+----------------+ | |
We instantiate that class, not that one!
Позвольте мне переместить этот подкласс немного влево, чтобы показать, что находится под ...
(Человек, я люблю графику ASCII)
We are here
|
/ +----------------+
| | super |
v +----------------+
+------------+ |
| this | |
+------------+ |
| @method1() | method1() |
| @method2() | method2() |
+------------+ method3() |
| method4() |
| method5() |
+----------------+
Then we call the method
over here...
| +----------------+
_____/ | super |
/ +----------------+
| +------------+ | bar() |
| | this | | foo() |
| +------------+ | method0() |
+-> | @method1() |--->| method1() | <------------------------------+
| @method2() | ^ | method2() | |
+------------+ | | method3() | |
| | method4() | |
| | method5() | |
| +----------------+ |
\______________________________________ |
\ |
| |
...which calls super, thus calling the super's method1() here, so that that
method (the overidden one) is executed instead[of the overriding one].
Keep in mind that, in the inheritance hierarchy, since the instantiated
class is the sub one, for methods called via super.something() everything
is the same except for one thing (two, actually): "this" means "the only
this we have" (a pointer to the class we have instantiated, the
subclass), even when java syntax allows us to omit "this" (most of the
time); "super", though, is polymorphism-aware and always refers to the
superclass of the class (instantiated or not) that we're actually
executing code from ("this" is about objects [and can't be used in a
static context], super is about classes).
Другими словами, цитата из Спецификации языка Java :
Форма super.Identifier
относится к полю с именем Identifier
текущий объект, но текущий объект рассматривается как экземпляр
суперкласс текущего класса.
Форма T.super.Identifier
относится к полю с именем Identifier
из
лексически включающий экземпляр, соответствующий T
, но с этим
экземпляр рассматривается как экземпляр суперкласса T
.
С точки зрения непрофессионала, this
- это в основном объект (* ** объект; тот же объект, который вы можете перемещать в переменных), экземпляр экземпляра класса, простая переменная в области данных; super
похоже на указатель на заимствованный блок кода, который вы хотите выполнить, больше похоже на простой вызов функции, и это относительно класса, в котором он вызывается.
Следовательно, если вы используете super
из суперкласса, вы получите код из супердупер класса [выполненного деда], в то время как если вы используете this
(или если он используется неявно) из суперкласса, он продолжает указывать на подкласс (потому что никто не изменил это - и никто не мог).