Java: вызов супер-метода, который вызывает переопределенный метод

public class SuperClass
{
    public void method1()
    {
        System.out.println("superclass method1");
        this.method2();
    }

    public void method2()
    {
        System.out.println("superclass method2");
    }

}

public class SubClass extends SuperClass
{
    @Override
    public void method1()
    {
        System.out.println("subclass method1");
        super.method1();
    }

    @Override
    public void method2()
    {
        System.out.println("subclass method2");
    }
}



public class Demo 
{
    public static void main(String[] args) 
    {
        SubClass mSubClass = new SubClass();
        mSubClass.method1();
    }
}

мой ожидаемый результат:

подкласс method1
суперкласс method1
суперкласс method2

фактический выход:

подкласс метод1
суперкласс
метод1 подкласс метод2

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

Ключевое слово superне «прилипает». Каждый вызов метода обрабатывается индивидуально, так что даже если вы получили SuperClass.method1()по телефону super, что не влияет на любой другой вызов метода , который вы могли бы сделать в будущем.

Это означает, что прямого вызова SuperClass.method2()из него SuperClass.method1()нет, если SubClass.method2()только вы не работаете с реальным экземпляром SuperClass.

Вы даже не можете добиться желаемого эффекта с помощью Reflection (см. Документациюjava.lang.reflect.Method.invoke(Object, Object...) ).

[РЕДАКТИРОВАТЬ] По-прежнему существует некоторая путаница. Позвольте мне попробовать другое объяснение.

Когда вы вызываете foo(), вы действительно вызываете this.foo(). Java просто позволяет опустить расширение this. В примере в этом вопросе, тип thisявляется SubClass.

Поэтому, когда Java выполняет код в SuperClass.method1(), он в конечном итоге достигаетthis.method2();

Использование superне изменяет экземпляр, на который указывает this. Таким образом, обращение идет к, SubClass.method2()поскольку thisимеет тип SubClass.

Возможно, это легче понять, если представить, что Java передается thisкак скрытый первый параметр:

public class SuperClass
{
    public void method1(SuperClass this)
    {
        System.out.println("superclass method1");
        this.method2(this); // <--- this == mSubClass
    }

    public void method2(SuperClass this)
    {
        System.out.println("superclass method2");
    }

}

public class SubClass extends SuperClass
{
    @Override
    public void method1(SubClass this)
    {
        System.out.println("subclass method1");
        super.method1(this);
    }

    @Override
    public void method2(SubClass this)
    {
        System.out.println("subclass method2");
    }
}



public class Demo 
{
    public static void main(String[] args) 
    {
        SubClass mSubClass = new SubClass();
        mSubClass.method1(mSubClass);
    }
}

Если вы проследите за стеком вызовов, вы увидите, что он thisникогда не меняется, это всегда экземпляр, созданный в main().

Вы можете получить доступ только к переопределенным методам в методах переопределения (или в других методах замещающего класса).

Итак: либо не переопределяйте, method2()либо вызывайте super.method2()внутри переопределенной версии.

Вы используете thisключевое слово, которое фактически относится к «запущенному в данный момент экземпляру объекта, который вы используете», то есть вы вызываете this.method2();свой суперкласс, то есть он вызовет метод2 () для объекта, который вы ' re using, который является подклассом.

Я так думаю об этом

+----------------+
|     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из суперкласса, вы получаете код из класса superduper [дедушка и бабушка], выполняемый), в то время как если вы используете this(или если он используется неявно) из суперкласса, он продолжает указывать на подкласс (потому что никто его не изменил - и никто мог).

class SuperClass
{
    public void method1()
    {
        System.out.println("superclass method1");
        SuperClass se=new SuperClass();
        se.method2();
    }

    public void method2()
    {
        System.out.println("superclass method2");
    }
}


class SubClass extends SuperClass
{
    @Override
    public void method1()
    {
        System.out.println("subclass method1");
        super.method1();
    }

    @Override
    public void method2()
    {
        System.out.println("subclass method2");
    }
}

вызов

SubClass mSubClass = new SubClass();
mSubClass.method1();

выходы

подкласс method1
суперкласс method1
суперкласс method2

Если вы не хотите, чтобы superClass.method1 вызывал subClass.method2, сделайте method2 закрытым, чтобы его нельзя было переопределить.

Вот предложение:

public class SuperClass {

  public void method1() {
    System.out.println("superclass method1");
    this.internalMethod2();
  }

  public void method2()  {
    // this method can be overridden.  
    // It can still be invoked by a childclass using super
    internalMethod2();
  }

  private void internalMethod2()  {
    // this one cannot.  Call this one if you want to be sure to use
    // this implementation.
    System.out.println("superclass method2");
  }

}

public class SubClass extends SuperClass {

  @Override
  public void method1() {
    System.out.println("subclass method1");
    super.method1();
  }

  @Override
  public void method2() {
    System.out.println("subclass method2");
  }
}

Если бы это не сработало, полиморфизм был бы невозможен (или, по крайней мере, даже наполовину полезен).

Поскольку единственный способ избежать переопределения метода - использовать ключевое слово super , я решил переместить метод 2 () из SuperClass в другой новый базовый класс, а затем вызвать его из SuperClass :

class Base 
{
    public void method2()
    {
        System.out.println("superclass method2");
    }
}

class SuperClass extends Base
{
    public void method1()
    {
        System.out.println("superclass method1");
        super.method2();
    }
}

class SubClass extends SuperClass
{
    @Override
    public void method1()
    {
        System.out.println("subclass method1");
        super.method1();
    }

    @Override
    public void method2()
    {
        System.out.println("subclass method2");
    }
}

public class Demo 
{
    public static void main(String[] args) 
    {
        SubClass mSubClass = new SubClass();
        mSubClass.method1();
    }
}

Выход:

subclass method1
superclass method1
superclass method2

this всегда относится к выполняющемуся в данный момент объекту.

Чтобы проиллюстрировать это, вот простой набросок:

+----------------+
|  Subclass      |
|----------------|
|  @method1()    |
|  @method2()    |
|                |
| +------------+ |
| | Superclass | |
| |------------| |
| | method1()  | |
| | method2()  | |
| +------------+ |
+----------------+

Если у вас есть экземпляр внешнего бокса, Subclassобъект, куда бы вы ни пошли, внутри бокса, даже вSuperclass «область», он все равно остается экземпляром внешнего бокса.

Более того, в этой программе есть только один объект, который создается из трех классов, поэтому thisможет ссылаться только на одну вещь, а именно:

как показано в « Обходчике кучи» Netbeans .

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

public class SuperClass
{
    public void method1()
    {
        System.out.println("superclass method1");
        this.internalMethod2();
    }

    public void method2()
    {
        this.internalMethod2(); 
    }
    private void internalMethod2()
    {
        System.out.println("superclass method2");
    }

}

Ключевое слово "this" относится к текущей ссылке на класс. Это означает, что когда он используется внутри метода, «текущий» класс по-прежнему является подклассом, поэтому ответ объясняется.

Подводя итог, это указывает на текущий объект, а вызов метода в java по своей природе полиморфен. Итак, выбор метода для выполнения полностью зависит от объекта, на который он указывает. Следовательно, вызов метода method2 () из родительского класса вызывает метод method2 () дочернего класса, так как this указывает на объект дочернего класса. Определение этого не меняется, независимо от того, какой класс он используется.

PS. в отличие от методов, переменные-члены класса не полиморфны.

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

public void method2(){
        Exception ex=new Exception();
        StackTraceElement[] ste=ex.getStackTrace();
        if(ste[1].getClassName().equals(this.getClass().getSuperclass().getName())){
            super.method2();
        }
        else{
            //subclass method2 code
        }
}

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

Более расширенный вывод поднятого вопроса даст больше информации о спецификаторе доступа и поведении переопределения.

            package overridefunction;
            public class SuperClass 
                {
                public void method1()
                {
                    System.out.println("superclass method1");
                    this.method2();
                    this.method3();
                    this.method4();
                    this.method5();
                }
                public void method2()
                {
                    System.out.println("superclass method2");
                }
                private void method3()
                {
                    System.out.println("superclass method3");
                }
                protected void method4()
                {
                    System.out.println("superclass method4");
                }
                void method5()
                {
                    System.out.println("superclass method5");
                }
            }

            package overridefunction;
            public class SubClass extends SuperClass
            {
                @Override
                public void method1()
                {
                    System.out.println("subclass method1");
                    super.method1();
                }
                @Override
                public void method2()
                {
                    System.out.println("subclass method2");
                }
                // @Override
                private void method3()
                {
                    System.out.println("subclass method3");
                }
                @Override
                protected void method4()
                {
                    System.out.println("subclass method4");
                }
                @Override
                void method5()
                {
                    System.out.println("subclass method5");
                }
            }

            package overridefunction;
            public class Demo 
            {
                public static void main(String[] args) 
                {
                    SubClass mSubClass = new SubClass();
                    mSubClass.method1();
                }
            }

            subclass method1
            superclass method1
            subclass method2
            superclass method3
            subclass method4
            subclass method5