enhorse
diff --git a/‎oop.md‎
Lines changed: 44 additions & 3 deletions b/‎oop.md‎
Lines changed: 44 additions & 3 deletions
@@ -410,11 +410,52 @@ class Car {
 [к оглавлению](#ООП)
 
 ## Что такое _статическое_ и _динамическое связывание_?
-Присоединение вызова метода к телу метода называется связыванием. Если связывание проводится компилятором (компоновщиком) перед запуском программы, то оно называется _статическим_ или _ранним связыванием (early binding)_.
 
-В свою очередь, _позднее связывание (late binding)_ это связывание, проводимое непосредственно во время выполнения программы, в зависимости от типа объекта. Позднее связывание также называют _динамическим (dynamic)_ или _связыванием на стадии выполнения (runtime binding)_. В языках, реализующих позднее связывание, должен существовать механизм определения фактического типа объекта во время работы программы, для вызова подходящего метода. Иначе говоря, компилятор не знает тип объекта, но механизм вызова методов определяет его и вызывает соответствующее тело метода. Механизм позднего связывания зависит от конкретного языка, но нетрудно предположить, что для его реализации в объекты должна включаться какая-то дополнительная информация.
+_Связывание (binding)_ - это сопоставление вызванного метода с конкретной реализацией (участком памяти), которая будет исполнена.
 
-Для всех методов Java используется механизм позднего (динамического) связывания, если только метод не был объявлен как `final`, `static` или `private` (приватные методы являются `final` по умолчанию).
+_Early binding (static/compile-time)_ - связывание происходит на этапе компиляции. Компилятор может точно определить, какой метод вызвать по типу переменной, т.е. по типу ссылки на объект. Используется в следующих случаях:
+
+- вызов `static`, `private` или `final` метода
+- вызов переопределенного (overloaded) метода
+- обращение к полю объекта
+
+```java
+class Animal {
+    static void staticMethod() { System.out.println("Animal static"); }
+    private void privateMethod() { System.out.println("Animal private"); }
+    final void finalMethod() { System.out.println("Animal final"); }
+    void say(int a) { System.out.println("Animal says " + a); }
+    void say(String s) { System.out.println("Animal says " + s); }
+}
+
+class Dog extends Animal {
+    static void staticMethod() { System.out.println("Dog static"); }
+}
+
+Animal a = new Dog();
+a.staticMethod(); // "Animal static"
+a.say("hello"); // "Animal says hello" - compiler chose the implementation
+```
+
+_Late binding (dynamic/runtime)_ - связывание происходит во время выполнения программы по типу объекта, а не по типу ссылки. Данный вид связывания используется при вызове переопределенных (overridden) методов. Late binding обеспечивает полиморфизм.
+
+```java
+class Animal {
+    void sound() { System.out.println("Some sound"); }
+}
+
+class Dog extends Animal {
+    @Override
+    void sound() { System.out.println("Woof"); }
+}
+
+Animal a = new Dog();
+a.sound(); // "Woof"
+```
+
+Вызов методов при late binding происходит через vtable (virtual method table). _vtable_ - это таблица указателей на реализации методов, которую JVM создает для каждого класса на этапе компиляции. Обращение происходит по индексу к таблице класса объекта, на котором был вызван метод.
+
+Важно: vtable не является частью спецификации JVM, это конкретная реализация динамической диспетчеризации (dynamic dispatch) в большинстве JVM.
 
 [к оглавлению](#ООП)