Re: [boost] Re: Re: proposal: safe arithmetic class

From: David Abrahams (dave_at_[hidden])
Date: 2003-01-16 12:21:45

"Thorsten Ottosen" <nesotto_at_[hidden]> writes:

> <Bjorn.Karlsson_at_[hidden]> wrote in message
> news:3D8559AE95B4D611B02C0002557C6C8B3C45CC_at_STH-EXCH...
>> > From: David Abrahams [mailto:dave_at_[hidden]]
>> >
>> > The huge advantage appears when you start looking at arithmetic
>> > expressions.  The result of
>> >
>> > if (t < u)
>> > {
>> >     x = y + z * w;
>> > }
>> >
>> > could be a lot more predictable if we were working with types that
>> > didn't perform implicit lossy conversions.
>>
>> In some cases, sure. But without some exceptionally creative use of
>> expression templates, you'd have a situation where the ordering of
> variables
>> determine the validity of the expression

I think that's a desirable property in this case.  The whole point is
to catch nonsense at compile time.

-- 
                       David Abrahams
   dave_at_[hidden] * http://www.boost-consulting.com
Boost support, enhancements, training, and commercial distribution