Bagaimanakah Saya Boleh Mengekang Jenis Generik dalam Go untuk Memastikan Kehadiran Medan Tertentu?

Kekangan Jenis Generik untuk Kehadiran Medan

Soalan

Pembangun sering menghadapi keperluan untuk mentakrifkan fungsi generik dalam Go yang menerima nilai yang mempunyai medan tertentu. Contoh lazim ialah keperluan untuk mengakses medan bernama ID dengan jenis integer. Walaupun terdapat percubaan, kekangan generik nampaknya sukar difahami.

Jawapan

Malangnya, tanpa mentakrifkan medan dalam antara muka, menguatkuasakan kekangan sedemikian dalam Go tidak dapat dilaksanakan. Tidak seperti beberapa cadangan, pelaksanaan semasa tidak menyokong jenis struktur dalam generik.

Kekangan Antara Muka

Menguatkuasakan kehadiran medan memerlukan definisi medan dalam antara muka. Antara muka ini akan berfungsi sebagai kekangan jenis, memastikan bahawa mana-mana jenis yang dihantar kepada fungsi generik mempunyai medan yang diperlukan:

type IDer interface {
    ID int
}

Sifat Boleh Akses

Untuk mengakses medan terhad dalam fungsi generik, jenis yang diluluskan mesti memenuhi kekangan antara muka. Pendekatan ini menyediakan mekanisme untuk memastikan kehadiran dan kebolehcapaian medan yang dikehendaki:

func Print[T IDer](s T) {
    fmt.Print(s.ID)
}

Keterbatasan

Adalah penting untuk ambil perhatian bahawa pendekatan ini tidak menyediakan sokongan untuk mengakses medan dengan struktur separa jenis. Walau bagaimanapun, keluaran masa hadapan mungkin menangani had ini.

Kesimpulan

Menguatkuasakan kehadiran medan tertentu dalam fungsi generik memerlukan takrifan kaedah yang sepadan dalam antara muka. Kekangan ini memastikan jenis yang dihantar kepada fungsi mempunyai medan yang diperlukan untuk manipulasi.

Atas ialah kandungan terperinci Bagaimanakah Saya Boleh Mengekang Jenis Generik dalam Go untuk Memastikan Kehadiran Medan Tertentu?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!