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

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>

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)

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>

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>

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!