Apakah jenis penegasan dalam bahasa Go?

Bahasa Go ialah bahasa pengaturcaraan yang ditaip secara statik Penegasan jenis (Type Assertion) ialah salah satu cara untuk menentukan jenis nilai tertentu yang disimpan dalam pembolehubah antara muka dalam atur cara. Dalam bahasa Go, pembolehubah antara muka boleh menyimpan sebarang jenis nilai, tetapi maklumat jenis yang disimpan dalam pembolehubah antara muka adalah terhad, dan semua jenis operasi tidak boleh dilakukan pada pembolehubah antara muka. Oleh itu, dalam aplikasi sebenar, kita perlu menilai dan menukar jenis nilai khusus yang disimpan dalam pembolehubah antara muka. Inilah yang dilakukan oleh penegasan jenis.

Jenis penegasan dalam bahasa Go terdapat dalam dua bentuk: penegasan jenis nilai dan penegasan jenis penunjuk. Penegasan jenis nilai dan penegasan jenis penunjuk mempunyai cara yang sedikit berbeza untuk menilai dan menukar jenis nilai pembolehubah antara muka.

Penegasan jenis nilai:

Format sintaks penegasan jenis nilai adalah seperti berikut:

x.(T)

Di mana, x ialah pembolehubah jenis antara muka, dan T mewakili jenis tertentu . Penegasan jenis ini adalah benar jika x menyimpan nilai jenis T, dan palsu sebaliknya.

Hasil penegasan jenis mempunyai dua nilai Nilai pertama ialah nilai selepas x ditukar kepada jenis T. Nilai kedua ialah nilai Boolean yang menunjukkan sama ada hasil penegasan jenis ini adalah benar. Pelaksanaan kod khusus adalah seperti berikut:

var x interface{}
x = "hello"

s, ok := x.(string)
if ok {
    fmt.Printf("x 类型为 string，值为 %s。
", s)
} else {
    fmt.Printf("x 不是 string 类型。
")
}

Dalam kod di atas, pembolehubah jenis antara muka kosong x pertama kali ditakrifkan dan rentetan "hello" diberikan kepada pembolehubah x. Pernyataan penegasan jenis nilai x.(rentetan) cuba menukar pembolehubah x kepada jenis rentetan, s mewakili rentetan yang ditukar dan ok mewakili sama ada penegasan jenis berjaya. Jika ok adalah benar, ini bermakna jenis nilai yang disimpan dalam x ialah jenis rentetan, dan kita boleh mengeluarkan rentetan s yang ditukar. Jika ok adalah palsu, ini bermakna x bukan jenis rentetan, dan maklumat segera yang sepadan boleh dikeluarkan.

Penegasan jenis penuding:

Format sintaks penegasan jenis penuding adalah serupa dengan penegasan jenis nilai, kecuali penuding perlu dimanipulasi semasa menegaskan.

x.(*T)

Di mana, *T mewakili jenis penunjuk jenis T. Penegasan jenis ini adalah benar jika nilai yang disimpan dalam x adalah jenis penunjuk T, dan palsu sebaliknya.

Seperti penegasan jenis nilai, penegasan jenis penunjuk juga mempunyai dua nilai Nilai pertama ialah nilai selepas x ditukar menjadi penunjuk jenis T hasilnya benar. Pelaksanaan kod khusus adalah seperti berikut:

type Foo struct {
    bar string
}

func main() {
    var i interface{} = &Foo{"hello"}

    f, ok := i.(*Foo)
    if ok {
        fmt.Printf("i 是指针类型，指向 Foo 类型的变量，f.bar 的值为 %s。
", f.bar)
    } else {
        fmt.Printf("类型断言失败。
")
    }
}

Dalam kod di atas, struktur jenis Foo ditakrifkan, pembolehubah antara muka kosong i ditakrifkan dalam fungsi utama, dan struktur yang menunjuk kepada jenis Foo ditakrifkan penunjuk diberikan kepada pembolehubah i. Penegasan jenis penunjuk x.(*Foo) cuba menukar pembolehubah x kepada jenis penuding yang menunjuk kepada struktur jenis Foo, f mewakili penuding yang ditukar dan ok mewakili sama ada penegasan jenis itu berjaya. Jika ok adalah benar, ini bermakna jenis nilai yang disimpan dalam x ialah jenis penuding yang menunjuk kepada struktur jenis Foo, dan kita boleh mengeluarkan nilai medan dalam struktur yang ditunjuk oleh penuding. Jika ok adalah palsu, ini bermakna x bukan jenis penuding yang menunjuk kepada struktur jenis Foo, dan maklumat segera yang sepadan boleh dikeluarkan.

Ringkasan:

Jenis penegasan ialah kaedah yang biasa digunakan dalam bahasa Go untuk mengendalikan pembolehubah antara muka boleh menentukan jenis yang disimpan dalam pembolehubah antara muka dan kemudian membuat perubahan yang sepadan dengannya. Terdapat dua bentuk penegasan jenis dalam bahasa Go, penegasan jenis nilai dan penegasan jenis penunjuk. Apabila menggunakan penegasan jenis, anda perlu memberi perhatian kepada pengendalian ralat untuk mengelakkan ralat masa jalan.

Atas ialah kandungan terperinci Apakah jenis penegasan dalam bahasa Go?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!