Dapatkan nama jenis struct generik tanpa parameter jenis

Dalam artikel ini, editor PHP Strawberry akan memperkenalkan kepada anda cara mendapatkan nama jenis struktur generik tanpa parameter jenis. Generik ialah teknik pengaturcaraan yang berkuasa yang membolehkan anda menulis kod generik tanpa menyatakan jenis tertentu. Walau bagaimanapun, kadangkala kita mungkin perlu mendapatkan nama jenis struktur generik tanpa mengandungi parameter jenis tertentu. Artikel ini akan menjawab soalan ini secara terperinci untuk anda dan membantu anda memahami dan menggunakan pengaturcaraan generik dengan lebih baik.

Kandungan soalan

Andaikan saya mempunyai jenis tertentu bernama foo 的通用结构，我从中创建了两个对象。我可以使用 reflect.typeof() mengenal pasti setiap satu seperti berikut:

package main

import (
    "fmt"
    "reflect"
)

type foo[t any] struct {
    data t
}

func main() {
    a := foo[string]{"cheese"}
    b := foo[int]{42}

    fmt.println(reflect.typeof(a))
    fmt.println(reflect.typeof(b))
}

// main.foo[string]
// main.foo[int]

Saya berminat untuk menentukan jenis biasa (iaitu foo），而不是具体类型（即 foo[string] 和 foo[int]) objek ini. Adakah ini mungkin atau adakah saya perlu mengekstrak jenis generik secara manual daripada rentetan ini (cth. menggunakan ungkapan biasa)?

Sunting

Ungkapan biasa mungkin kelihatan seperti ini:

func GetGenericType(x any) string {
    // Get type as a string
    s := reflect.TypeOf(x).String()

    // Regex to run
    r := regexp.MustCompile(`\.(.*)\[`)

    // Return capture
    return r.FindStringSubmatch(s)[1]
}


fmt.Println(GetGenericType(a))
fmt.Println(GetGenericType(b))

// foo
// foo

Saya juga melihat soalan ini, tetapi itu tidak menjawab soalan kerana ia memberikan jenis khusus (iaitu main.foo[string]）而不是通用类型（即， foo).

Penyelesaian

Refleksi tidak dapat melihat nama jenis generik "asas" kerana jenis asas tidak wujud pada masa jalan.

go ialah instantiation:

Menginstan jenis menghasilkan jenis baru yang dinamakan bukan generik;

Jadi apabila anda menulis:

b := foo[int]{42}
name := reflect.typeof(b).name()

Nama jenis betul-betul foo[int].

Perlu diperhatikan bahawa pengecam foo tanpa senarai parameter jenis adalah relevan pada masa penyusunan, kerana ia menghalang anda daripada mengisytiharkannya semula dalam pakej yang sama. Definisi jenis:

Takrifan jenis mencipta jenis baharu yang berbeza dengan jenis yang sama Jenis dan operasi asas diberikan sebagai jenis dan terikat Pengecam, taip nama, berikan .

typedef = identifier [ typeparameters ] type .

Tetapi, seperti yang dinyatakan di atas, instantiasi menghasilkan jenis bernama baharu yang berbeza daripada foo ;

Ringkasnya, saya rasa penyelesaian regex anda boleh diterima sehingga beberapa fungsi pembantu ditambahkan pada stdlib (jika ada). Menyiarkan semula di sini untuk kejelasan:

func getgenerictype(x any) string {
    // get type as a string
    s := reflect.typeof(x).string()

    // regex to run
    r := regexp.mustcompile(`\.(.*)\[`)

    // return capture
    return r.findstringsubmatch(s)[1]
}

Ingat perbezaan antara type.string() 和 type.name(): mana-mana jenis boleh mempunyai perwakilan rentetan, tetapi hanya jenis bernama mempunyai nama. (Jelas sekali, kan?). Contohnya, jika anda menulis:

b := &foo[int]{42}

Kemudian b的类型为*foo[int]，为匿名复合类型，name() mengembalikan rentetan kosong.

Atas ialah kandungan terperinci Dapatkan nama jenis struct generik tanpa parameter jenis. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!