Правильно ли я понял как работает вызов метода из ссылки типа родительского класса?

Question

[Али Картоев]

Когда вызывается метод из ссылки типа родительского класса, то компилятор проверяет сначала описан ли такой метод в типе ссылочной переменной, а затем проверяет есть ли такой метод в объекте на который ссылается переменная. Если в объекте метод переопределен, то вызывается именно этот метод, если нет, то метод описанный в типе ссылочной переменной. Верно?

Answer 1

[Evhen]

Это определяет не компилятором, а в рантайме. Это называется динамическое связывание

Comments

[Али Картоев]

Понятно, а если вызывается метод из ссылки типа родительского класса, которого в этом классе нет, но есть в объекте на который ссылается переменная, то будет ошибка во время компиляции?

[pi314]

Али Картоев: Именно так! Вот это как раз определяется компилятором и называется статическое связывание :)

[Али Картоев]

pi314: Понял, спасибо.