Bagaimanakah Saya Boleh Menyelesaikan Ralat 'Tidak Dapat Menyimpulkan V' Go Apabila Menggunakan Kekangan Jenis dalam Antara Muka Generik?

Tidak Dapat Menyimpulkan V: Menyelesaikan Parameter Jenis Inferen daripada Pelaksanaan Kekangan

Matlamatnya adalah untuk mencipta antara muka dalam Go yang menyokong penjimatan dan pemuatan hasil dalam pangkalan data yang berbeza sambil menyokong pelbagai jenis data.

type WritableType interface {
    ~int | ~string | ~float64
}

type ConfigStorage[K, V WritableType] interface {
    get(key K) (V, error)
    set(key K, value V) (bool, error)
}

Masalah timbul apabila melaksanakan storan sistem fail:

type FileSystemStorage[K, V WritableType] struct {
}

func (f FileSystemStorage[K, V]) get(key K) (V, error) {
    // Code to load data from JSON file
}

func (f FileSystemStorage[K, V]) set(key K, value V) (bool, error) {
    // Code to save data as JSON file
}

Semasa memanggil SetValue, ia berfungsi dengan jayanya. Walau bagaimanapun, apabila memanggil GetValue, pengkompil menghadapi ralat:

cannot infer V

Penyelesaian

For Go 1.21 dan ke atas:

Dalam Go 1.21, inferens jenis telah dipertingkatkan untuk mempertimbangkan jenis yang digunakan dalam kaedah antara muka. Oleh itu, anda kini boleh memanggil GetValue tanpa menyatakan parameter jenis:

result, _ = GetValue(fileStorage, "key")

For Go 1.20 dan ke bawah:

Memandangkan algoritma inferens jenis semasa tidak membenarkan inferens V daripada pelaksanaan kekangan, parameter jenis eksplisit mesti disediakan apabila memanggil GetValue:

GetValue[string, string](fileStorage, "key")

Atas ialah kandungan terperinci Bagaimanakah Saya Boleh Menyelesaikan Ralat 'Tidak Dapat Menyimpulkan V' Go Apabila Menggunakan Kekangan Jenis dalam Antara Muka Generik?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!