Re: [boost] [integer] Type-safe and bounded integers with compile-time checking

Subject: Re: [boost] [integer] Type-safe and bounded integers with compile-time checking
From: Mathias Gaunard (mathias.gaunard_at_[hidden])
Date: 2011-09-05 05:30:48

On 09/04/2011 09:16 PM, Leif Linderstam wrote:

> What I have not found yet though is a library that checks bounds at
> compile time. Me personally I would like to have the compiler check as
> much as possible. For instance, the compiler would complain about an
> assignment if the target's range is not a superset of the source's, unless
> an explicit conversion is made.
>
> Does anyone know of a library supporting this?

How would addition and multiplication work?