Re: Ada and Java. different behaviour. casting long to int problem.

[D'Arcy Smith <nospam@itools.symantec.com>]

"George W. Bayles" wrote:

> > Could the language be defined differently to point out overflow
> > erorrs?  Sure.

> Perhaps you assume that all processors can automatically detect
> integer overflow in hardware? Any requirement wrt handling integer
> overflow you make in the language would incur severe performance
> penalties if the hardware doesn't support it.

No I don't assume it - I was thinking that it could be an optional
operation that the compiler could do... but thinking more about it
that belongs at the VM level.

If it is optional (like "strictfp") then people at least know that
there will be a performance penalty that changes depending on the VM 
implementation.


> It's a tradeoff - safety vs performance. How much safety are you
> losing though? Almost all the integer ops in a real program will
> never overflow. The few that can overflow can be readily checked

> int a,b,c;
> ....
> a = b + c;
> boolean overflowed = (c<0) ? (a>b) : (a<b);

And you could provide a class do that (it wouldn't be as nice
and nobody start on overloaded operators!):

   // just using what you did above
   public class SafeMath
   {
       public int add(int a, int b) 
       {
           int result;

           result = b + c;
           
           if(b < 0) ? (result > a) : (result < a)
           {
               // a runtime exception.
               throw new OverflowException(a + " + " + b);   
           }
       }

       etc...
   }

   ...
   try
   {
       SafeMath.add(5, 6);
   }
   catch(OverflowException ex)
   {
   }
   ...

The try/catch are optional.

This solution is nice because it requres no language change and is
easy to implement.  The downside is that there is a performance hit 
regardless of your hardware... it also doesn't look real pretty :-)

..darcy
-- 
D'Arcy Smith
Sr. Software Engineer
Symantec, Internet Tools Division

If you simply reply to this email it will get forwarded to /dev/null
My Email address is darcy at itools dot symantec dot com