Tudná magyarázni, hogy mit értünk típus alatt a programozásban?

A típusállítás (type assertion) a programozásban, különösen Go nyelven, egy módja annak, hogy egy interfész típusú értékből egy adott típus értékét nyerjük ki.

Go-ban az interfész típusú változók bármilyen típusú értéket tartalmazhatnak, és a típusállítás lehetővé teszi, hogy ellenőrizzük és kinyerjük az adott típus értékét az interfészből.

Példa:

var i interface{} = "szia"

s, ok := i.(string) // s "szia" lesz, ok — true

if ok {
    fmt.Println(s) // kiírja: szia
} else {
    fmt.Println("az i nem tartalmaz stringet")
}

Ha a típusállítás nem sikerül, és nem használjuk a második paramétert ok, akkor pánik lép fel. Ezért gyakran használják a két visszatérési értékkel rendelkező formát biztonságos ellenőrzéshez.