Odpowiedź.

Funkcje rozszerzające (extension functions) — jedna z kluczowych różnic Kotlinu w porównaniu do Javy, po raz pierwszy pojawiła się od pierwszych wersji języka pod wpływem C#. Pozwalają na dodawanie nowych metod do istniejących klas bez konieczności dziedziczenia czy modyfikacji pierwotnej klasy. To znacznie zwiększa ekspresyjność i zwięzłość kodu.

Historia pytania

W Javie i wielu innych językach, nie ma możliwości dodawania metod do już istniejącej klasy (np. String czy List) bez użycia dziedziczenia lub wzorca Decorator. Kotlin rozwiązuje ten problem za pomocą mechanizmu funkcji rozszerzających.

Problem

Wiele klas biblioteki (np. String, Int, List) nie można zmieniać bezpośrednio. Często wymagane są dodatkowe metody, aby uczynić kod bardziej czytelnym i uniknąć dublowania logiki. Jednak funkcje rozszerzające nie zmieniają rzeczywistej klasy — są tworzone statycznie i nie mają dostępu do prywatnych/chronionych członów.

Rozwiązanie

W Kotlinie, deklaracja funkcji rozszerzającej wygląda tak:

fun String.lastChar(): Char = this[this.length - 1]

Teraz można wywołać tę metodę na dowolnym Stringu:

"Kotlin".lastChar() // zwróci 'n'

Kluczowe cechy:

Funkcje rozszerzające nie modyfikują klasy, lecz są realizowane jako funkcje statyczne, które przyjmują jako pierwszy argument receiver.
Nie ma dostępu do prywatnych/chronionych członów klasy — tylko do publicznego API.
Funkcje rozszerzające podlegają zwykłym zasadom widoczności i mogą być top-level lub wewnątrz companion object itp.

Pytania z podstępem.

Czy funkcję rozszerzającą można nadpisać w klasie pochodnej?

Nie. Funkcje rozszerzające nie są członami klasy, nie można ich nadpisywać za pomocą override: ich statyczność objawia się nawet dla potomków — kompilator wybiera funkcję na podstawie typu wyrażenia, a nie rzeczywistego typu obiektu.

open class Base
class Derived : Base()

fun Base.foo() = "base"
fun Derived.foo() = "derived"

fun printFoo(b: Base) {
    println(b.foo())
}

val d = Derived()
printFoo(d) // wyświetli "base"

Czy funkcje rozszerzające mogą zmieniać stan obiektu?

Funkcje rozszerzające nie mogą uzyskać dostępu do prywatnego/chronionego stanu, jednak jeśli typ jest mutable (np. List lub własna klasa), mogą zmieniać dostępny zewnętrzny stan przez metody publiczne.

fun MutableList<Int>.addTwice(elem: Int) {
    add(elem)
    add(elem)
}

Czy funkcje rozszerzające kolidują z członami klasy o tej samej nazwie?

Jeżeli nazwa funkcji rozszerzającej pokrywa się z nazwą rzeczywistej metody, priorytet ma człon klasy. Funkcja rozszerzająca zostanie wywołana tylko wtedy, gdy człony są nieobecne lub niewidoczne.

class Foo {
    fun bar() = "member"
}

fun Foo.bar() = "extension"

val f = Foo()
println(f.bar()) // "member"

Typowe błędy i antywzorce

Określenie funkcji rozszerzających z "ważną" logiką — to może wprowadzać w błąd: niektórzy programiści nie oczekują, że standardowe typy zawierają nowe metody.
Próby dostępu do prywatnych członów będą prowadzić do błędu kompilacji.
Nadużywanie funkcji rozszerzających do komplikacji czytelności i utrzymania kodu.

Przykład z życia

Negatywny przypadek

Programista rozszerza standardowy String funkcją, która ustawia specyficzny dla projektu format, i używa jej wszędzie — podczas gdy inni programiści nie zauważają, że to nie standardowa operacja klasy String.

Zalety:

Szybkie wprowadzenie potrzebnej funkcji.

Wady:

Ukryta niejawna logika.
Trudności w utrzymaniu.
Nieoczywiste skutki uboczne przy czytaniu cudzej logiki.

Pozytywny przypadek

Rozszerzenie standardowej klasy metodą narzędziową, która jest dokładnie zlokalizowana w pakiecie utils i dobrze udokumentowana. Użycie jest ograniczone do wyraźnie określonych fragmentów kodu.