შეგიძლიათ ახსნათ, რა იგულისხმება ტიპში პროგრამირებაში?

პროგრამირებაში, განსაკუთრებით Go-ში, ტიპის დადასტურება (type assertion) არის მეთოდი, რომ მიიღოთ კონკრეტული ტიპის მნიშვნელობა ინტერფეისის ტიპიდან.

Go-ში, ინტერფეისის ტიპის ცვლადები შეიძლება შეიცავდეს ნებისმიერი ტიპის მნიშვნელობას, და ტიპის დადასტურება საშუალებას აძლევს გადაამოწმოთ და გამოიტანოთ კონკრეტული ტიპი ინტერფეისიდან.

მაგალითი:

var i interface{} = "გამარჯობა"

s, ok := i.(string) // s იქნება "გამარჯობა", ok — true

თუ ok {
    fmt.Println(s) // გამოიტანს: გამარჯობა
} სხვა {
    fmt.Println("i არ შეიცავს string-ს")
}

თუ ტიპის დადასტურება ვერ მოხერხდა და მეორე პარამეტრი ok არ გამოიყენება, მოხდება პანიკა. ამიტომ ხშირად იყენებენ ფორმას, სადაც ორი დაბრუნებული მნიშვნელობაა, უსაფრთხო შემოწმებისთვის.