Créer une instance d'un type générique à l'aide d'un pointeur vers un paramètre de type

l'éditeur php Yuzai présentera dans cet article comment utiliser des pointeurs pour saisir des paramètres afin de créer des instances de types génériques. Les génériques sont un concept largement utilisé en programmation qui nous permet d'écrire du code général sans spécifier de types spécifiques. En PHP, bien qu'il n'y ait pas de support natif pour les génériques, nous pouvons simuler des génériques en utilisant des pointeurs pour saisir des paramètres. Cette méthode peut nous rendre plus flexibles et efficaces lors de l'écriture de code, et améliorer la réutilisabilité et la maintenabilité du code. Dans le contenu suivant, nous détaillerons comment utiliser cette méthode pour créer des instances de types génériques et donnerons quelques exemples d'applications pratiques.

Contenu de la question

Compte tenu de ces définitions de types :

type n interface{ ~int | ~float32 | ~float64 }

type s[t any] struct {
    t t
}

type myint int

type pspmyint[t myint] *s[*t]
type spmyint[t *myint,] s[t]
type spmyint2[t myint] s[*t]

Je peux créer une variable de type pspmyint

func createps[t myint]() pspmyint[t] {
    var i t
    s := s[*t]{t: &i}
    return &s
}

Mais je ne sais pas comment créer la variable de spmyint 或 spmyint2.

Ceci

func createSP[T myInt]() spMyInt2[T] {
    var i T
    s := S[*T]{t: &i}
    return s
}

Échec de la compilation Vous ne pouvez pas utiliser s (une variable de type s[*t]) comme type spmyint2[t] dans une instruction return. 不能在return语句中使用s（s[*t]类型的变量）作为spmyint2[t]类型。

解决方法

首先，不要使用精确类型参数约束。这几乎没有任何意义。当您将函数声明为 createps[t myint]() 时，类型参数类型集的基数为 1，因此可以有效地由 myintSolutionTout d'abord, N'utilisez pas de contraintes de paramètres de type exactes. Cela n’a presque aucun sens. Lorsque vous déclarez une fonction comme createps[t myint](), le paramètre de type type défini a la cardinalité 1, il peut donc effectivement être instancié par myint uniquement

et

Pour toujours

. Vous pouvez réécrire la fonction comme ceci :

65bee32705632 s[*t] 与 spmyint2[t] 不同。但是，由于 spmyint2[t] 的底层类型是 s[*t]Solution à ce problème :

Type s[*t] type spmyint[t *myint,] s[t] est différent

de spmyint2[t]. Cependant, puisque le type sous-jacent de spmyint2[t] est s[*t], vous pouvez simplement convertir :

65bee32705638 Quant à (où la virgule n'est pas une faute de frappe mais est nécessaire pour éviter toute ambiguïté dans l'analyse), les choses ne sont pas si simples.

Le problème est que les paramètres de type spmyint[t *myint] 有一个类型参数约束为 *myint 并且函数 t 受基本类型 myint 约束，因此 *t 应该满足 phpcnc phpcnt * myint。这是不正确的，因为类型文字 *t 不等于 *myint 的明显不明显的原因。所以实际上你不能为 type spmyint[t *myint,] s[t] ne sont pas

leurs contraintes de type. Par conséquent, un littéral de type ne peut pas être utilisé pour instancier un autre littéral de type sans nom. Pour être clair :

// naive attempt that doesn't compile
func createsp1[t myint]() spmyint[*t] {
    var i t
    s := s[*t]{t: &i}
    return spmyint[*t](s)
}

Vous pourriez penser que spmyint[t *myint] a un paramètre de type contraint à *myint et que la fonction t est liée par la base tapez la contrainte myint< /code>, <em>donc</em> <code>*t devrait satisfaire phpcnc phpcnt * myint. C'est incorrect, pour des raisons apparemment non évidentes, le type littéral *t n'est pas égal à *myint. Donc en fait, vous ne pouvez pas écrire un constructeur universel pour 🎜 . 🎜 🎜Mais vous avez de la chance, car la contrainte de type a une cardinalité de un. Vous pouvez donc supprimer le paramètre type : 🎜

func createSP1() spMyInt[*myInt] {
    var i myInt
    s := S[*myInt]{t: &i}
    return spMyInt[*myInt](s)
}

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!