Utilisez des crochets angulaires pour spécifier les paramètres de type formel. La relation entre les paramètres de type formel et les paramètres de type réels est similaire à la relation entre les paramètres de méthode formelle et les paramètres de méthode réels, sauf que les paramètres de type représentent des types plutôt que des valeurs.
Paramètres de type nommésLa convention de dénomination recommandée consiste à utiliser des noms majuscules à une seule lettre pour les paramètres de type. Cela diffère de la convention C++ (voir Annexe A : Comparaison avec les modèles C++) et reflète l'hypothèse selon laquelle la plupart des classesgénériques
auront un petit nombre de paramètres de type. Pour le modèlegénérique commun, le nom recommandé est : K - clé, telle qu'une clé mappée. V - Valeur, telle que le contenu de List et Set, ou la valeur dans Map.
E ——Classe d'exception.T ——
Générique.
1. Pourquoi utiliser des génériques
方法签名由方法名称和一个参数列表（方法的参数的顺序和类型）组成。
2. Jetez l'objet dans la collection. La collection perd les informations d'état de l'objet. La collection sait seulement qu'elle contient l'objet, donc après l'avoir retiré. les éléments de collection, la conversion forcée est généralement également requise
2. Que sont les génériques
Les types paramétrés de Java sont appelés génériques, qui permettent au programme de spécifier le type d'éléments de collection lors de la création d'une collection
3. La syntaxe générique du diamant
doit seulement être suivie d'une paire de supports en diamant, pas besoin pour les génériques
4. Créez une classe personnalisée avec une déclaration générique lors de la définition d'un constructeur pour la classe, le nom du constructeur doit toujours être le nom de la classe d'origine. . 
la classe publique A étend Apple
Toutes les méthodes qui remplacent la classe parent deviennent le type correspondant
Vous pouvez également transmettre aucun paramètre réel
la classe publique A étend Apple{}
Traité comme type d'objet
6.
Peu importe les paramètres de type réels d'un générique, ils ont toujours la même classe au moment de l'exécution. Quel que soit le type de paramètre réel passé dans le paramètre de type générique, (
réside dans le but du concept de génériques en Java, ce qui l'amène à n'agir que dans la phase de compilation du code. Pendant le processus de compilation , Une fois le résultat générique correctement vérifié, les informations pertinentes du générique seront effacées, c'est-à-dire que le fichier de classe compilé avec succès ne contient aucune information générique et les informations génériques n'entreront pas dans l'étape d'exécution<.>.) Pour Java, ils sont toujours traités comme la même classe et occupent un espace mémoire dans la mémoire. Par conséquent, les types ne peuvent pas être utilisés dans la déclaration et l'initialisation de méthodes statiques, de blocs d'initialisation statiques ou de variables formelles statiques. paramètres
Les variables statiques sont partagées par toutes les instances d'une classe générique. Pour une classe déclarée comme MyClass
MaClasse
MaClasse
class1.myStaticVar = "bonjour";
class2.myStaticVar = 5;
En raison de l'effacement du type du générique système Sauf (type effacement). myStaticVar est restauré au type Object, puis lorsque class1.myStaticVar= "hello"; est appelé, le compilateur effectue une conversion de type forcée, c'est-à-dire myStaticVar = (String)"hello"; appelé, le compilateur continue d'effectuer une conversion de type forcée. , myStaticVar = (Integer)Integer.valueOf(5); À ce stade, myStaticVar est de type String. Bien sûr, cette instruction lancera une exception ClassCastException au moment de l'exécution. tapez un problème de sécurité. Par conséquent, le système générique ne permet pas aux variables statiques d’une classe d’utiliser des paramètres de type comme types de variables.
Les classes génériques ne seront pas réellement générées dans le système, donc la classe générique ne peut pas être utilisée après l'opérateur instanceod car elle n'existe pas du tout !
7. Tapez des caractères génériques
Notez que, si Foo est un sous-type de Bar et G est une classe ou une interface avec une déclaration générique, G
En supposant que List
Afin de représenter la classe parent de diverses collections génériques, vous pouvez utiliser des caractères génériques de type, qui sont un point d'interrogation, il peut correspondre à n'importe quel type :
Les caractères génériques de type sont généralement utilisés à la place des paramètres réels de type spécifique. Notez que voici les paramètres de type réels, pas les paramètres de type ! Et List est logiquement la classe parent de List >... et de tous les List Quel que soit le type réel de la liste, elle contient un objet ne connaît pas le type d'éléments de la collection c et ne peut pas y ajouter d'objets 7.1 Définir la limite supérieure des caractères génériques Étant donné que List Ceci peut être recyclé. Utilisez des caractères génériques restreints 7.2 Définir la limite supérieure des paramètres de type 8. Méthodes génériques Définir la classe, les paramètres de type ne sont pas utilisés dans l'interface lors de la définition des méthodes, je souhaite définir méthodes statiques génériques indépendantes en même temps sans considérer plusieurs. -threading.point, il ne sera initialisé et appelé qu'une seule fois, il n'y aura pas d'initialisation superposée ni d'appels incorrects, et il n'y aura pas de situation comme la lecture de données sales dans la base de données, donc il n'y aura pas d'erreurs de code dans la conversion de type forcée. Les paramètres formels définis dans la déclaration de la méthode ne peuvent être utilisés que dans cette méthode. Contrairement aux classes et aux interfaces, les génériques dans les méthodes n'ont pas besoin d'afficher les paramètres de type réels transmis Le compilateur ne doit pas être confus quant au type que vous transmettez Pour exemple, test Si vous transmettez un type String ou un type Object, le compilateur ne sait pas de quel type est votre T Peut-il être modifié en Méthode générique (dans le paramètre de type une section) Vous avez vu que vous pouvez rendre une classe générique en ajoutant une liste de paramètres de type formel à sa définition. Les méthodes peuvent également être génériques, que la classe dans laquelle elles sont définies soit générique ou non. Les classes génériques appliquent des contraintes de type sur plusieurs signatures de méthodes. Dans List De même, une méthode générique est généralement déclarée car vous souhaitez déclarer une contrainte de type sur plusieurs paramètres de la méthode. Par exemple, la méthode ifThenElse() dans le code suivant renverra soit le deuxième, soit le troisième paramètre en fonction de la valeur booléenne de son premier paramètre : public Notez que vous pouvez appeler ifThenElse() sans indiquer explicitement au compilateur ce que vous voulez pour la valeur T. Le compilateur n'a pas besoin de savoir explicitement quelles valeurs T aura ; il sait simplement que les valeurs doivent toutes être les mêmes. Le compilateur vous permet d'appeler le code suivant car le compilateur peut utiliser l'inférence de type pour déduire que la chaîne substituée à T satisfait toutes les contraintes de type : String s = ifThenElse(b, "a", "b"); De même, vous pouvez appeler : Integer i = ifThenElse(b, new Integer(1), new Integer(2)); Cependant, compilation Le code suivant n'est pas autorisé par le compilateur car aucun type ne satisferait les contraintes de type requises : String s = ifThenElse(b, "pi", new Float ( 3.14)); Pourquoi avez-vous choisi d'utiliser une méthode générique au lieu d'ajouter le type T à la définition de la classe ? Il y a (au moins) deux cas où cela doit être fait : Lorsqu'une méthode générique est statique, les paramètres de type classe ne peuvent pas être utilisés dans ce cas. Lorsqu'une contrainte de type sur T est vraiment locale à une méthode, cela signifie qu'il n'y a pas d'utilisation du même type T dans une autre signature de méthode du même contrainte de classe. La signature d'un type fermé peut être simplifiée en rendant les paramètres de type d'une méthode générique locaux à la méthode. Méthode générique dans l'écran précédent Dans l'exemple , le paramètre de type V est un type sans contrainte ou sans restriction. Il est parfois nécessaire de spécifier des contraintes supplémentaires sur les paramètres de type lorsque ceux-ci n'ont pas été entièrement spécifiés. Considérez l'exemple de classe Matrix, qui utilise un paramètre de type V, qui est délimité par la classe Number : classe publique Matrix Le compilateur vous permet de créer Matrix 9. La différence entre les méthodes génériques et les caractères génériques de type Si une méthode Si le type de paramètre formel (a) ou le type de la valeur de retour dépend du type d'un autre paramètre formel (b), alors la déclaration de type du paramètre formel (b) ne doit pas utiliser de caractères génériques. Seuls les paramètres de type peuvent être déclarés dans la signature de la méthode. , c'est-à-dire une méthode générique. Ce que je comprends, c'est que le caractère générique de type n'a pas besoin d'ajouter ou de modifier les éléments de la collection, et il est attaché aux autres plutôt qu'aux autres qui lui sont attachés. Utilisez . Les caractères génériques de type peuvent être utilisés pour définir le type de paramètres formels dans les signatures de méthodes ou pour définir les types de variables dans les méthodes génériques doivent être explicitement déclarées dans la méthode correspondante. 10. Effacement et conversion Lors de l'attribution d'un objet avec des informations génériques à un autre Lors de l'ajout d'un variable sans informations génériques, toutes les informations de type entre crochets angulaires sont supprimées. Lors de l'attribution de li à List, le compilateur effacera le Les informations génériques du premier, c'est-à-dire perdre les informations de type des éléments de la collection de listes. Java permet également à l'objet liste d'être directement affecté à une variable List 11. Génériques et tableaux Les génériques Java ont un principe de conception très important : si un morceau de code ne génère pas d'avertissement « exception non convertie » lors de la compilation, le programme ne provoquera pas d'exception ClassCastException. Pour cette raison, Le type de tous les éléments du tableau ne peut pas contenir de variables de type ou de paramètres de type, à moins qu'il ne s'agisse d'un caractère générique de type illimité, mais le type d'élément peut être déclaré comme contenant un tableau de variables de type ou de paramètres de type En supposant que cela puisse passer, cela ne provoquera aucun avertissement, mais provoquera une exception Changez au format suivant : La première ligne aura un avertissement "conversion non vérifiée", et la dernière ligne lancera également une exception Créer des caractères génériques illimités Le tableau générique n'émettra aucun avertissement lors de la compilation, mais une exception sera levée au moment de l'exécution car le programme doit forcer le premier élément de collection du premier élément de tableau de type lsa Convert to String, le programme doit donc utiliser l'opérateur instanceof pour garantir son type de données De même, créer un objet tableau dont le type d'élément est un type variable provoquera également une erreur de compilation { return new T[cool.size()] > La variable de type n'existe pas au moment de l'exécution et le compilateur ne peut pas déterminer quel est le type réel 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!
retour b : seconde ;
}
Type restreint
![[Web front-end] Démarrage rapide de Node.js](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
