Smart cast oznacza, że kompilator traktuje zmienną jako bardziej konkretny typ po sprawdzeniu typu (`is`) lub null (`!= null`). Działa, gdy wartość jest stabilna (np. lokalny `val`). Często nie działa dla mutowalnych `var`, open properties albo wartości, które mogą się zmieniać przez custom getter lub współbieżność. Rozwiązanie: przypisz do lokalnego `val` albo użyj jawnego castu (gdy to bezpieczne).
Odpowiedź zaawansowana
Głębiej
Rozwinięcie krótkiej odpowiedzi — co zwykle ma znaczenie w praktyce:
JVM: pamięć (heap/stack), GC i co wpływa na latency.
Kontrakty: equals/hashCode/toString, mutowalność i konsekwencje.
Wydajność: boxing, alokacje, kolekcje, inlining.
Wytłumacz "dlaczego", nie tylko "co" (intuicja + konsekwencje).
Trade-offy: co zyskujesz i co tracisz (czas, pamięć, złożoność, ryzyko).
Edge-case’y: puste dane, duże dane, błędne dane, współbieżność.
Przykłady
Krótki przykład (szablon do wyjaśniania):
// Example: discuss trade-offs for "smart-cast-w-kotlinie:-kiedy-działa,-a-kiedy-nie"
function explain() {
// Start from the core idea:
// Smart cast oznacza, że kompilator traktuje zmienną jako bardziej konkretny typ po sprawdze
}
Typowe pułapki
Zbyt ogólna odpowiedź (brak konkretów, brak przykładów).
Brak rozróżnienia między "średnio" a "najgorzej" (np. złożoność).