Discussion :

[bzzzzz]

Bonjour à toutes et à tous, j'ai une question sur les conversions implicites et vous pouvez sûrement m'éclairer...Voici le problème:

byte a = 128 ; //erreur : ne peut pas convertir un int en byte...

Je souhaite savoir pourquoi j'ai cette erreur là, car logiquement pour moi l'erreur porterai sur un dépassement de capacité du type byte.

[thelvin]

En fait, ton interprétation me semble plus correcte que ce message d'erreur. Si l'entier était dans les capacités du type byte, il n'y aurait pas d'erreur, on peut donc dire que l'erreur vient du dépassement de capacité.

Mais cela est une règle particulière du compilateur. Au départ, 128 est un littéral, de type int, pas de type byte. Il n'y a pas de littéral de type byte.
Cette assignation, avec conversion implicite de int vers byte, est acceptée si la valeur assignée est une expression constante (connue du compilateur donc,) et qu'elle fait partie des valeurs possibles du type assigné.

Ici la deuxième condition n'est pas remplie, 128 n'est pas une valeur possible de byte. La conversion implicite int vers byte n'est donc pas autorisée.

[danimo]

Salut,

Je me demande toujours pourquoi le message d'erreur n'est pas du genre:
"les valeurs limites de byte ne sont pas respectées".

la valeur maximale d'un byte est 127,
la valeur minimale d'un byte est -128...

Cordialement,

Dan

[tchize_]

J'ai du fouiller, mais bon ^^


C'est le résultat de cette section du JLS:

5.2 Assignement conversion

Qui régit la conversion de type lors de l'assignement à une variable. Il y est précisé:

In addition, if the expression is a constant expression (§15.28) of type byte, short, char, or int:

A narrowing primitive conversion may be used if the type of the variable is byte, short, or char, and the value of the constant expression is representable in the type of the variable.

En l'occurence, ici, "127" ou "128" sont des expression constantes de type int que l'on veux stocker dans un byte. Dans le premiers cas, 127 tiens dans un byte -> on appliquer une conversion int -> byte. 128 n'y tiens pas, donc on continue la suite des opérations du point 5.2. C'est seulement bien plus tard dans la chaîne que le compilateur se rendra compte qu'on essaie de faire rentrer un int dans un byte. D'où le message d'erreur classique.