Discussion :

[bulbo]

Salut,

J'aimerais votre avis sur un bout de code assez troublant.

Si je ne dis pas de betise, l'execution d'une methode depends du type dynamique de l'objet et non pas du type de declaration de la variable.

Alors je ne comprends pas pourquoi ce code:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
public abstract class MyTest
{   
    public abstract void toto(Object ...a);
}
 
class Test2 extends MyTest
{
    public void toto(Object ...a)
    {
	System.out.println("La une");
    }
 
    public void toto(Object a, Object b)
    {
	System.out.println("La deux");
    }
 
    public static void main(String args[])
    {
	Test2 m2 = new Test2();
	MyTest m1 = m2;
	m1.toto("A", "B");
	m2.toto("A", "B");
    }
}

Produit cette sortie:

La une
La deux

Bulbo

[bulbo]

Oubliez ce que j'ai dit apres un peu de lecture: (http://java.sun.com/docs/books/jls/t...ml/j3TOC.html).

Il semblerait que c'est normal, d'ailleurs ce n'est pas seulement l'ellipse qui est concernee, le meme exemple en utilisant des Objects et des Strings provoque le meme phenomene.

Apparemment lors de la resolution d'une methode appelee ainsi:

Code :

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

var.method

La methode est recherchee dans le type de declaration de var.

Ca me perturbe un peu mais bon au moins j'ai l'explication.

Bulbo

[BainE]

bonjour,

c'est le choix du compilo (VM), si plusieurs methodes peuvent correspondre, il doit choisir la plus adaptée selon ces critères.

Pour le premier appel, l'object MyTest doit voir en priorité la seule méthode qui lui est déclarée. (la portée doit etre un des critère)
Pour le second appel il doit préférer celle qui possede le meme nombre d'arguments ( critère secondaire ), du fait de leur visibilité égale

il est vrai que a cause du typage dynamique, je n'aurais pas pensé ca.

[edit] Grilled

[bulbo]

Surtout que d'autres langages objets n'ont pas choisis cette facon de faire, Eiffel par exemple.

Bulbo

[®om]

C'est surtout que le choix de la signature de la méthode à exécuter est fait à la compilation...
Lors de la compilation, m1.toto("A","B") ne peut correspondre qu'à la méthode de MyTest, et donc à la signature qui écrit "La une".

J'ai déjà fait ce genre de chose en TD...