Dasturlashda tur nima ekanligini tushuntirib berolasizmi?

Dasturda, ayniqsa Go tilida, tur ta'rifi (type assertion) — bu interfeýs turidan aniq tur qiymatini olish usulidir.

Go'da, interfeýs turidagi o'zgaruvchilar har qanday turdagi qiymatlarni saqlay oladi, va tur ta'rifi interfeýsdan aniq turni tekshirish va chiqarib olish imkonini beradi.

Misol:

var i interface{} = "salom"

s, ok := i.(string) // s "salom" bo'ladi, ok — true

if ok {
    fmt.Println(s) // chiqaradi: salom
} else {
    fmt.Println("i string emas")
}

Agar tur ta'rifi muvaffaqiyatsiz bo'lsa va ikkinchi parametr ok ishlatilmasa, panik yuzaga keladi. Shuning uchun, xavfsiz tekshirish uchun odatda ikki qiymat bilan ishlatiladigan shakl qo'llaniladi.