Rumah > pembangunan bahagian belakang > Golang > Bagaimanakah Saya Boleh Menggunakan Jenis Terkekang sebagai Argumen dalam Fungsi Go Apabila Mereka Menjangkakan Jenis Konkrit?

Bagaimanakah Saya Boleh Menggunakan Jenis Terkekang sebagai Argumen dalam Fungsi Go Apabila Mereka Menjangkakan Jenis Konkrit?

Patricia Arquette
Lepaskan: 2024-10-27 07:15:29
asal
290 orang telah melayarinya

 How Can I Use Constrained Types as Arguments in Go Functions When They Expect Concrete Types?

Menggunakan Jenis Terkekang sebagai Argumen dalam Go 1.18 Generik

Dalam Go 1.18, generik telah memperkenalkan keupayaan untuk mengekang parameter jenis, membolehkan lebih fleksibiliti dan keselamatan jenis. Walau bagaimanapun, apabila menggunakan jenis terkekang sebagai hujah kepada fungsi yang menjangkakan jenis konkrit, beberapa tingkah laku yang tidak dijangka boleh timbul.

Pertimbangkan contoh berikut, di mana kami mentakrifkan antara muka Pokemon dan struct Charmander dengan parameter jenis terhad kepada Float (float32 atau float64):

<code class="go">type Pokemon interface {
    ReceiveDamage(float64)
    InflictDamage(Pokemon)
}

type Float interface {
    float32 | float64
}

type Charmander[F Float] struct {
    Health      F
    AttackPower F
}</code>
Salin selepas log masuk

Matlamat kami adalah untuk menggunakan medan AttackPower Charmander untuk menyebabkan kerosakan dalam kaedah InflictDamage. Walau bagaimanapun, apabila melaksanakan kaedah ini, kami menghadapi ralat berikut:

cannot use c.AttackPower (variable of type float64 constrained by Float) as float64 value in argument to other.ReceiveDamage compiler(IncompatibleAssign)
Salin selepas log masuk

Ralat ini timbul kerana, walaupun menggunakan struct Charmander sebagai *Charmander[float64], medan AttackPower masih daripada jenis F, iaitu dikekang untuk Terapung. Dalam konteks ini, Float merangkumi kedua-dua float32 dan float64, dan pengkompil tidak boleh menukar antara keduanya secara automatik.

Untuk menyelesaikan isu ini, kita perlu menukar medan AttackPower secara eksplisit kepada float64, jenis yang dijangkakan untuk yang lain.ReceiveDamage hujah kaedah:

<code class="go">func (c *Charmander[T]) InflictDamage(other Pokemon) {
    other.ReceiveDamage(float64(c.AttackPower))
}</code>
Salin selepas log masuk

Penukaran ini memastikan nilai AttackPower dihantar dengan betul kepada kaedah lain.ReceiveDamage. Selain itu, kita perlu menukar parameter kerosakan kepada jenis F dalam kaedah ReceiveDamage untuk mengekalkan ketekalan jenis:

<code class="go">func (c *Charmander[T]) ReceiveDamage(damage float64) {
    c.Health -= T(damage)
}</code>
Salin selepas log masuk

Dengan melaksanakan penukaran jenis ini, kita boleh menggunakan jenis terhalang sebagai hujah kepada fungsi yang mengharapkan jenis konkrit, manakala mengekalkan keselamatan jenis dan mengelakkan ralat pengkompil. Adalah penting untuk ambil perhatian bahawa penukaran jenis boleh mengakibatkan kehilangan ketepatan apabila menukar antara jenis apungan yang berbeza.

Atas ialah kandungan terperinci Bagaimanakah Saya Boleh Menggunakan Jenis Terkekang sebagai Argumen dalam Fungsi Go Apabila Mereka Menjangkakan Jenis Konkrit?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!

sumber:php.cn
Kenyataan Laman Web ini
Kandungan artikel ini disumbangkan secara sukarela oleh netizen, dan hak cipta adalah milik pengarang asal. Laman web ini tidak memikul tanggungjawab undang-undang yang sepadan. Jika anda menemui sebarang kandungan yang disyaki plagiarisme atau pelanggaran, sila hubungi admin@php.cn
Artikel terbaru oleh pengarang
Tutorial Popular
Lagi>
Muat turun terkini
Lagi>
kesan web
Kod sumber laman web
Bahan laman web
Templat hujung hadapan