Discussion :

[®om]

Suite à cet article: Créer une classe immuable

* La classe doit être déclarée final (dans le cas contraire, il serait possible de modifier une instance par héritage)

On ne peut donc pas faire d'héritage entre classes immuables?

* La référence à this ne doit jamais être exportée

Je ne comprends pas la signification


Avant je n'utilisais jamais final pour des classes immuables, je vais changer ça
Merci

[le y@m's]

Suite à cet article: Créer une classe immuable

* La classe doit être déclarée final (dans le cas contraire, il serait possible de modifier une instance par héritage)

On ne peut donc pas faire d'héritage entre classes immuables?

Malheureusement non, une classe immuable n'est pas (ne doit pas) être dérivable.

* La référence à this ne doit jamais être exportée

Je ne comprends pas la signification

Cela veut dire que tu ne dois pas avoir de méthode renvoyant this :

Code :

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

1
2
3
4
5
6
7
8
public final MauvaiseClasseImmuable { 

    // ...

     public MauvaiseClasseImmuable getThis() {
        return this;
    }
}

[®om]

Cela veut dire que tu ne dois pas avoir de méthode renvoyant this :

Code :

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

1
2
3
4
5
6
7
8
public final MauvaiseClasseImmuable { 

    // ...

     public MauvaiseClasseImmuable getThis() {
        return this;
    }
}

Pourquoi donc?

De toute façon, si tu appelles getThis(), c'est que tu connais déjà l'objet sur lequel tu l'appliques... Pourquoi interdire cela?

A la limite avec un final pour la méthode getThis() pour éviter de le redéfinir dans une sous-classe...

[adiGuba]

Salut,

On ne peut donc pas faire d'héritage entre classes immuables?

Non, car la classe fille peut "casser" la notion d'immuabilité.

Un exemple : cette classe qui représente un Integer Immuable (il s''agit bien sûr d'un exemple inutile car Integer est déjà immuable) :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
class ImmuableInteger {
 
    private final int value;
 
    public ImmuableInteger(int value) {
        this.value = value;
    }
 
    public int getValue() {
        return this.value;
    }
}

Elle semble tout à fait correct (pas besoin de protéger les types primitifs puisqu'ils sont copié lors de l'exportation), et nous garantit que tous les appels à getValue() renvoyent la même chose...


Toutefois, si l'on prend cette classe fille :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
class IncrementInteger extends ImmuableInteger {
    private int count = 0;
 
    public IncrementInteger(int value) {
        super(value);
    }
 
    public int getValue() {
 
        return (++this.count + super.getValue() );
    }
}

On incrémente la valeur de l'objet à chaque fois qu'on y accède : on casse donc l'immuabilité de la classe.
Ainsi le code suivant peut afficher deux valeur différentes selon le type exact de ii :

Code :

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

1
2
3
ImmuableInteger ii = ...
System.out.println(ii.getValue());
System.out.println(ii.getValue());

* La référence à this ne doit jamais être exportée

Je ne comprends pas la signification

Je n'y avais pas vraiment fait attention lorsque j'ai lu l'article... mais j'avoue ne pas très bien comprendre la raison de cela...

a++