Когда происходит перегрузка при использовании инлайн-функций?

Перегрузка инлайн-функций (inline functions) в Kotlin не происходит в традиционном смысле полиморфизма времени выполнения. Инлайн-функция встраивается в место вызова во время компиляции. Поэтому, когда мы говорим о "перегрузке" применительно к инлайн-функциям, мы чаще имеем в виду возможность компилятора генерировать несколько версий встраиваемого кода для различных контекстов вызова, особенно при использовании дженериков.

Ключевые моменты:

• Специализация во время компиляции: Для инлайн-функций с дженериками (reified) компилятор генерирует специализированные версии кода для каждого конкретного типа, подставленного вместо типового параметра. Это происходит во время компиляции, а не выполнения.
• Избегание дополнительного оверхеда: Цель инлайнинга — устранить накладные расходы на вызов функции. Специализация для дженериков позволяет избежать упаковки примитивных типов и других накладных расходов, связанных с стиранием типов в Java.
• Не полиморфизм: Это не классический полиморфизм, где переопределенный метод вызывается в зависимости от фактического типа объекта во время выполнения. Здесь выбор "версии" функции происходит на этапе компиляции.

Пример использования reified с инлайн-функцией:

inline fun <reified T> printType(value: T) {
    // Компилятор будет генерировать отдельный код для каждого T (Int, String, etc.)
    println("Type is: ${T::class.java.name}")
}

fun main() {
    printType(123) // Генерируется код для T = Int
    printType("Hello") // Генерируется код для T = String
}

В данном случае, хотя синтаксически мы вызываем одну функцию printType, компилятор генерирует две различные версии встроенного кода: одну для Int и одну для String. Это можно рассматривать как форму "перегрузки" или, точнее, специализации времени компиляции, которая происходит благодаря механизму инлайнинга, а не полиморфизму времени выполнения.