Discussion :

[mafanta]

Bonjour,

J'aimerais comprendre la syntaxe ci-dessous:

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.

[adiGuba]

Salut,

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)...

2- Pourquoi Comparable<T> et pas Comparable.

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


a++

[mafanta]

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:

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

Par contre je comprends un peu plus la syntaxe suivante:

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

[+Guilhem]

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> ?

[mafanta]

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

<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.

[+Guilhem]

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).

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é.

[LGnord]

La question semble porter sur la sémantique de:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

T implements Comparable<T>

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

[mafanta]

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

Oui.

[mafanta]

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.

[thelvin]

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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.