Comment fonctionne le paramètre de type générique Enum de Java `` et quelles sont ses limites ?

Paramètres de type générique Java Enum

La syntaxe

class Enum<E étend Enum<E>></pre&gt ; peut sembler déroutant au premier abord dans le contexte des génériques Java. Cependant, ce paramètre de type sert un objectif spécifique au sein de la classe Enum.</p><p><strong>Argument de type auto-référentiel</strong></p><p>L'argument de type E représente l'énumération elle-même. En dérivant l'argument de type d'une énumération, la définition déclare effectivement que l'énumération doit se référer à elle-même comme son argument de type.</p><p>Par exemple, considérons l'énumération suivante :</p><pre class="brush:php;toolbar:false">public class StatusCode extends Enum<StatusCode> {
    // ...enum constants...
}</p>
<p>Dans ce Dans ce cas, E est équivalent à StatusCode. Cet argument de type auto-référentiel présente les avantages suivants :</p>
<ul>
<li>
<strong>API d'auto-référence :</strong> Permet à la classe Enum de faire référence à son propre type dans son API, par exemple en déclarant que Enum&lt ;E> implémente Comparable<E>.</li>
<li>
<strong>Sécurité des types :</strong> Garantit que les énumérations ne peuvent être comparées qu'à d'autres énumérations du même type, empêchant ainsi les comparaisons non valides entre différents types d'énumérations.</li>
</ul> <p><strong>Applications au-delà de l'énumération</strong></p>
<p>Bien que ce type de Le paramètre de type auto-référentiel est principalement utilisé dans la classe Enum, il peut également être utilisé dans d'autres contextes où il est nécessaire de définir un type qui fait référence à lui-même de manière récursive.</p>
<p>Un exemple est les interfaces Message et Builder utilisées dans ProtocolBuffers. Ces interfaces sont conçues pour être utilisées par paires, où un message est immuable et un constructeur est mutable. Les interfaces suivantes illustrent l'utilisation d'arguments de type auto-référentiel :</p>
<pre class="brush:php;toolbar:false">public interface IBuilder<TMessage, TBuilder>
  where TMessage : IMessage<TMessage, TBuilder>
  where TBuilder : IBuilder<TMessage, TBuilder>

public interface IMessage<TMessage, TBuilder>
  where TMessage : IMessage<TMessage, TBuilder>
  where TBuilder : IBuilder<TMessage, TBuilder>

Ces interfaces garantissent qu'un message ne peut être construit que par son générateur correspondant, et qu'un générateur ne peut construire que son message correspondant.

Limitations

Bien que ce type de paramètre de type auto-référentiel présente des avantages, il n'empêche pas complètement le création de types invalides. Par exemple, les types suivants seraient compilés mais entraîneraient des comparaisons non valides :

public class First extends Enum<First> {}
public class Second extends Enum<First> {}

Dans ce cas, Second implémenterait Comparable plutôt que Comparable, permettant des comparaisons non valides.

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!