Mengapa Tidak Membenarkan Melepasi `func(int)` kepada `func(antara muka{})` Walaupun `int` Memuaskan `antara muka{}`?

Taip func dengan Ralat Ketidakserasian Parameter Antara Muka

Dalam Go, mengisytiharkan fungsi jenis untuk menerima sebarang nilai yang mematuhi antara muka{} kelihatan mudah. Walau bagaimanapun, menggunakan fungsi yang diluluskan sebagai hujah yang mematuhi spesifikasi jenis ini menimbulkan ralat.

Ralat ini berpunca daripada konsep varians jenis, terutamanya kekurangan kovarians dalam antara muka Go. Walaupun integer (int) boleh dihantar ke antara muka yang mengharapkan fungsi{}, prinsip yang sama tidak berlaku untuk fungsi.

Secara khusus, func(int) dan func(antara muka{}) bukan jenis yang serasi . Walaupun int mematuhi antara muka{}, func(int) tidak mematuhi func(antara muka{}). Ini kerana antara muka dalam Go adalah invarian.

Untuk menyelesaikan isu ini, pertimbangkan untuk menghantar func(int) kepada antara muka yang mengharapkan fungsi{}, seperti yang ditunjukkan dalam contoh berikut:

package main

import "fmt"

type myfunc interface{}

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

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

func main() {
    foo(add2)
}

Dalam contoh ini, func(int)int melaksanakan antara muka{}, dengan itu mengelakkan ralat ketidakserasian jenis.

Atas ialah kandungan terperinci Mengapa Tidak Membenarkan Melepasi `func(int)` kepada `func(antara muka{})` Walaupun `int` Memuaskan `antara muka{}`?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!