Discussion :

[olivier252]

Bonjour,

Je pensais que l'on ne pouvait pas mélanger les types de data dans une boucle for, or ceci fonctionne très bien et je me demande pourquoi :
J'intègre un long et un int dans la boucle.

Code :

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

1
2
3
4
int x = 0; 
		long y = 5;
		for(y = 0, x = 0; x < 5 && y < 10; x++, y++) {  
			System.out.print(x + " "); }

La boucle est un peu idiote mais c'est pour l'exemple
Merci

[Cincinnatus]

Code :

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

1
2
3
int x = 0; 
        long y = 5;
        for(y = 0, x = 0; x < 5 && y < 10; x++, y++) {

Bonjour,

Les deux variables x et y sont de types différents, soit. Les deux variables sont indépendantes dans la boucle :

• elles sont initialisées indépendamment, quoique simultanément,
• elles sont comparées chacune à une valeur littérale,
• leurs valeurs sont modifiées par incrémentation.

Donc, ça ne pose aucun problème de compilation.

Si il y avait

Code :

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

while ((y < 10) && (flag == true))

il y aurait une comparaison entre une valeur numérique (int ou long, peu importe) et un booléen, sans aucun problème.

Par contre, avec

Code :

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

1
2
3
4
 
int x = 0; 
long y = 5;
for(y = 0, x = 0; x < 5 && y < x; x++, y++) {

le code serait transcrit comme

Code :

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

1
2
3
4
int x = 0; 
long y = 5;
for(y = 0, x = 0; x < 5 && y < (long)x; x++, y++) {

.
En effet, si deux valeurs numériques sont associées par affectation (int x = y, y étant long, ou l'inverse) ou comparaison, etc, elles sont transtypées dans le type contenant les plus grandes valeurs, et ici long est plus grand que int.
cf https://jmdoudoux.developpez.com/cou...php#syntaxe-10

[olivier252]

Merci de ta réponse,

Quand tu dis :

Les deux variables x et y sont de types différents, soit. Les deux variables sont indépendantes dans la boucle :

elles sont initialisées indépendamment, quoique simultanément,
elles sont comparées chacune à une valeur littérale,
leurs valeurs sont modifiées par incrémentation.



Donc, ça ne pose aucun problème de compilation.

Je ne saisis pas en quoi cela ne pose pas de soucis : ça veut dire quoi concrètement ? Que x (dans l'exemple) subit une conversion implicite en long selon le principe de promotion ?
Mais du coup, ça veut dire que l'on compare des long à des littéraux(int) dans la boucle ?

Désolé de pinailler, mais finalement ce que je croyais clair est assez confus

Du coup je reviens car je pense avoir trouvé :
Java considère l'initialisation dans la boucle comme l'on fait pour des variables d'instance à la volée comme par ex :

Code :

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

int a=2, b=3, c=11;

Sauf que ici ça se passe tout bêtement dans la boucle donc x et y sont de type long. C'est cela qui m'a dérouté !

[Cincinnatus]

Sauf que ici ça se passe tout bêtement dans la boucle donc x et y sont de type long. C'est cela qui m'a dérouté !

Ben non. Dans ce cas x n'a rien à voir avec y, et donc on n'a pas à modifier son type.

Dans le code que tu proposes en premier exemple :

Code :

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

1
2
int x = 0; long y = 5;
for(y = 0, x = 0; x < 5 && y < 10; x++, y++) {      System.out.print(x + " "); }

x et y sont indépendants, car initialisés séparément, incrémentés séparément, et en l'occurrence ne sont pas comparés l'un à l'autre.
On a bien (x < 5) d'un côté, (y < 10) de l'autre.

Ils existent dans la même portée (le bloc de code comportant l'ensemble du code montré). La boucle fait partie de cette portée. Mais il n y a pas besoin de transtypage. En fait, dans ton exemple, on aurait pu écrire

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
 
int x = 0;
long y = 0;
boolean b = true;
while (b) {
  ...
  x++;
  y++;
  boolean b1 = (x < 5);
  boolean b2 = (y < 10);
  b = b1 && b2;
}

Combien de fois est-on amené à faire des comparaisons complexes comportant des variables de différents types !

Exemples :

Code :

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

1
2
3
4
5
6
7
8
9
 
  int x = getNbDonnees();
  String c = getCode();
  if ("".equals(c) && (x > 0)) {...}
 
  int n = getIndex();
  long elevation = getElevation();
 
  if ((n > 0) && (elevation >= ELEVATION_MIN) && (elevation <= ELEVATION_MAX))  {...}

Là, aucun transtypage n'est nécessaire. Et entre int et String (chaîne de caractères), c'est impossible.


Et parfois il est nécessaire de transtyper, mais il y a des contraintes.

Code :

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

1
2
3
4
5
6
 
  int x = 1;
  long y = 643101648;
 
(1)  x = y + x;
(2)  y = y + x;

(1) devrait être refusé. un int ne peut contenir une donnée de type long.
Il faudrait (si on est sûr des valeurs réelles possibles) convertir explicitement en écrivant :

Code :

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

1
2
 
  x = (int)y + x;

(2) est converti automatiquement en

Code :

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

1
2
 
(2)  y = y + (long)x;

car un int peut être converti en long, plus grand, sans perte d'information.

[olivier252]

merci Cincinnatus

D'accord, je comprends que les 2 valeurs numériques sont converties implicitement en cas d'affectation ou de comparaison. Or ce n'est pas le cas dans mon exemple comme tu me l'as expliqué : x et y sont indépendants, car initialisés séparément, incrémentés séparément, et en l'occurrence ne sont pas comparés l'un à l'autre.

In fine, il n'y a pas de problème à la compilation. Donc est-ce qu'il faut comprendre que l'on peut déclarer des types différents dans le bloc d'initialisation de la boucle comme dans l'exemple (int x et long y) à condition que les conditions ci-dessus soient respectées ?

C'est ça que je n'arrive pas à saisir.

[Cincinnatus]

Donc est-ce qu'il faut comprendre que l'on peut déclarer des types différents dans le bloc d'initialisation de la boucle comme dans l'exemple (int x et long y) à condition que les conditions ci-dessus soient respectées ?

Oui, effectivement.

Comme le dit @jmdoudoux [1] 3.8.1 les boucles :
Dans la boucle for ( initialisation; condition; modification)
"Dans l'initialisation, on peut déclarer une variable qui servira d'index et qui sera dans ce cas locale à la boucle.
Il est possible d'inclure plusieurs traitements dans l'initialisation et la modification de la boucle : chacun des traitements doit être séparé par une virgule."

[1] https://jmdoudoux.developpez.com/cou...ap-syntaxe.php

Ce cours est une référence très accessible et on y trouve de quoi apprendre à différents niveaux de connaissances. J'y retourne parfois pour certains points, après des années de Java .

Bonne continuation,