Discussion :

[mavina]

Coucou,

Je suis tombé sur un "bug" bizarre :

Code :

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

1
2
3
4
5
6
7
8
9
10
public class Test
{
	public final static int[] temp = { 0, 0, 0};
 
	public static void main(String[] args)
	{
		temp[1] = 2;
		System.out.println(temp[1]);
	}
}

me renvoie 2 dans la console... Or le tableau est déclaré en final, on n'est pas censé pouvoir le modifier...

Quelqu'un a une info là dessus ? C'est un bug référencé ?

F.

[Jabbal'H]

c'est pas un bug, enfin à ma connaissance. Si je ne dis pas de bétise, ce doit être le même principe qu'en c, en c un tableau est toujours passé par référence dans une méthode par exemple.
Qu'on me corrige si je m'égare.
Grosso modo si tu faisait :

Code :

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

 final int[] test = null;

Déjà ca sert à rien :d, mais tu ne pourrais pas faire de new.

c'est la meme chose qu'avec un ArrayList par ex

Code :

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

1
2
 final ArrayList<String> liste = new ArrayList<String>();
liste.add("coucou");

Si je ne m'abuse, ca aussi ca doit marcher.

[djo.mos]

Bonjour,
Non, ce n'st pas un bug: le final ici veut dire que la référence temp ne peut pas être changé pour pointer vers un autre tableau par exemple. Mais tu peux faire ce que tu veux avec les données pointés par cette référence.

C'est de même pour les objets:

Code :

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

1
2
3
4
5
6
 
class Person {
  private String name;
 
  //getter + setter
}

et

Code :

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

1
2
3
4
 
final Person p = new Person("djo");
p.setName("mos"); //Ok !
p = null; // Nop, ça passe po

[maxime_c]

Extrait du site : http://www.ethnoinformatique.fr/mod/...ew.php?id=1078

Le caractère final peut être attribué à une variable objet, auquel cas on comprendrait au premier abord que l'objet est constant.

Cependant la question se pose : Est-ce la référence qui est constante, ou sont-ce les membres qui sont figés ?

Le Java reste cohérent en définition à ce niveau : c'est bien la référence objet qui est finale, c'est à dire qu'il sera impossible de lui attribuer un autre objet que celui qui est fourni par l'initialiseur statique au moment de la déclaration de la variable.

On peut donc modifier les valeurs des membres d'un objet final.

conclusion :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
 
public class Test
{
 
	public final static int[] temp = {0, 0, 0};
 
	public static void main(String[] args)
	{
		temp[1] = 2;	//OK, on modifie la valeur
		temp = new int[3];	//KO, temp est static
		System.out.println(temp[1]);
	}
}

[mavina]

Donc c'est moi qui ai mal compris le final : on déclare la référence en final mais on peut modifier l'objet référencé.

Alors comment créer un tableau qui ne peut pas être modifié ?

F.

[djo.mos]

Hum ... pas possible ça, à ma connaissance.

Par contre, c'est faisable pour les collections:

Code :

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

1
2
3
4
5
 
List<String> list = Arrays.asList("chaine", "de", "chars");
Collection<String> finalList = Collections.unmodifiableCollection(list);
finalList.add("test");//=>UnsupportedOperationException
finalList.remove("de");//=>UnsupportedOperationException

[mavina]

Hum ... pas possible ça, à ma connaissance.

Par contre, c'est faisable pour les collections:

Code :

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

1
2
3
4
5
 
List<String> list = Arrays.asList("chaine", "de", "chars");
Collection<String> finalList = Collections.unmodifiableCollection(list);
finalList.add("test");//=>UnsupportedOperationException
finalList.remove("de");//=>UnsupportedOperationException

LE probleme étant que je programme en javaME donc pas de collections (enfin si, la classe Vector mais elle est si couteuse qu'on ne l'utilise quasiment jamais)...

[djo.mos]

Peut être en faisant une sorte de wrapper tout mince autour des arrays ?

[herve91]

Oui, tout à fait :

Code :

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

1
2
3
4
5
6
7
8
9
10
class Wrapper {
  Object[] t;
  public Wrapper(Object t[]) {
    this.t = (Object[]) t.clone();
  }
 
  public Object get(int i) {
    return t[i];
  }
}

et les classes équivalentes pour des tableaux de type primitif (int, long, ...)

[djo.mos]

Faut juste ajouter un attribut boolean readOnly et un test sur sa valeur dans la méthode set ... cet attribut doit être positionanble selement dans le constructeur.

[herve91]

Faut juste ajouter un attribut boolean readOnly et un test sur sa valeur dans la méthode set ... cet attribut doit être positionanble selement dans le constructeur.

Il n'y a pas de méthode set. Ce qui fait que dès la compilation, on ne peut pas écrire de code modifiant le tableau (cf. par exemple Collections.unmodifiableCollection() qui fait la vérification à l'exécution)

[Tux++]

petite question,

pourquoi chercher à rendre ton tableau immutable dans la classe que tu crées?

je m'explique, si c'est un package à importer et que tu ne veux pas que ceux qui l'utilisent puissent modifier le tableau à l'appel du package, il suffit de déclarer ton attribut en private ou protected, il ne sera alors modifiable que dans la classe que toi-même tu as crée et donc pas de soucis.

en fait je ne vois pas dans quel tu aurais besoin qu'il ne soit pas modifiable en interne?

[djo.mos]

Il n'y a pas de méthode set. Ce qui fait que dès la compilation, on ne peut pas écrire de code modifiant le tableau (cf. par exemple Collections.unmodifiableCollection() qui fait la vérification à l'exécution)

, pardon, je n'ai fait que survoler ton exemple.
En fait, ce que tu proposes est une version immutable du wrapper.
Moi, je pensais plutôt à un wrapper générique, qui peut être mutable ou immutable, le tout contrôlé par l'attribut readOnly dès sa construction.

[herve91]

Moi, je pensais plutôt à un wrapper générique, qui peut être mutable ou immutable, le tout contrôlé par l'attribut readOnly dès sa construction.

Oui, il suffit d'étendre Wrapper en MutableWrapper et d'ajouter l'attribut readOnly et la méthode set.

[mavina]

petite question,

pourquoi chercher à rendre ton tableau immutable dans la classe que tu crées?

je m'explique, si c'est un package à importer et que tu ne veux pas que ceux qui l'utilisent puissent modifier le tableau à l'appel du package, il suffit de déclarer ton attribut en private ou protected, il ne sera alors modifiable que dans la classe que toi-même tu as crée et donc pas de soucis.

en fait je ne vois pas dans quel tu aurais besoin qu'il ne soit pas modifiable en interne?

C'est simple, avant la compilation j'ai un preprocess qui remplace mes constantes dans le code pour faire le moins d'appel possible et de liens, et comme mon tableau est un tableau de coordonnées...

F.

[Tux++]

ok, alors je vois, je pensais juste à un point de vue interne, merci