Generics Comparable <T>

Bonjour,

J'aimerais comprendre la syntaxe ci-dessous:

Citation:

---

public <T extends Serializable & Comparable<T>> void method(T data)

---

C'est un exemple que j'ai chopé dans la FAQ java.

En fait voici mes interrogations:

1- Pourquoi "T" et pas "S" par exemple.
2- Pourquoi Comparable<T> et pas Comparable.

Je suis preneur de toute explication.

Salut,

Citation:

---

Envoyé par mafanta

1- Pourquoi "T" et pas "S" par exemple.

---

Par convention les types Generics utilisent une seule et unique lettre en majuscule. Cela permet de les distinguer des autres types...

Après S, T, U ou une autre lettre cela n'a aucune importance et ca reste au choix du développeur. Les plus souvent utilisés sont T (pour Type), E (pour Element) K (pour Key), ou V (pour Value)...

Citation:

---

Envoyé par mafanta

2- Pourquoi Comparable<T> et pas Comparable.

---

Ben le second n'utilise pas les Generics et n'est donc pas typé...


a++

Citation:

---

Ben le second n'utilise pas les Generics et n'est donc pas typé

---

Oui mais je ne comprends pas la syntaxe entierement c'est à dire:

Citation:

---

public <T extends Serializable & Comparable<T>> void method(T data)

---

Par contre je comprends un peu plus la syntaxe suivante:

Citation:

---

public <T extends Serializable & Comparable> void method(T data)

---

Tout dépend du contexte, de la problématique à laquelle tu es confrontée...
Mais depuis l'introduction des generics (Java 5), il est conseillé de typer les classes génériques, même si cela n'est pas obligatoire. A la limite tu peux utiliser les wildcards (Comparable<?>).

En quoi tu comprends plus la signature avec Comparable plutôt que Comparable<T> ?

En gros ce que je ne comprends pas c'est public:

Citation:

---

<T extends Serializable & Comparable<T>> void method(T data)

---

Pour moi ca veut dire que method est une méthode qui prends en argument T qui étends la classe Serializable et Comparable (est-ce bien ca?).

Si oui, je ne comprends alors pas pour quoi "<T>" apres Comparable.

Merci pour vos explications.

Citation:

---

Envoyé par mafanta

Pour moi ca veut dire que method est une méthode qui prends en argument T qui étends la classe Serializable et Comparable (est-ce bien ca?).

---

Oui (ou plutôt en l'occurrence implémente).

Citation:

---

Envoyé par mafanta

Si oui, je ne comprends alors pas pour quoi "<T>" apres Comparable.

---

Cela veut simplement dire que "un objet de type T est comparable à un objet de type T". Rien de plus.
Si on avait pas indiqué le <T>, cela aurait voulu dire que "un objet de type T est comparable à un objet de type quelconque".

Avec <T> on limite simplement le champ d'action en spécifiant explicitement le type concerné.

La question semble porter sur la sémantique de:

Code:

---

T implements Comparable<T>

---

Est-ce bien cela le problème? Crains-tu que cette déclaration soit récursive et donc infini?

Citation:

---

La question semble porter sur la sémantique de: T implements Comparable<T>

---

Oui.

Citation:

---

La question semble porter sur la sémantique de:
T implements Comparable<T>
Est-ce bien cela le problème? Crains-tu que cette déclaration soit récursive et donc infini?

---

Oui exact.

Eh bien, elle n'est pas récursive. Pas plus que ne l'est :

Code:

---

1 2	int a = 1; a = a + 2;

---

En gros, le type variable T est déclaré, indique ses contraintes, puis, sa définition permettant son utilisation, il est utilisé pour ajuster ces même contraintes.

T désigne donc n'importe quel type qui soit un Comparable de lui-même.

Ça a l'air évident : les implémentations de Comparable sont forcément Comparables à elles-mêmes, et pas à des moineaux. En réalité, quand on commence à jouer avec l'héritage, on saisait un peu mieux ce que ça veut dire.
Bref, ce T extends Machin<T> indique juste que le type variable utilisé doit se traiter lui-même. Normal pour tout ce qui est Comparable.

Exemple : Integer implémente Comparable<Integer> : ça marche, il est accepte comme T.

Boolean n'implémente pas Comparable : il n'est pas acceptable comme T.

La classe ci-dessous implémente Comparable<Integer>, mais elle n'est pas elle-même acceptable comme Integer : elle n'est donc pas acceptable comme T.

Code:

---

1 2 3 4 5

class Bizarre implements Comparable<Integer> { public int compareTo(Integer i) { return 0; } }

---

Et en fait, elle est complètement inutilisable pour de nombreuses raisons.