Re: [boost] a safe integer library

Hi Brook, On Tue, Jan 12, 2016 at 9:46 AM, Brook Milligan wrote:

...

On Dec 17, 2015, at 12:16 AM, David Stone > wrote:

I have written a similar library (http://doublewise.net/c++/bounded/ < http://doublewise.net/c++/bounded/>), and I have a few questions about your implementation.

I am curious whether either of you (Robert and David) have handled the need to evaluate the condition “is X (an object of type with some _potentially_ wide range) within bounds of Y (an object of type with some _potentially_ narrow range)?

In my bounded::integer library, I have a few functions in the detail namespace. value_fits_in_type<type>(value); type_overlaps_range<type>(min, max); type_fits_in_range<type>(min, max); types_overlap::value I plan on rewriting this part of my code at some point to use Boost.Hana and give it a more consistent interface. As you can see, I think I actually covered almost every possibility except your use case of type_fits_in_type, but the definitions are pretty straightforward. When I rewrite them, I may consider moving them out of the detail namespace.