mirror of
https://github.com/boostorg/safe_numerics.git
synced 2026-02-08 23:12:15 +00:00
32 lines
1.1 KiB
C++
32 lines
1.1 KiB
C++
#include <iostream>
|
|
|
|
#include "../include/safe_range.hpp"
|
|
#include "../include/safe_literal.hpp"
|
|
#include "../include/exception.hpp"
|
|
#include "../include/native.hpp"
|
|
#include "safe_format.hpp" // prints out range and value of any type
|
|
|
|
using namespace boost::numeric; // for safe_literal
|
|
|
|
// create a type for holding small integers. We "know" that C++ type
|
|
// promotion rules will work such that operations on this type
|
|
// will never overflow. If change the program to break this, the
|
|
// usage of the trap_exception promotion policy will prevent compilation.
|
|
using safe_t = safe_signed_range<
|
|
-24,
|
|
82,
|
|
native, // C++ type promotion rules work OK for this example
|
|
trap_exception // catch problems at compile time
|
|
>;
|
|
|
|
int main(int argc, const char * argv[]){
|
|
std::cout << "example 83:\n";
|
|
const safe_signed_literal<2> x;
|
|
const safe_signed_literal<2> y;
|
|
const safe_t z = x + y;
|
|
std::cout << "x = " << safe_format(x) << std::endl;
|
|
std::cout << "y = " << safe_format(y) << std::endl;
|
|
std::cout << "z = " << safe_format(z) << std::endl;
|
|
return 0;
|
|
}
|