Mengapa Kaedah Antara Muka Tidak Boleh Mempunyai Parameter Jenis?

Memahami Parameter Jenis Kaedah Antara Muka dalam Go

Dalam Go generik, kaedah antara muka tidak dibenarkan mempunyai parameter jenis. Sekatan ini timbul daripada pertimbangan reka bentuk asas yang digariskan dalam cadangan Parameter Jenis.

Mengapa Parameter Jenis Dilarang dalam Antara Muka?

• Kekaburan: Parameter jenis dalam kaedah antara muka boleh membawa kepada pelbagai tafsiran, memberi kesan kepada keserasian pelaksanaan dan kod ketepatan.
• Prestasi: Membenarkan parameter jenis mungkin memerlukan traversal pokok yang meluas pada masa penyusunan atau memperkenalkan pantulan masa jalan intensif prestasi.
• Ketekalan: Parameter kaedah tidak akan dapat melaksanakan antara muka secara konsisten, mengakibatkan kekeliruan dan potensi ralat.

Melaksanakan Abstraksi Generik

Walaupun parameter jenis tidak dibenarkan dalam kaedah antara muka, bahasa menyediakan pendekatan alternatif. Anda boleh mengalihkan parameter jenis ke dalam definisi jenis antara muka itu sendiri, seperti yang ditunjukkan di bawah:

type Reader[V Unmarshaler] interface {
    Read(bucket []byte, k ...[]byte) ([][]byte, error)
    ReadDoc(bucket []byte, factory func() (V, error), k ...[]byte) ([]V, error)
}

type Unmarshaler interface {
    UnmarshalKV(v []byte) error
}

Pendekatan ini mengekalkan abstraksi generik yang diingini tanpa melanggar sekatan parameter jenis kaedah antara muka.

Atas ialah kandungan terperinci Mengapa Kaedah Antara Muka Tidak Boleh Mempunyai Parameter Jenis?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!