Re: Java static binding for parameters and covariance/contravariance

On 8935 day of my life Eric Bodden wrote:
> A few months ago I banged my head against this static binding issue
> and I really found the Java approach not intuitive at all. I
> personally have the opinion that if one had a method
>
> void handle(Object o) {...}
>
> void handle(SpecialObject s) {...}
>
> then the latter should be seen as a specialization of the former. Of
> course then one would have other issues however: What about if one
> wants to call the first method ("super"-like) from the second one -
> does one want to allow this at all? There were more issues, I cannot
> remember right now...


SpecialObject s=...;
Object b=s;


handle(b); // Former method is called
handle(s); // Latter method is called


--
Ivan Boldyrev


                                    Sorry my terrible English, my native language is Lisp!

Return to the comp.compilers page.
Search the comp.compilers archives again.