Tudsz példákat mondani olyan helyzetekre, amikor típus-állítást (Type Assertion) használnak egy programozási nyelvben?

Go nyelvben a típus-állítás (Type Assertion) arra szolgál, hogy egy interfész értékéből konkrét típushoz jussunk. Ez akkor hasznos, ha van egy interface{} típusú változónk, és tudjuk, hogy belül egy adott típus található, amivel dolgozni szeretnénk.

Használati példák:

• Konkrét típus kinyerése egy interfészből, hogy speciális metódusokat hívjunk meg.
• Visszatérő értékek kezelése olyan függvényekből, amelyek interfészt adnak vissza.
• Olyan helyzetekben, amikor ellenőrizni kell, hogy egy változó egy adott típust valósít-e meg, és ennek megfelelően végrehajtani a logikát.

Kódrészlet példa:

var i interface{} = "szia"

// Típus-állítás ellenőrzéssel
s, ok := i.(string)
if ok {
    fmt.Println("Szöveg:", s)
} else {
    fmt.Println("Nem szöveg")
}

Típus-állítás ellenőrzés nélkül, ha a típus nem egyezik, a program pánikba esik.