Bagaimanakah generik Golang mempengaruhi inferens jenis fungsi?

Go generik menukar inferens jenis fungsi dengan memperkenalkan parameterisasi jenis: Jenis parameter: []A, dengan A ialah parameter jenis sebenar yang memenuhi antara muka nombor dan direalisasikan pada masa panggilan. Jenis nilai pulangan: Sama seperti jenis parameter, disimpulkan sebagai A.

Bagaimana Go generik mempengaruhi inferens jenis fungsi

Generik dalam bahasa Go memperkenalkan mekanisme inferens jenis baharu yang mempengaruhi cara inferens jenis fungsi dilakukan. Memahami perubahan ini adalah penting untuk menggunakan Go generik dengan betul.

Inferens jenis tradisional

Sebelum Go generik, inferens jenis fungsi adalah berdasarkan maklumat jenis dalam konteks. Sebagai contoh, fungsi berikut:

func SumNumbers(numbers []int) int {
  sum := 0
  for _, number := range numbers {
    sum += number
  }
  return sum
}

akan membuat kesimpulan bahawa jenis parameter SumNumbers ialah []int dan jenis nilai pulangan ialah int . Ini kerana pembolehubah number dalam pernyataan range mempunyai jenis int, manakala pembolehubah sum adalah jenis int. SumNumbers 的参数类型为 []int，返回值类型为 int。这是因为 range 语句中的 number 变量具有类型 int，而 sum 变量是类型的 int。

泛型中的类型推断

Go 泛型引入了一层额外的类型参数化，这改变了函数类型推断的方式。考虑以下泛型函数：

func Sum[T number](numbers []T) T {
  sum := zero[T]()
  for _, number := range numbers {
    sum += number
  }
  return sum
}

现在，Sum 函数具有一个类型参数 T，指示类型 T 应该是数字类型，也就是说，它必须实现 number 接口。在这种情况下，函数类型推断如下：

• 函数参数类型：[]A，其中 A 是满足 number 接口的实际类型参数（在调用时具体化）。
• 函数返回值类型：A，与函数参数类型相同。

实战案例

以下是使用 Sum 泛型函数的示例：

// 求和整型数组
sum := Sum([]int{1, 2, 3}) // 推断 T 为 int

// 求和浮点型数组
sumF := Sum([]float64{1.2, 2.3, 3.4}) // 推断 T 为 float64

正如你所看到的，Sum

🎜Inferens Jenis dalam Generik 🎜🎜🎜Go Generics memperkenalkan lapisan tambahan parameterisasi jenis, yang mengubah cara inferens jenis fungsi dilakukan. Pertimbangkan fungsi generik berikut: 🎜rrreee🎜Sekarang, fungsi Sum mempunyai parameter jenis T yang menunjukkan bahawa jenis T hendaklah jenis angka , iaitu, katakan, ia mesti melaksanakan antara muka number. Dalam kes ini, jenis fungsi disimpulkan seperti berikut: 🎜

• Jenis parameter fungsi: []A, dengan A memenuhi nombor kod> kod> Parameter jenis sebenar antara muka (disemak semula pada masa panggilan).
• Jenis nilai pulangan fungsi: A, yang sama dengan jenis parameter fungsi.

🎜🎜Kes praktikal🎜🎜🎜Berikut ialah contoh penggunaan fungsi generik Sum: 🎜rrreee🎜Seperti yang anda lihat, Sum Fungsi generik boleh melakukan inferens jenis berdasarkan parameter jenis sebenar apabila dipanggil. 🎜

Atas ialah kandungan terperinci Bagaimanakah generik Golang mempengaruhi inferens jenis fungsi?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!