[Langage] Tableaux en final et modification

Coucou,

Je suis tombé sur un "bug" bizarre :

Code:

---

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.

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:

---

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:

---

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

---

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

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:

---

1 2 3 4 5 6

class Person { private String name;   //getter + setter }

---

et

Code:

---

1 2 3 4

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

---

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

Citation:

---

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:

---

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]); } }

---

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é ? :aie:

F.

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

Par contre, c'est faisable pour les collections:

Code:

---

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

---

Citation:

---

Envoyé par djo.mos

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

Par contre, c'est faisable pour les collections:

Code:

---

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

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

Oui, tout à fait :

Code:

---

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

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.

Citation:

---

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

---

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)

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?

Citation:

---

Envoyé par herve91

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)

---

:oops: , 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.

Citation:

---

Envoyé par djo.mos

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.

Citation:

---

Envoyé par 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?

---

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.

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