Mengapa Sistem Jenis Go Menghasilkan 'Ralat Tidak Serasi' Apabila Melewati Fungsi dengan Parameter Antara Muka?

Taip func dengan Parameter Antara Muka Ralat Tidak Serasi

Masalah:
Apabila memanggil fungsi diluluskan sebagai hujah kepada jenis func yang mengambil nilai yang mematuhi antara muka{}, ralat ditemui. Contohnya, dalam kod berikut:

type myfunc func(x interface{})

func a(num int) {
}

func b(f myfunc) {
    f(2)
}

func main() {
    b(a) // error: cannot use a (type func(int)) as type myfunc in argument to b
}

Penjelasan:
Ralat ini berpunca daripada kekurangan sokongan Go untuk varians dalam sistem jenisnya. Varians merujuk kepada fleksibiliti dalam menggunakan subjenis dan superjenis dalam argumen parameter. Antara muka Go, tidak seperti sistem jenis lain, tidak menyokong varians.

Dalam contoh yang diberikan, manakala int boleh dihantar ke fungsi yang menerima antara muka{}, ini tidak berlanjutan kepada func(int) yang serasi dengan func(antara muka{}). Ini kerana antara muka dalam Go bukan kovarian.

Penyelesaian:
Sebagai penyelesaian, fungsi boleh dihantar kepada fungsi yang mengharapkan antara muka{} dengan melaksanakan antara muka{} melalui fungsi tanpa nama :

package main

import "fmt"

func foo(x interface{}) {
    fmt.Println("foo", x)
}

func add2(n int) int {
    return n + 2
}

func main() {
    foo(func(n int) int {
        return n + 2
    })
}

Pendekatan ini memanfaatkan fakta bahawa func(int)int adakah melaksanakan antara muka{}.

Untuk mendapatkan maklumat lanjut tentang varians dalam bahasa pengaturcaraan, pertimbangkan untuk meneroka artikel Wikipedia dan siaran yang dipautkan di bawah:

• [Variance (sains komputer) ](https://en.wikipedia.org/wiki/Variance_(sains_komputer))
• [Variance dalam Generik Pengaturcaraan](https://www.fluentcpp.com/2018/11/29/variance-in-generic-programming/)

Atas ialah kandungan terperinci Mengapa Sistem Jenis Go Menghasilkan 'Ralat Tidak Serasi' Apabila Melewati Fungsi dengan Parameter Antara Muka?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!