Как работает механизм dispatch для extension functions в Kotlin, и как статическое разрешение влияет на полиморфное поведение?

Question

Accepted Answer

## Core Concept

Функции-расширения в Kotlin разрешаются **статически** на этапе компиляции, то есть выбор функции зависит от **объявленного типа** receiver'а, а не от его типа во время выполнения.

## Why This Matters

В отличие от обычных методов класса (которые используют **dynamic dispatch**), функции-расширения *не* поддерживают полиморфизм. Компилятор решает, какую функцию-расширение вызвать, исходя из объявленного типа переменной — даже если реальный объект во время выполнения является подтипом.

## Example

```kotlin
open class Base
class Derived : Base()

fun Base.greet() = "Base"
fun Derived.greet() = "Derived"

fun printGreeting(b: Base) = println(b.greet())

printGreeting(Derived()) // prints "Base", not "Derived"
```

Даже если передан экземпляр `Derived`, параметр `b` объявлен как `Base`, поэтому вызывается `Base.greet()`.

## Key Takeaways

- Функции-расширения разрешаются **на этапе компиляции** — проверка типа во время выполнения не происходит
- Они *не могут* переопределять друг друга, как это делают члены класса
- Если **метод класса** и **функция-расширение** имеют одну и ту же сигнатуру, метод класса всегда имеет приоритет
- Используй функции-расширения для вспомогательной логики, *не* для полиморфных паттернов проектирования

Как работает механизм dispatch для extension functions в Kotlin, и как статическое разрешение влияет на полиморфное поведение?

Ответ

Core Concept

Why This Matters

Example

Key Takeaways

Проверочные вопросы

Помогите улучшить этот вопрос

Обсуждение