46 lines
1.5 KiB
C++
46 lines
1.5 KiB
C++
// Copyright (c) 2018 Robert Ramey
|
|
//
|
|
// Distributed under the Boost Software License, Version 1.0. (See
|
|
// accompanying file LICENSE_1_0.txt or copy at
|
|
// http://www.boost.org/LICENSE_1_0.txt)
|
|
|
|
#include <iostream>
|
|
|
|
#include <boost/safe_numerics/safe_integer_range.hpp>
|
|
#include <boost/safe_numerics/safe_integer_literal.hpp>
|
|
#include <boost/safe_numerics/exception.hpp>
|
|
#include <boost/safe_numerics/native.hpp>
|
|
#include "safe_format.hpp" // prints out range and value of any type
|
|
|
|
using namespace boost::safe_numerics;
|
|
|
|
// create a type for holding small integers in a specific range
|
|
using safe_t = safe_signed_range<
|
|
-24,
|
|
82,
|
|
native, // C++ type promotion rules work OK for this example
|
|
loose_trap_policy // catch problems at compile time
|
|
>;
|
|
|
|
// create a type to hold one specific value
|
|
template<int I>
|
|
using const_safe_t = safe_signed_literal<I, native, loose_trap_policy>;
|
|
|
|
// We "know" that C++ type promotion rules will work such that
|
|
// addition will never overflow. If we change the program to break this,
|
|
// the usage of the loose_trap_policy promotion policy will prevent compilation.
|
|
int main(int, const char *[]){
|
|
std::cout << "example 83:\n";
|
|
|
|
constexpr const const_safe_t<10> x;
|
|
std::cout << "x = " << safe_format(x) << std::endl;
|
|
constexpr const const_safe_t<67> y;
|
|
std::cout << "y = " << safe_format(y) << std::endl;
|
|
auto zx = x + y;
|
|
const safe_t z = zx;
|
|
//auto z = x + y;
|
|
std::cout << "x + y = " << safe_format(x + y) << std::endl;
|
|
std::cout << "z = " << safe_format(z) << std::endl;
|
|
return 0;
|
|
}
|