Môžeš uviesť príklady situácií, v ktorých sa v programovacom jazyku používa priraďovanie typu (Type Assertion)?

V jazyku Go sa použitie tvrdenia o type (Type Assertion) na získanie konkrétneho typu z hodnoty rozhrania. To je užitočné, keď máte premennú typu interface{}, a viete, že vo vnútri je konkrétny typ, s ktorým chcete pracovať.

Príklady použitia:

• Získanie konkrétneho typu z rozhrania na volanie špecifických metód.
• Spracovanie hodnôt, ktoré vracajú funkcie, ktoré vracajú rozhranie.
• V situáciách, keď je potrebné overiť, či premenná implementuje určitý typ, a vykonať príslušnú logiku.

Príklad kódu:

var i interface{} = "ahoj"

// Tvrdenie o type s kontrolou
s, ok := i.(string)
if ok {
    fmt.Println("Reťazec:", s)
} else {
    fmt.Println("Nie je reťazec")
}

Ak vykonáte tvrdenie bez kontroly a typ sa nezhoduje, program spôsobí panic.