¿Cuándo ocurre una sobrecarga al usar funciones en línea?

La sobrecarga de funciones en línea (funciones inline) en Kotlin no ocurre en el sentido tradicional del polimorfismo en tiempo de ejecución. Una función en línea se inserta en el lugar de la llamada durante la compilación. Por lo tanto, cuando hablamos de "sobrecarga" en relación con funciones en línea, generalmente nos referimos a la capacidad del compilador para generar varias versiones del código insertado para diferentes contextos de llamada, especialmente al usar genéricos.

Puntos clave:

• Especialización en tiempo de compilación: Para funciones en línea con genéricos (reified), el compilador genera versiones especializadas del código para cada tipo específico reemplazado en el parámetro de tipo. Esto sucede en tiempo de compilación, no en tiempo de ejecución.
• Evitar sobrecarga adicional: El objetivo de la inserción en línea es eliminar los costos asociados con la llamada a la función. La especialización para genéricos permite evitar el empaquetamiento de tipos primitivos y otros costos asociados con la eliminación de tipos en Java.
• No es polimorfismo: Esto no es polimorfismo clásico, donde un método sobrescrito se llama dependiendo del tipo real del objeto en tiempo de ejecución. Aquí, la elección de la "versión" de la función ocurre en tiempo de compilación.

Ejemplo de uso de reified con función en línea:

inline fun <reified T> printType(value: T) {
    // El compilador generará código separado para cada T (Int, String, etc.)
    println("El tipo es: ${T::class.java.name}")
}

fun main() {
    printType(123) // Se genera código para T = Int
    printType("Hola") // Se genera código para T = String
}

En este caso, aunque sintácticamente llamamos a una sola función printType, el compilador genera dos versiones diferentes del código insertado: una para Int y otra para String. Esto puede considerarse una forma de "sobrecarga" o, más precisamente, especialización en tiempo de compilación, que ocurre gracias al mecanismo de inserción en línea, y no al polimorfismo en tiempo de ejecución.