Java Compile time non polymorphism

Question

В приведенном ниже коде я получаю ошибку компилятора в b.printname() ;. Насколько я понимаю, ошибка связана с тем, что компилятор эффективно работает не полиморфным образом (т. Е. Компилятор по существу только выбирает смотреть на левую часть операнда и, следовательно, b является Вопросом). Так как b имеет тип Question, и поскольку у вопроса не существует метода noN args printName, вы получаете ошибку компиляции. Это верно? Теперь, полагая, что это правильно, мой вопрос - почему? Разумеется, компилятор должен знать, что вопрос b относится к объекту, который фактически поддерживает метод no-args printName? Например. если вы посмотрите, как работает компилятор с точки зрения кастинга, есть примеры, когда компилятор, из-за отсутствия лучшего слова, действует полиморфно или, говоря иначе, компилятор знает, что происходит с точки зрения правой стороны операнд и действует на это знание. Например, если тип интерфейса относится к объекту, который реализует интерфейс, то компилятор просматривает правую часть инструкции (т. Е. Объект, реализующий интерфейс), и решает, что никакого приведения не требуется. Итак, почему компилятор не действует таким образом, почему он не выглядит и не видит, что рассматриваемый объект на самом деле является синим, а синий действительно поддерживает метод no-arg метода printName?

public class Polymorf3 { 



    public static void main(String[] args){ 
     Polymorf3 me = new Polymorf3(); 
     me.doStuff(); 
    } 

    public void doStuff() { 
     Bat a = new Bat(); 
     Question b = new Blue(); 
     //a.printName(); 
     a.printName(a.name); 
     b.printName(); // Compiler Error:Required String Found no args 
    } 
    abstract class Question { 
     String name="Question_name"; 
      public void printName(String name){ System.out.println(name);} 
    } 
    class Bat extends Question { 
     String name = "Bat_Bruce"; 
     //public void printName(){ System.out.println(name);} 

    } 
    class Blue extends Question { 
     String name = "Clark"; 
     public void printName() {System.out.println(name);} 
    } 
} 

Answer 1

Хотя b имеет тип Blue, так как вы объявили его в качестве Question b = new Blue();, компилятор рассматривает его как тип Question, и, таким образом, что это единственный интерфейс, доступный для него без явного приведения:

((Blue)b).printName(); 

Кроме того, вы можете объявить его как Blue b = new Blue();, а b.printName(); не будет вызывать ошибку времени компиляции.

По сути то, что здесь происходит, что вы Заявляя новую переменную b на более высоком уровне абстракции, так что единственный printName метод, доступный b является один в более высоком уровне абстракции, то один с арг.

Edit:

OP спросил, почему компилятор обрабатывает b как Question даже если он инициализируется как Blue. Рассмотрим следующий пример:

Question q = new Blue(); 
// ... some other code... 
q = new Bat(); // Valid!! 
q.printName("some string"); 

Теперь рассмотрим, что завтра какой-то другой разработчик приходит и меняет его на следующее:

Blue q = new Blue(); 
// ... some other code... 
q = new Bat(); // Invalid!! Compiler error 
q.printName("some string"); 

Объявление переменной на самом высоком уровне абстракции, необходимой для вашей работы означает, что вы могут более позднее изменить реализацию более легко и без ущерба для всего остального вашего кода. Таким образом, должно быть понятно, почему компилятор Java обрабатывает b как Question. Это потому, что b может в любое время, становится экземпляром Blue или Bat, поэтому рассматривать его как осуществление (Blue или Bat) нарушил бы контракт интерфейса Question, позволяя какой-либо другой не-Arg getName метода.

Answer 2

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

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