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
46
47
48
49
50
51
|
// 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 <cstdint>
#include <boost/safe_numerics/safe_integer.hpp>
using namespace std;
using namespace boost::safe_numerics;
void f(const unsigned int & x, const int8_t & y){
cout << x * y << endl;
}
void safe_f(
const safe<unsigned int> & x,
const safe<int8_t> & y
){
cout << x * y << endl;
}
int main(){
cout << "example 4: ";
cout << "mixing types produces surprising results" << endl;
try {
std::cout << "Not using safe numerics" << std::endl;
// problem: mixing types produces surprising results.
f(100, 100); // works as expected
f(100, -100); // wrong result - unnoticed
cout << "error NOT detected!" << endl;;
}
catch(const std::exception & e){
// never arrive here
cout << "error detected:" << e.what() << endl;;
}
try {
// solution: use safe types
std::cout << "Using safe numerics" << std::endl;
safe_f(100, 100); // works as expected
safe_f(100, -100); // throw error
cout << "error NOT detected!" << endl;;
}
catch(const std::exception & e){
cout << "error detected:" << e.what() << endl;;
}
return 0;
}
|
