Mengapa fungsi Go tidak boleh mengembalikan jenis dengan parameter jenis terhad?

Mengapa fungsi Go tidak boleh mengembalikan jenis dengan parameter jenis terhad? Ini adalah soalan yang sering menimbulkan kekeliruan. Dalam bahasa Go, jenis pemulangan fungsi tidak boleh menjadi jenis dengan parameter jenis terhad Ini disebabkan terutamanya oleh sokongan terhad untuk generik dalam bahasa Go. Dalam bahasa Go, tiada mekanisme generik yang serupa dengan dalam Java atau C#, dan tiada sintaks untuk menyokong parameter jenis terkekang. Oleh itu, jenis pemulangan fungsi hanya boleh menjadi jenis tertentu, dan parameter jenis terkekang tidak boleh digunakan. Ini bermakna bahawa kita tidak boleh mentakrifkan jenis pulangan dalam fungsi yang jenis parameternya adalah jenis terkekang. Sekatan sedemikian mungkin membuat penulisan kod dalam senario tertentu sedikit lebih rumit, tetapi ia juga merupakan sebahagian daripada reka bentuk bahasa Go.

Kandungan soalan

Semasa cuba menguatkuasakan peralihan keadaan yang sah pada masa penyusunan semasa, saya menghadapi had bahawa fungsi tidak dapat mengembalikan jenis generik dengan parameter jenis bukan konkrit, seperti yang diterangkan dalam isu di sini. Tidak dapat membina mre (pergi pautan taman permainan):

type mystruct[t any] struct {
    myfield t
}

func returnconstrainedgeneric[t any]() mystruct[t] {
    return mystruct[int]{
        myfield: 1,
    }
}

Pengkompil mengembalikan ralat cannot use mystruct[int]{…} (value of type mystruct[int]) as mystruct[t] value in return statements.

Soalan yang dipautkan memberikan alasan ini:

The error occurs because operations that involve a type parameter (including assignments and returns) must be valid for all types in its type set.

Ia menggariskan beberapa penyelesaian termasuk penegasan jenis, tetapi saya ingin tahu mengapa had ini wujud. Secara naif, dalam contoh saya, saya ingin mengekang daripada returnconstrainedgeneric() 返回 mystruct[int] 类型的值是有效的，因为 int 满足 any 的类型约束。我希望 returnconstrainedgeneric() 的调用者不知道返回值的类型为 mystruct[int]，它只知道它是 mystruct[t]，其中 t 满足 any . Apa yang kurang dalam penaakulan saya? Adakah ini isu asas dengan cara go melaksanakan kekangan generik/jenis, atau adakah ia isu dengan pelaksanaan semasa pengkompil go, atau adakah ia sesuatu yang lain?

Penyelesaian

Ini tidak sah kerana sintaks bermaksud

x:=returnconstrainedgeneric[string]()
// x is mystruct[string]

Tetapi awak cuba untuk kembali mystruct[int].

Kecacatan dalam alasan anda ialah anda menentukan jenis pemulangan fungsi apabila anda membuat seketika. Fungsi tidak boleh mengembalikan nilai yang sama yang memuaskan any 约束的类型，它返回实例化的类型。换句话说，实例化函数的 t 必须与 mystruct[t] 中的 t.

Jika anda selalu balik mystruct[int], isytiharkan seperti ini:

func returnconstrainedgeneric[t any]() mystruct[int] {...}

Atau, jika fungsi itu tidak digunakan sama sekali t:

func returnConstrainedGeneric() MyStruct[int] {...}

Atas ialah kandungan terperinci Mengapa fungsi Go tidak boleh mengembalikan jenis dengan parameter jenis terhad?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!