Bagaimana untuk Mengulangi Kesatuan Kepingan dalam Fungsi Generik Go?

Lelaran Melalui Kesatuan Keratan dalam Fungsi Generik

Generik dalam Go membolehkan fungsi beroperasi pada pelbagai jenis, membolehkan penggunaan semula kod dan jenis keselamatan. Walau bagaimanapun, apabila bekerja dengan hirisan jenis elemen yang berbeza, mungkin terdapat cabaran semasa mengulanginya dalam fungsi generik.

Pertimbangkan contoh berikut yang bertujuan untuk meringkaskan unsur hirisan, yang berpotensi mengandungi sama ada integer atau terapung:

package main

import "fmt"

// NumberSlice constraint
type NumberSlice interface {
    []int64 | []float64
}

func add[N NumberSlice](n N) {
    // want: to range over n and print value of v
    for _, v := range n {
        fmt.Println(v)
    }
}

func main() {
    ints := []int64{1, 2}
    add(ints)
}

Apabila menjalankan kod ini, ralat berikut berlaku:

cannot range over n (variable of type N constrained by NumberSlice) (N has no core type)

Isunya terletak dalam kekurangan "jenis teras" untuk kekangan antara muka NumberSlice. Jenis teras mewakili satu jenis asas yang dikongsi oleh semua jenis dalam set jenis antara muka. Memandangkan NumberSlice merangkumi kedua-dua []int64 dan []float64, ia tidak mempunyai jenis teras.

Untuk menyelesaikan isu ini, terdapat beberapa pendekatan:

1. Kuatkuasakan Jenis Pangkalan Biasa:
   Ubah suai kekangan antara muka untuk menentukan jenis asas dan tetapkan jenis kepingan dalam tandatangan fungsi:

   type Number interface {
       int64 | float64
   }
   
   func add[N Number](n []N) {
       for _, v := range n {
           fmt.Println(v)
       }
   }

2. Gunakan Generik dengan Penaipan Eksplisit:
   Isytiharkan jenis kepingan generik yang menentukan jenis elemen dan gunakan penaipan eksplisit untuk menunjukkan elemen yang dikehendaki jenis:

   type NumberSlice[N int64 | float64] interface {
       ~[]N // indicates a core type of []N
   }
   
   func add[S NumberSlice[N], N int64 | float64](n S) {
       for _, v := range n {
           fmt.Println(v)
       }
   }

Dengan menyatakan jenis teras, pengkompil boleh membuat kesimpulan kelakuan lelaran yang sesuai, membolehkan operasi lelaran yang diingini ke atas kepingan dalam fungsi generik.

Atas ialah kandungan terperinci Bagaimana untuk Mengulangi Kesatuan Kepingan dalam Fungsi Generik Go?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!