Re: Operation can be dispatching in only one type

[Jean-Pierre Rosen <rosen@adalog.fr>]

John B. Matthews a écrit :
>> This is the Java rule I had in mind. I found it thanks to the
>> link you have supplied:
>> "A Java compiler must carry out a specific conservative flow
>>   analysis to make sure that, for every access of a local
>>   variable or blank final field f, f is definitely assigned
>>   before the access; otherwise a compile-time error must occur."
> 
> I can see the appeal of adding such an analysis to Ada.
> 
> <http://java.sun.com/docs/books/jls/third_edition/html/defAssign.html>
> 
Unless it has changed recently (it is sometimes since I updated my Java
education), the Java solution is not bullet-proof: you can still access
variables before initialization from constructors. Note that if the Java
people were confident in their rule, there would be no need to require
that every variable be initialized to zero!

-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr