Vai jūs varētu izskaidrot, ko nozīmē tips programmēšanā?

Tipa apgalvojums (type assertion) programmēšanā, īpaši Go valodā, ir veids, kā iegūt konkrēta tipa vērtību no interfeisa tipa.

Go valodā, interfeisa tipa mainīgie var saturēt jebkāda veida vērtības, un tipa apgalvojums ļauj pārbaudīt un izvilkt konkrētu tipu no interfeisa.

Piemērs:

var i interface{} = "sveiki"

s, ok := i.(string) // s būs "sveiki", ok — true

ja ok {
    fmt.Println(s) // izvada: sveiki
} citādi {
    fmt.Println("i nesatur string")
}

Ja tipa apgalvojums neizdodas un netiek izmantots otrais parametrs ok, notiek panika. Tādēļ bieži izmanto formu ar divām atgriešanas vērtībām drošai pārbaudei.