Existe-t-il un moyen de contraindre les paramètres de type (génériques) ?

L'éditeur PHP Youzi a discuté d'une question courante : existe-t-il un moyen de contraindre les paramètres de type (universels) ? En PHP, nous devons souvent imposer des contraintes de type sur les paramètres des fonctions ou des méthodes pour garantir que les paramètres transmis répondent à des exigences de type spécifiques. Cependant, il n'existe actuellement aucun moyen direct de contraindre les paramètres de type génériques, tels que les tableaux ou les objets. Cependant, nous pouvons implémenter des contraintes sur les paramètres de type courants en écrivant une logique de vérification de type plus stricte pour garantir l'exactitude et la cohérence des paramètres. Dans cet article, nous explorerons plusieurs façons d'implémenter des contraintes de paramètres de type génériques, ainsi que leurs avantages et inconvénients.

Contenu des questions

Je viens de commencer à apprendre les génériques. J'essaie donc de généraliser un pilote pour une base de données personnalisée qui s'exécute sur certains messages protobuf.

J'aimerais trouver un moyen de contraindre davantage mon type générique, mais à titre indicatif, c'est-à-dire m'assurer (dire au compilateur) que la contrainte e implémente une autre méthode.

Tout d'abord, j'ai limité les entités que la base de données peut gérer.

type entity interface {
   pb.msga | pb.msgb | pb.msgc
}

Ensuite, une interface commune décrivant les fonctionnalités de la base de données a été écrite afin qu'elle puisse être utilisée par différents services gérant leurs propres messages bruts :

type db[e entity] interface {
   get(...) (e, error)
   list(...) ([]e, error)
   ...
}

Jusqu’ici tout va bien. Cependant, je souhaite également (dé)sérialiser ces entités lors de la communication avec la base de données afin qu'elles puissent être envoyées sur le réseau, clonées et fusionnées. Des choses comme ça :

func encode[e entity](v *e) ([]byte, error) {
   return proto.marshal(v)
}

Cependant, le code ci-dessus donne l'erreur suivante :

cannot use val (variable of type *e) as type protoreflect.protomessage in argument to proto.marshal: *e does not implement protoreflect.protomessage (type *e is pointer to type parameter, not type parameter)

Le problème est la méthode proto.marshal 需要实体（*e）来实现 proto.message 接口，即 protoreflect(), que tous mes types d'entités implémentent, mais elle n'est pas contrainte et ne peut pas être déduite par le compilateur.

J'ai également essayé de définir l'entité comme :

type Entity interface {
   *pb.MsgA | *pb.MsgB | *pb.MsgC
   proto.Message
}

Cependant, cela ne me semble pas correct, outre le fait que je dois effectuer des opérations de protection supplémentaires pour instancier les proto.messages référencés par le pointeur d'entité.

Solution

Vous pouvez faire ceci :

func encode[m interface { *e; proto.message }, e entity](v m) ([]byte, error) {
    return proto.marshal(v)
}

Si vous souhaitez une syntaxe plus concise que ci-dessus, vous pouvez annuler la contrainte de message :

type Message[E Entity] interface {
    *E
    proto.Message
}

func Encode[M Message[E], E Entity](v M) ([]byte, error) {
    return proto.Marshal(v)
}

https://www.php.cn/link/20ba66f905957b34253d9d7abde919f3

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!