|
Boost : |
From: Jonathan Turkanis (technews_at_[hidden])
Date: 2005-03-31 00:03:58
Andras Erdei wrote:
> Peter Dimov wrote:
>
>> Since rounding is a subset of unspecified, it can only be worse if it
>> carries an unacceptable overhead when overflow does not occur. I
>> don't think that this is the case here.
>
> yes!
>
>> Exception on overflow is only better than rounding if no result is
>> better than an approximate result, that is, when the answer has to be
>> correct no matter what. This requirement is better served by
>> rational<unlimited> which does deliver a correct answer. I don't see
>> how rational<limited>+exception-on-overflow is better.
>
> after i failed to convince people that the current boost::rational is
> useless, i agreed to make an exception throwing version in the secret
> hope that it can be made the default, and as in practice it will
> always throw and never give
> a result, it will discourage people from using it
> what really makes this scary is that there is the very same rational
> proposal before the committee, and if it makes through we will have a
> standard that cannot be made to work for fixed precision (builtins)
> and cannot be implemented efficiently for unlimited precision
> (bigints)
>
>
> sorry, but feeling frustrated :O)
> andras
Hi Andras,
I'm sorry you feel frustrated, but I don't think it's warranted. IIRC, when you
raised the issues before, after a bit of discussion I essentially said that I
didn't have time to consider the matter fully, and would get to it later. Now
we're having a fuller discussion of the issues you raised, there seem to be more
participants than before, and no final decisions have been made. I'd say things
are going well.
Jonathan
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk