Quando ocorre uma sobrecarga ao usar funções inline?

A sobrecarga de funções inline (funções inline) em Kotlin não ocorre no sentido tradicional de polimorfismo em tempo de execução. Uma função inline é inserida no local da chamada durante a compilação. Portanto, quando falamos de "sobrecarga" em relação às funções inline, geralmente nos referimos à capacidade do compilador de gerar várias versões do código inserido para diferentes contextos de chamada, especialmente ao usar genéricos.

Pontos principais:

• Especialização em tempo de compilação: Para funções inline com genéricos (reified), o compilador gera versões especializadas do código para cada tipo específico substituído no parâmetro de tipo. Isso acontece na compilação, não na execução.
• Evitar sobrecarga adicional: O objetivo do inline é eliminar os custos associados à chamada da função. A especialização para genéricos permite evitar o empacotamento de tipos primitivos e outros custos associados à eliminação de tipos em Java.
• Não é polimorfismo: Isso não é polimorfismo clássico, onde um método sobrescrito é chamado dependendo do tipo real do objeto em tempo de execução. Aqui, a escolha da "versão" da função ocorre na compilação.

Exemplo de uso de reified com função inline:

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

fun main() {
    printType(123) // Código gerado para T = Int
    printType("Olá") // Código gerado para T = String
}

Neste caso, embora sintaticamente chamemos uma única função printType, o compilador gera duas versões diferentes do código inserido: uma para Int e outra para String. Isso pode ser considerado uma forma de "sobrecarga" ou, mais precisamente, especialização em tempo de compilação, que ocorre graças ao mecanismo de inlining, e não ao polimorfismo em tempo de execução.