Maison> Java> javaDidacticiel> le corps du texte

Règles de compatibilité pour les fonctions génériques Java

王林
Libérer: 2024-04-26 18:03:01
original
545 Les gens l'ont consulté

Les règles de compatibilité des génériques de fonctions Java garantissent la sécurité des types. Les règles incluent : des listes de paramètres de même type, des limites de paramètres de même type et des paramètres de type contravariant et covariant. Par exemple, > est compatible avec > (contravariant), tandis que

Java 函数泛型的兼容性规则

Règles de compatibilité pour les fonctions génériques Java

Les fonctions génériques Java nous permettent d'écrire du code de manière sécurisée, mais ne pas suivre les règles de compatibilité correctes peut entraîner des erreurs de compilation. Trions les règles pour éviter de tels problèmes.

Règle 1 : Les listes de paramètres de type sont les mêmes

Seuls les types de fonctions avec la même liste de paramètres sont compatibles. Ainsi, l'exemple suivant entraînera une erreur :

public  void func1(T v) {} public  void func2(U v) {}
Copier après la connexion

Règle 2 : les paramètres de type ont les mêmes limites

Les limites définissent les valeurs autorisées d'un type générique. Les fonctions sont incompatibles si elles ont des limites différentes pour des paramètres du même type. Par exemple :

public > void func1(T v) {} public  void func2(T v) {}
Copier après la connexion

Règle 3 : Paramètres de type contravariant et covariant