blob: 829dff29973240b8791f08d712bb826511fc5ab9 (
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
33
34
35
36
37
38
39
40
41
42
43
44
45
|
#include <iostream>
#include <limits>
#include <boost/rational.hpp>
#include <boost/safe_numerics/safe_integer.hpp>
int main(int, const char *[]){
// simple demo of rational library
const boost::rational<int> r {1, 2};
std::cout << "r = " << r << std::endl;
const boost::rational<int> q {-2, 4};
std::cout << "q = " << q << std::endl;
// display the product
std::cout << "r * q = " << r * q << std::endl;
// problem: rational doesn't handle integer overflow well
const boost::rational<int> c {1, INT_MAX};
std::cout << "c = " << c << std::endl;
const boost::rational<int> d {1, 2};
std::cout << "d = " << d << std::endl;
// display the product - wrong answer
std::cout << "c * d = " << c * d << std::endl;
// solution: use safe integer in rational definition
using safe_rational = boost::rational<
boost::safe_numerics::safe<int>
>;
// use rationals created with safe_t
const safe_rational sc {1, INT_MAX};
std::cout << "c = " << sc << std::endl;
const safe_rational sd {1, 2};
std::cout << "d = " << sd << std::endl;
std::cout << "c * d = ";
try {
// multiply them. This will overflow
std::cout << sc * sd << std::endl;
}
catch (std::exception const& e) {
// catch exception due to multiplication overflow
std::cout << e.what() << std::endl;
}
return 0;
}
|