Почему различный дизайн для динамического привязки и вызова метода child only из родительского класса?

Question

Я знаю, что в случае переопределения методов Java следует динамическому связыванию. Но если мы вызываем только дочерний метод из родительской ссылочной переменной, относящейся к дочернему объекту, мы получили ошибку компиляции.
Почему java следует этому дизайну (то есть почему нет динамического связывания во втором случае)?

class A{ 
    public void sayHi(){ "Hi from A"; } 
} 


class B extends A{ 
    public void sayHi(){ "Hi from B"; 
    public void sayGoodBye(){ "Bye from B"; } 
} 


main(){ 
    A a = new B(); 

    //Works because the sayHi() method is declared in A and overridden in B. In this case 
    //the B version will execute, but it can be called even if the variable is declared to 
    //be type 'A' because sayHi() is part of type A's API and all subTypes will have 
    //that method 
    a.sayHi(); 

    //Compile error because 'a' is declared to be of type 'A' which doesn't have the 
    //sayGoodBye method as part of its API 
    a.sayGoodBye(); 

    // Works as long as the object pointed to by the a variable is an instanceof B. This is 
    // because the cast explicitly tells the compiler it is a 'B' instance 
    ((B)a).sayGoodBye(); 

} 

Answer 1

Перед динамической отправкой вызова метода может прийти в действие, то код должен пройти через компилятор. Когда вы вызываете метод с использованием ссылки класса C, компилятор ищет объявление этого метода в этом классе C. Компилятор только беспокоится о том, какой тип ссылки он имеет. Он может только проверять вызов метода на эту большую информацию. Если он не может найти метод в классе C, он даст вам ошибку компилятора.

Таким образом, для вызова:

a.sayGoodBye(); 

Поскольку a является ссылкой класса A, компилятор будет искать метод в классе A, и если он не может найти, это даст ошибку компилятора.

Answer 2

Bis aA, но Ais not necessarilyB. Таким образом, метод B не может быть вызван на A ссылка

Answer 3

Думайте так: когда B расширяет A; это означает

B = <All non-private stuff of A> + Its own stuff 

Это означает, что B имеет все привилегии использовать материал из A. (его, как становится подмножеством B)

But A никогда не знал о Б здесь и то, что B содержит; поэтому он не может использовать материал B. Если каким-то образом нужно заставить A вести себя как B (мы используем cast), и так как здесь A is not B; кастинг будет неработоспособным во время выполнения.

Чтобы узнать больше о кастинге Java, пожалуйста, прочитайте This thread