Comment lire une notation particulière de la spécification du langage Java

Question

En lisant les spécifications du langage Java, j'ai trouvé quelques notations que je ne comprends pas. Par exemple celui-ci

Soit C une déclaration de type (§4.12.6, §8.1, §9.1) avec zéro ou plusieurs paramètres de type (§4.4) F1, ..., Fn qui ont des bornes correspondantes B1,. .., Bn. Cette déclaration de type définit un ensemble de types paramétrés (§4.5) C2, où chaque type d'argument Ti s'étend sur tous les types qui sont des sous-types de tous les types listés dans la borne correspondante. C'est-à-dire que pour chaque type lié Si dans Bi, Ti est un sous-type de Si [F1: = T1, ..., Fn: = Tn].

Qu'est-ce que Si [F1: = T1, ..., Fn: = Tn]? Comment le lire? Est-ce que quelqu'un sait? Merci ...

Answer 1

La même spécification décrit la notation au chapitre 2.

Answer 2

Voici la spécification Java actuelle:

http://download.oracle.com/otn-pub/jcp/jls-7-mr3-fullv-oth-JSpec/JLS-JavaSE7-Full.pdf

Je ne pouvais pas trouver la référence que vous avez cité ci-dessus. Sans en savoir plus sur ce dont parle le paragraphe que vous avez cité, nous ne pouvons pas mieux expliquer la notation.

Ma meilleure estimation est la suivante:

• Chaque "méthode" Java a une liste "signature" des arguments à cette fonction

• Chaque argument a un "type" (par exemple "T1") qui est une "gamme délimitée" de valeurs juridiques (par exemple "B1..BN").

Je vous encourage à consulter le chapitre 4: «Types, valeurs et variables».

Answer 3

Voir ce bug thread. En particulier cette phrase qui explique exactement ce que vous demandez:

Ainsi, étant donné une déclaration de type générique C un type C est bien formé si et seulement si T1 <: B1, T2 <: B2 ... Tn <: Bn.

Espérons que cela vous donnera une meilleure compréhension. Fondamentalement, la notation elle-même vous indique que chaque type de paramètre Fi est réellement affecté au sous-type Ti.