blob: e9cd464880c9f3adf08b942483e81225ce301de7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
#include <type_traits>
#include <boost/safe_numerics/safe_integer.hpp>
#include <boost/safe_numerics/safe_integer_range.hpp>
#include <boost/safe_numerics/utility.hpp>
using namespace boost::safe_numerics;
void f(){
safe_unsigned_range<7, 24> i;
// since the range is included in [0,255], the underlying type of i
// will be an unsigned char.
i = 0; // throws out_of_range exception
i = 9; // ok
i *= 9; // throws out_of_range exception
i = -1; // throws out_of_range exception
std::uint8_t j = 4;
auto k = i + j;
// if either or both types are safe types, the result is a safe type
// determined by promotion policy. In this instance
// the range of i is [7, 24] and the range of j is [0,255].
// so the type of k will be a safe type with a range of [7,279]
static_assert(
is_safe<decltype(k)>::value
&& std::numeric_limits<decltype(k)>::min() == 7
&& std::numeric_limits<decltype(k)>::max() == 279,
"k is a safe range of [7,279]"
);
}
int main(){}
|