1<html> 2<head> 3<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII"> 4<title>Mixing Approaches</title> 5<link rel="stylesheet" href="../boostbook.css" type="text/css"> 6<meta name="generator" content="DocBook XSL Stylesheets V1.79.1"> 7<link rel="home" href="../index.html" title="Safe Numerics"> 8<link rel="up" href="../eliminate_runtime_penalty.html" title="Eliminating Runtime Penalty"> 9<link rel="prev" href="1.html" title="Using Automatic Type Promotion"> 10<link rel="next" href="../case_studies.html" title="Case Studies"> 11</head> 12<body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"> 13<table cellpadding="2" width="100%"><tr> 14<td valign="top"><img href="index.html" height="164px" src="pre-boost.jpg" alt="Library Documentation Index"></td> 15<td><h2>Safe Numerics</h2></td> 16</tr></table> 17<div class="spirit-nav"> 18<a accesskey="p" href="1.html"><img src="../images/prev.png" alt="Prev"></a><a accesskey="u" href="../eliminate_runtime_penalty.html"><img src="../images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../images/home.png" alt="Home"></a><a accesskey="n" href="../case_studies.html"><img src="../images/next.png" alt="Next"></a> 19</div> 20<div class="section"> 21<div class="titlepage"><div><div><h3 class="title"> 22<a name="safe_numerics.eliminate_runtime_penalty.3"></a>Mixing Approaches</h3></div></div></div> 23<p>For purposes of exposition, we've divided the discussion of how to 24 eliminate runtime penalties by the different approaches available. A 25 realistic program could likely include all techniques mentioned above. 26 Consider the following:</p> 27<pre class="programlisting"><span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">stdexcept</span><span class="special">></span> 28<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">iostream</span><span class="special">></span> 29 30<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">safe_numerics</span><span class="special">/</span><span class="identifier">safe_integer</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 31<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">safe_numerics</span><span class="special">/</span><span class="identifier">safe_integer_range</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 32<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">safe_numerics</span><span class="special">/</span><span class="identifier">automatic</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 33<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">safe_numerics</span><span class="special">/</span><span class="identifier">exception</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 34 35<span class="preprocessor">#include</span> <span class="string">"safe_format.hpp"</span> <span class="comment">// prints out range and value of any type</span> 36 37<span class="keyword">using</span> <span class="keyword">namespace</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">safe_numerics</span><span class="special">;</span> 38 39<span class="keyword">using</span> <span class="identifier">safe_t</span> <span class="special">=</span> <span class="identifier">safe_signed_range</span><span class="special"><</span> 40 <span class="special">-</span><span class="number">24</span><span class="special">,</span> 41 <span class="number">82</span><span class="special">,</span> 42 <span class="identifier">automatic</span><span class="special">,</span> 43 <span class="identifier">loose_trap_policy</span> 44<span class="special">></span><span class="special">;</span> 45 46<span class="comment">// define variables used for input</span> 47<span class="keyword">using</span> <span class="identifier">input_safe_t</span> <span class="special">=</span> <span class="identifier">safe_signed_range</span><span class="special"><</span> 48 <span class="special">-</span><span class="number">24</span><span class="special">,</span> 49 <span class="number">82</span><span class="special">,</span> 50 <span class="identifier">automatic</span><span class="special">,</span> <span class="comment">// we don't need automatic in this case</span> 51 <span class="identifier">loose_exception_policy</span> <span class="comment">// assignment of out of range value should throw</span> 52<span class="special">></span><span class="special">;</span> 53 54<span class="comment">// function arguments can never be outside of limits</span> 55<span class="keyword">auto</span> <span class="identifier">f</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">safe_t</span> <span class="special">&</span> <span class="identifier">x</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">safe_t</span> <span class="special">&</span> <span class="identifier">y</span><span class="special">)</span><span class="special">{</span> 56 <span class="keyword">auto</span> <span class="identifier">z</span> <span class="special">=</span> <span class="identifier">x</span> <span class="special">+</span> <span class="identifier">y</span><span class="special">;</span> <span class="comment">// we know that this cannot fail</span> 57 <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special"><<</span> <span class="string">"z = "</span> <span class="special"><<</span> <span class="identifier">safe_format</span><span class="special">(</span><span class="identifier">z</span><span class="special">)</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">endl</span><span class="special">;</span> 58 <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special"><<</span> <span class="string">"(x + y) = "</span> <span class="special"><<</span> <span class="identifier">safe_format</span><span class="special">(</span><span class="identifier">x</span> <span class="special">+</span> <span class="identifier">y</span><span class="special">)</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">endl</span><span class="special">;</span> 59 <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special"><<</span> <span class="string">"(x - y) = "</span> <span class="special"><<</span> <span class="identifier">safe_format</span><span class="special">(</span><span class="identifier">x</span> <span class="special">-</span> <span class="identifier">y</span><span class="special">)</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">endl</span><span class="special">;</span> 60 <span class="keyword">return</span> <span class="identifier">z</span><span class="special">;</span> 61<span class="special">}</span> 62 63<span class="keyword">int</span> <span class="identifier">main</span><span class="special">(</span><span class="keyword">int</span> <span class="identifier">argc</span><span class="special">,</span> <span class="keyword">const</span> <span class="keyword">char</span> <span class="special">*</span> <span class="identifier">argv</span><span class="special">[</span><span class="special">]</span><span class="special">)</span><span class="special">{</span> 64 <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special"><<</span> <span class="string">"example 84:\n"</span><span class="special">;</span> 65 <span class="identifier">input_safe_t</span> <span class="identifier">x</span><span class="special">,</span> <span class="identifier">y</span><span class="special">;</span> 66 <span class="keyword">try</span><span class="special">{</span> 67 <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special"><<</span> <span class="string">"type in values in format x y:"</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">flush</span><span class="special">;</span> 68 <span class="identifier">std</span><span class="special">::</span><span class="identifier">cin</span> <span class="special">>></span> <span class="identifier">x</span> <span class="special">>></span> <span class="identifier">y</span><span class="special">;</span> <span class="comment">// read varibles, maybe throw exception</span> 69 <span class="special">}</span> 70 <span class="keyword">catch</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">exception</span> <span class="special">&</span> <span class="identifier">e</span><span class="special">)</span><span class="special">{</span> 71 <span class="comment">// none of the above should trap. Mark failure if they do</span> 72 <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special"><<</span> <span class="identifier">e</span><span class="special">.</span><span class="identifier">what</span><span class="special">(</span><span class="special">)</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">endl</span><span class="special">;</span> 73 <span class="keyword">return</span> <span class="number">1</span><span class="special">;</span> 74 <span class="special">}</span> 75 <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special"><<</span> <span class="string">"x"</span> <span class="special"><<</span> <span class="identifier">safe_format</span><span class="special">(</span><span class="identifier">x</span><span class="special">)</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">endl</span><span class="special">;</span> 76 <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special"><<</span> <span class="string">"y"</span> <span class="special"><<</span> <span class="identifier">safe_format</span><span class="special">(</span><span class="identifier">y</span><span class="special">)</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">endl</span><span class="special">;</span> 77 <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special"><<</span> <span class="identifier">safe_format</span><span class="special">(</span><span class="identifier">f</span><span class="special">(</span><span class="identifier">x</span><span class="special">,</span> <span class="identifier">y</span><span class="special">)</span><span class="special">)</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">endl</span><span class="special">;</span> 78 <span class="keyword">return</span> <span class="number">0</span><span class="special">;</span> 79<span class="special">}</span> 80</pre> 81<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "> 82<li class="listitem"><p>As before, we define a type <code class="computeroutput">safe_t</code> to reflect our 83 view of legal values for this program. This uses the <a class="link" href="promotion_policies/automatic.html" title="automatic"><code class="computeroutput">automatic</code></a> 84 type promotion policy as well as the <a class="link" href="exception_policies.html#safe_numerics.exception_policies.loose_trap_policy"><code class="computeroutput">loose_trap_policy</code></a> 85 exception policy to enforce elimination of runtime penalties.</p></li> 86<li class="listitem"><p>The function <code class="computeroutput">f</code> accepts only arguments of type 87 <code class="computeroutput">safe_t</code> so there is no need to check the input values. 88 This performs the functionality of <span class="emphasis"><em><span class="bold"><strong>programming by contract</strong></span></em></span> with no 89 runtime cost.</p></li> 90<li class="listitem"><p>In addition, we define <code class="computeroutput">input_safe_t</code> to be used 91 when reading variables from the program console. Clearly, these can 92 only be checked at runtime so they use the throw_exception policy. 93 When variables are read from the console they are checked for legal 94 values. We need no ad hoc code to do this, as these types are 95 guaranteed to contain legal values and will throw an exception when 96 this guarantee is violated. In other words, we automatically get 97 checking of input variables with no additional programming.</p></li> 98<li class="listitem"><p>On calling of the function <code class="computeroutput">f</code>, arguments of type 99 <code class="computeroutput">input_safe_t</code> are converted to values of type 100 <code class="computeroutput">safe_t</code> . In this particular example, it can be 101 determined at compile time that construction of an instance of a 102 <code class="computeroutput">safe_t</code> from an <code class="computeroutput">input_safe_t</code> can never 103 fail. Hence, no <code class="computeroutput">try/catch</code> block is necessary. The usage 104 of the <a class="link" href="exception_policies.html#safe_numerics.exception_policies.loose_trap_policy"><code class="computeroutput">loose_trap_policy</code></a> 105 policy for <code class="computeroutput">safe_t</code> types guarantees this to be true at 106 compile time.</p></li> 107</ul></div> 108<p>Here is the output from the program when values 12 and 32 109 are input from the console:</p> 110<pre class="screen">example 84: 111type in values in format x y:33 45 112x<signed char>[-24,82] = 33 113y<signed char>[-24,82] = 45 114z = <short>[-48,164] = 78 115(x + y) = <short>[-48,164] = 78 116(x - y) = <signed char>[-106,106] = -12 117<short>[-48,164] = 78 118</pre> 119</div> 120<table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr> 121<td align="left"></td> 122<td align="right"><div class="copyright-footer">Copyright © 2012-2018 Robert Ramey<p><a href="http://www.boost.org/LICENSE_1_0.txt" target="_top">Subject to Boost 123 Software License</a></p> 124</div></td> 125</tr></table> 126<hr> 127<div class="spirit-nav"> 128<a accesskey="p" href="1.html"><img src="../images/prev.png" alt="Prev"></a><a accesskey="u" href="../eliminate_runtime_penalty.html"><img src="../images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../images/home.png" alt="Home"></a><a accesskey="n" href="../case_studies.html"><img src="../images/next.png" alt="Next"></a> 129</div> 130</body> 131</html> 132
