


Génériques Golang - ne peut pas utiliser le type à la place du même type lors du passage du pointeur de fonction
Je suis nouveau sur Golang et je travaille sur la structure suivante :
<code>type Flag[T any] struct { defaultValue interface{} } </code>
Parmi eux T
可以是 int
或 bool
J'ai défini la fonction suivante :
<code>func (f Flag[T]) GetVariation(val interface{}, getFunc func(v T) T ) T { inputVal := f.defaultValue.(T) return getFunc(inputVal) } </code>
Lorsque j'essaie d'utiliser la fonction ci-dessus pour différents types de données comme bool, en utilisant ce qui suit :
<code>func (f Flag[bool]) GetBoolVariation(val bool) bool { return f.GetVariation(val, someFunc) } func someFunc(v bool) bool { return true } </code>
Je reçois le message d'erreur suivant :
cannot use someFunc (value of type func(v bool) bool) as func(v bool) bool value in argument to f.GetVariation
Le message est très déroutant car il dit que je ne peux pas utiliser "X" comme "X". Pouvez-vous m'aider à comprendre ce que je fais de mal ici ?
Bonne réponse
Tout d'abord, il est difficile d'évaluer votre cas d'utilisation plus large ici, mais les génériques ne sont peut-être pas la meilleure solution ici puisque vous effectuez une vérification de type à l'exécution (comme f.defaultValue.(T)
).
Deuxièmement, vous semblez utiliser go 1.20
, ce qui produit une erreur déroutante :
https://www.php.cn/link/63e8e3643e7f7198858eef325b0600f9
cannot use someFunc (value of type func(v bool) bool) as func(v bool) bool value in argument to f.GetVariation
L'utilisation de la dernière version de Playground (go 1.21
au moment d'écrire ces lignes) donne des erreurs de compilation plus détaillées :
https://www.php.cn/link/2d1bcedd27b586d2a9562a0f8e076b41
./prog.go:14:29: cannot use someFunc (value of type func(v bool) bool) as func(v bool /* with bool declared at ./prog.go:13:14 */) bool /* with bool declared at ./prog.go:13:14 */ value in argument to f.GetVariation
Indique le type bool
被指定的位置 (./prog.go:13:14
) dérivé des contraintes de type.
Donc, juste parce que cette contrainte de type bool
correspond à une signature de fonction non générique :
func someFunc(v bool) bool { return true }
ne signifie pas qu'il s'agit d'une correspondance de compilation exacte.
Vous pouvez "résoudre" les erreurs de compilation en utilisant cet exemple artificiel :
func someFuncFix[T any](v T) T { return v } func (f Flag[bool]) GetBoolVariation(val bool) bool { return f.GetVariation(val, someFuncFix[bool]) // FYI: `return f.GetVariation(val, someFuncFix)` also works as the bool constraint could be inferred }
Mais encore une fois, je pense que les génériques ne sont peut-être pas la meilleure solution pour votre cas d'utilisation spécifique.
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!

Outils d'IA chauds

Undresser.AI Undress
Application basée sur l'IA pour créer des photos de nu réalistes

AI Clothes Remover
Outil d'IA en ligne pour supprimer les vêtements des photos.

Undress AI Tool
Images de déshabillage gratuites

Clothoff.io
Dissolvant de vêtements AI

AI Hentai Generator
Générez AI Hentai gratuitement.

Article chaud

Outils chauds

Bloc-notes++7.3.1
Éditeur de code facile à utiliser et gratuit

SublimeText3 version chinoise
Version chinoise, très simple à utiliser

Envoyer Studio 13.0.1
Puissant environnement de développement intégré PHP

Dreamweaver CS6
Outils de développement Web visuel

SublimeText3 version Mac
Logiciel d'édition de code au niveau de Dieu (SublimeText3)

Sujets chauds

Dans l'héritage de fonction, utilisez le « pointeur de classe de base » et le « pointeur de classe dérivée » pour comprendre le mécanisme d'héritage : lorsque le pointeur de classe de base pointe vers l'objet de classe dérivé, une transformation ascendante est effectuée et seuls les membres de la classe de base sont accessibles. Lorsqu’un pointeur de classe dérivée pointe vers un objet de classe de base, une conversion vers le bas est effectuée (dangereuse) et doit être utilisée avec prudence.

Les touches de raccourci pour exécuter du code Python dans Sublime Text sont : Windows et Linux : Ctrl + B Mac : Cmd + B Placez le curseur dans le code. Appuyez sur la touche de raccourci. Le code sera exécuté à l'aide de l'interpréteur Python par défaut du système.

Notepad++ lui-même ne peut pas exécuter de programmes en langage C et nécessite un compilateur externe pour compiler et exécuter le code. Pour utiliser un compilateur externe, vous pouvez suivre les étapes suivantes pour le configurer : 1. Téléchargez et installez le compilateur du langage C ; 2. Créez un outil personnalisé dans Notepad++ et configurez le chemin et les paramètres du fichier exécutable du compilateur ; le programme en langage C et enregistrez-le avec une extension de fichier .c ; 4. Sélectionnez le fichier du programme en langage C et sélectionnez un outil personnalisé dans le menu "Exécuter" pour compiler 5. Affichez les résultats de la compilation et affichez un message d'erreur ou de réussite de la compilation ; . Si la compilation réussit, un fichier exécutable sera généré.

Le mot-clé val en Java est utilisé pour déclarer une variable locale immuable, c'est-à-dire que sa valeur ne peut pas être modifiée une fois attribuée. Les fonctionnalités sont les suivantes : Immuabilité : Une fois initialisée, la variable val ne peut pas être réaffectée. Portée locale : les variables val ne sont visibles que dans le bloc de code dans lequel elles sont déclarées. Inférence de type : le compilateur Java déduira le type de la variable val en fonction de l'expression affectée. Variables locales uniquement : val ne peut être utilisé que pour déclarer des variables locales, pas des champs de classe ou des paramètres de méthode.

L'opérateur "=" dans le langage de programmation Java est utilisé pour attribuer une valeur à une variable, en stockant la valeur à droite de l'expression dans la variable de gauche. Utilisation : variable = expression, où variable est le nom de la variable qui reçoit l'affectation et expression est le segment de code qui calcule ou renvoie la valeur.

Le modificateur const indique une constante et la valeur ne peut pas être modifiée ; le modificateur static indique la durée de vie et la portée de la variable. Les données membres modifiées par const ne peuvent pas être modifiées après l'initialisation. Les variables modifiées par static sont initialisées au démarrage du programme et détruites à la fin du programme. Elles existeront même s'il n'y a pas d'objet actif et sont accessibles à travers les fonctions. Les variables locales modifiées par const doivent être initialisées lors de leur déclaration, tandis que les variables locales modifiées par static peuvent être initialisées ultérieurement. Les variables membres de classe modifiées par Const doivent être initialisées dans le constructeur ou la liste d'initialisation, tandis que les variables membres de classe modifiées statiquement peuvent être initialisées en dehors de la classe.

Discussion sur le positionnement du langage Go : Quelles sont les caractéristiques du langage de niveau supérieur ? Dans le domaine du développement logiciel, les langages de programmation peuvent être divisés en différentes catégories en fonction de leurs objectifs de conception et de leur positionnement, dont l'une est appelée langage de niveau supérieur. Les langages de niveau supérieur font référence à des langages de programmation plus abstraits et de niveau supérieur que les langages de niveau inférieur. Ils ont généralement des fonctions plus puissantes et un niveau d'abstraction plus élevé, et peuvent implémenter des fonctions complexes plus rapidement. En tant que langage de programmation moderne, le langage Go est également considéré comme un langage de niveau supérieur, alors quelles sont ses caractéristiques ? Nous discuterons ensuite

Pour restreindre les paramètres de type dans une méthode générique Java, utilisez la syntaxe où Bound est le type ou l'interface. En tant que tels, les paramètres n'acceptent que les types qui héritent de Bound ou implémentent l'interface Bound. Par exemple, limitez T à un type comparable à lui-même.
