converter___function_object.html 35 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462
  1. <html>
  2. <head>
  3. <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
  4. <title>converter&lt;&gt; function object</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="Chapter&#160;1.&#160;Boost.NumericConversion">
  8. <link rel="up" href="../index.html" title="Chapter&#160;1.&#160;Boost.NumericConversion">
  9. <link rel="prev" href="definitions.html" title="Definitions">
  10. <link rel="next" href="type_requirements_and_user_defined_types_support.html" title="Type Requirements and User-defined-types support">
  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 alt="Boost C++ Libraries" width="277" height="86" src="../../../../../../boost.png"></td>
  15. <td align="center"><a href="../../../../../../index.html">Home</a></td>
  16. <td align="center"><a href="../../../../../../libs/libraries.htm">Libraries</a></td>
  17. <td align="center"><a href="http://www.boost.org/users/people.html">People</a></td>
  18. <td align="center"><a href="http://www.boost.org/users/faq.html">FAQ</a></td>
  19. <td align="center"><a href="../../../../../../more/index.htm">More</a></td>
  20. </tr></table>
  21. <hr>
  22. <div class="spirit-nav">
  23. <a accesskey="p" href="definitions.html"><img src="../../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../index.html"><img src="../../../../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../../../../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="type_requirements_and_user_defined_types_support.html"><img src="../../../../../../doc/src/images/next.png" alt="Next"></a>
  24. </div>
  25. <div class="section">
  26. <div class="titlepage"><div><div><h2 class="title" style="clear: both">
  27. <a name="boost_numericconversion.converter___function_object"></a><a class="link" href="converter___function_object.html" title="converter&lt;&gt; function object">converter&lt;&gt;
  28. function object</a>
  29. </h2></div></div></div>
  30. <div class="toc"><dl class="toc">
  31. <dt><span class="section"><a href="converter___function_object.html#boost_numericconversion.converter___function_object.synopsis">Synopsis</a></span></dt>
  32. <dt><span class="section"><a href="converter___function_object.html#boost_numericconversion.converter___function_object.template_parameters">Template
  33. parameters</a></span></dt>
  34. <dt><span class="section"><a href="converter___function_object.html#boost_numericconversion.converter___function_object.member_functions">Member
  35. functions</a></span></dt>
  36. <dt><span class="section"><a href="converter___function_object.html#boost_numericconversion.converter___function_object.range_checking_logic">Range
  37. Checking Logic</a></span></dt>
  38. <dt><span class="section"><a href="converter___function_object.html#boost_numericconversion.converter___function_object.examples">Examples</a></span></dt>
  39. </dl></div>
  40. <div class="section">
  41. <div class="titlepage"><div><div><h3 class="title">
  42. <a name="boost_numericconversion.converter___function_object.synopsis"></a><a class="link" href="converter___function_object.html#boost_numericconversion.converter___function_object.synopsis" title="Synopsis">Synopsis</a>
  43. </h3></div></div></div>
  44. <pre class="programlisting"><span class="keyword">namespace</span> <span class="identifier">boost</span> <span class="special">{</span> <span class="keyword">namespace</span> <span class="identifier">numeric</span> <span class="special">{</span>
  45. <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">class</span> <span class="identifier">T</span><span class="special">,</span>
  46. <span class="keyword">class</span> <span class="identifier">S</span><span class="special">,</span>
  47. <span class="keyword">class</span> <span class="identifier">Traits</span><span class="special">,</span> <span class="special">=</span> <span class="identifier">conversion_traits</span><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span><span class="identifier">S</span><span class="special">&gt;</span>
  48. <span class="keyword">class</span> <span class="identifier">OverflowHandler</span> <span class="special">=</span> <span class="identifier">def_overflow_handler</span><span class="special">,</span>
  49. <span class="keyword">class</span> <span class="identifier">Float2IntRounder</span> <span class="special">=</span> <span class="identifier">Trunc</span><span class="special">&lt;</span> <span class="keyword">typename</span> <span class="identifier">Traits</span><span class="special">::</span><span class="identifier">source_type</span> <span class="special">&gt;,</span>
  50. <span class="keyword">class</span> <span class="identifier">RawConverter</span> <span class="special">=</span> <span class="identifier">raw_converter</span><span class="special">&lt;</span><span class="identifier">Traits</span><span class="special">&gt;,</span>
  51. <span class="keyword">class</span> <span class="identifier">UserRangeChecker</span> <span class="special">=</span> <span class="identifier">UseInternalRangeChecker</span>
  52. <span class="special">&gt;</span>
  53. <span class="keyword">struct</span> <span class="identifier">converter</span>
  54. <span class="special">{</span>
  55. <span class="keyword">typedef</span> <span class="identifier">Traits</span> <span class="identifier">traits</span> <span class="special">;</span>
  56. <span class="keyword">typedef</span> <span class="keyword">typename</span> <span class="identifier">Traits</span><span class="special">::</span><span class="identifier">source_type</span> <span class="identifier">source_type</span> <span class="special">;</span>
  57. <span class="keyword">typedef</span> <span class="keyword">typename</span> <span class="identifier">Traits</span><span class="special">::</span><span class="identifier">argument_type</span> <span class="identifier">argument_type</span> <span class="special">;</span>
  58. <span class="keyword">typedef</span> <span class="keyword">typename</span> <span class="identifier">Traits</span><span class="special">::</span><span class="identifier">result_type</span> <span class="identifier">result_type</span> <span class="special">;</span>
  59. <span class="keyword">static</span> <span class="identifier">result_type</span> <span class="identifier">convert</span> <span class="special">(</span> <span class="identifier">argument_type</span> <span class="identifier">s</span> <span class="special">)</span> <span class="special">;</span>
  60. <span class="identifier">result_type</span> <span class="keyword">operator</span><span class="special">()</span> <span class="special">(</span> <span class="identifier">argument_type</span> <span class="identifier">s</span> <span class="special">)</span> <span class="keyword">const</span> <span class="special">;</span>
  61. <span class="comment">// Internal member functions:</span>
  62. <span class="keyword">static</span> <span class="identifier">range_check_result</span> <span class="identifier">out_of_range</span> <span class="special">(</span> <span class="identifier">argument_type</span> <span class="identifier">s</span> <span class="special">)</span> <span class="special">;</span>
  63. <span class="keyword">static</span> <span class="keyword">void</span> <span class="identifier">validate_range</span> <span class="special">(</span> <span class="identifier">argument_type</span> <span class="identifier">s</span> <span class="special">)</span> <span class="special">;</span>
  64. <span class="keyword">static</span> <span class="identifier">result_type</span> <span class="identifier">low_level_convert</span> <span class="special">(</span> <span class="identifier">argument_type</span> <span class="identifier">s</span> <span class="special">)</span> <span class="special">;</span>
  65. <span class="keyword">static</span> <span class="identifier">source_type</span> <span class="identifier">nearbyint</span> <span class="special">(</span> <span class="identifier">argument_type</span> <span class="identifier">s</span> <span class="special">)</span> <span class="special">;</span>
  66. <span class="special">}</span> <span class="special">;</span>
  67. <span class="special">}</span> <span class="special">}</span> <span class="comment">// namespace numeric, boost</span>
  68. </pre>
  69. <p>
  70. <code class="computeroutput"><span class="identifier">boost</span><span class="special">::</span><span class="identifier">numeric</span><span class="special">::</span><span class="identifier">converter</span><span class="special">&lt;&gt;</span></code>
  71. is a <a href="http://www.sgi.com/tech/stl/UnaryFunction.html" target="_top">Unary Function
  72. Object</a> encapsulating the code to perform a numeric conversion with
  73. the direction and properties specified by the Traits template parameter.
  74. It can optionally take some <a class="link" href="numeric_converter_policy_classes.html" title="Numeric Converter Policy Classes">policies</a>
  75. which can be used to customize its behavior. The <code class="computeroutput"><span class="identifier">Traits</span></code>
  76. parameter is not a policy but the parameter that defines the conversion.
  77. </p>
  78. </div>
  79. <div class="section">
  80. <div class="titlepage"><div><div><h3 class="title">
  81. <a name="boost_numericconversion.converter___function_object.template_parameters"></a><a class="link" href="converter___function_object.html#boost_numericconversion.converter___function_object.template_parameters" title="Template parameters">Template
  82. parameters</a>
  83. </h3></div></div></div>
  84. <div class="informaltable"><table class="table">
  85. <colgroup>
  86. <col>
  87. <col>
  88. </colgroup>
  89. <thead><tr>
  90. <th>
  91. </th>
  92. <th>
  93. </th>
  94. </tr></thead>
  95. <tbody>
  96. <tr>
  97. <td>
  98. <p>
  99. <code class="computeroutput"><span class="identifier">T</span></code>
  100. </p>
  101. </td>
  102. <td>
  103. <p>
  104. The <a class="link" href="definitions.html#boost_numericconversion.definitions.numeric_types" title="Numeric Types">Numeric
  105. Type</a> which is the <span class="emphasis"><em>Target</em></span> of the conversion.
  106. </p>
  107. </td>
  108. </tr>
  109. <tr>
  110. <td>
  111. <p>
  112. <code class="computeroutput"><span class="identifier">S</span></code>
  113. </p>
  114. </td>
  115. <td>
  116. <p>
  117. The <a class="link" href="definitions.html#boost_numericconversion.definitions.numeric_types" title="Numeric Types">Numeric
  118. Type</a> which is the <span class="emphasis"><em>Source</em></span> of the conversion.
  119. </p>
  120. </td>
  121. </tr>
  122. <tr>
  123. <td>
  124. <p>
  125. <code class="computeroutput"><span class="identifier">Traits</span></code>
  126. </p>
  127. </td>
  128. <td>
  129. <p>
  130. This must be a conversion traits class with the interface of <a class="link" href="conversion_traits___traits_class.html" title="conversion_traits&lt;&gt; traits class"><code class="computeroutput"><span class="identifier">boost</span><span class="special">::</span><span class="identifier">numeric</span><span class="special">::</span><span class="identifier">conversion_traits</span></code></a>
  131. </p>
  132. </td>
  133. </tr>
  134. <tr>
  135. <td>
  136. <p>
  137. <code class="computeroutput"><span class="identifier">OverflowHandler</span></code>
  138. </p>
  139. </td>
  140. <td>
  141. <p>
  142. <span class="bold"><strong>Stateless Policy</strong></span> called to administrate
  143. the result of the range checking.
  144. </p>
  145. <p>
  146. It is a <span class="bold"><strong>Function Object</strong></span> which
  147. receives the result of <code class="computeroutput"><span class="identifier">out_of_range</span><span class="special">()</span></code> and is called inside the <code class="computeroutput"><span class="identifier">validate_range</span><span class="special">()</span></code>
  148. static member function exposed by the converter.
  149. </p>
  150. </td>
  151. </tr>
  152. <tr>
  153. <td>
  154. <p>
  155. <code class="computeroutput"><span class="identifier">Float2IntRounder</span></code>
  156. </p>
  157. </td>
  158. <td>
  159. <p>
  160. <span class="bold"><strong>Stateless Policy</strong></span> which specifies
  161. the rounding mode used for float to integral conversions.
  162. </p>
  163. <p>
  164. It supplies the <code class="computeroutput"><span class="identifier">nearbyint</span><span class="special">()</span></code> static member function exposed
  165. by the converter.
  166. </p>
  167. </td>
  168. </tr>
  169. <tr>
  170. <td>
  171. <p>
  172. <code class="computeroutput"><span class="identifier">RawConverter</span></code>
  173. </p>
  174. </td>
  175. <td>
  176. <p>
  177. <span class="bold"><strong>Stateless Policy</strong></span> which is used
  178. to perform the actual conversion.
  179. </p>
  180. <p>
  181. It supplies the <code class="computeroutput"><span class="identifier">low_level_convert</span><span class="special">()</span></code> static member function exposed
  182. by the converter.
  183. </p>
  184. </td>
  185. </tr>
  186. <tr>
  187. <td>
  188. <p>
  189. <code class="computeroutput"><span class="identifier">UserRangeChecker</span></code>
  190. </p>
  191. </td>
  192. <td>
  193. <p>
  194. <span class="emphasis"><em>Special and Optional</em></span> <span class="bold"><strong>Stateless
  195. Policy</strong></span> which can be used to override the internal range
  196. checking logic.
  197. </p>
  198. <p>
  199. If given, supplies alternative code for the <code class="computeroutput"><span class="identifier">out_of_range</span><span class="special">()</span></code> and <code class="computeroutput"><span class="identifier">validate_range</span><span class="special">()</span></code> static member functions exposed
  200. by the converter.
  201. </p>
  202. </td>
  203. </tr>
  204. </tbody>
  205. </table></div>
  206. </div>
  207. <div class="section">
  208. <div class="titlepage"><div><div><h3 class="title">
  209. <a name="boost_numericconversion.converter___function_object.member_functions"></a><a class="link" href="converter___function_object.html#boost_numericconversion.converter___function_object.member_functions" title="Member functions">Member
  210. functions</a>
  211. </h3></div></div></div>
  212. <div class="blockquote"><blockquote class="blockquote"><p>
  213. <code class="computeroutput"><span class="keyword">static</span> <span class="identifier">result_type</span>
  214. <span class="identifier">converter</span><span class="special">&lt;&gt;::</span><span class="identifier">convert</span> <span class="special">(</span> <span class="identifier">argument_type</span> <span class="identifier">s</span>
  215. <span class="special">)</span> <span class="special">;</span> <span class="comment">// throw</span> </code>
  216. </p></blockquote></div>
  217. <p>
  218. This static member function converts an rvalue of type <code class="computeroutput"><span class="identifier">source_type</span></code>
  219. to an rvalue of type <code class="computeroutput"><span class="identifier">target_type</span></code>.
  220. </p>
  221. <p>
  222. If the conversion requires it, it performs a range checking before the conversion
  223. and passes the result of the check to the overflow handler policy (the default
  224. policy throws an exception if out-of-range is detected)
  225. </p>
  226. <p>
  227. The implementation of this function is actually built from the policies and
  228. is basically as follows:
  229. </p>
  230. <pre class="programlisting"><span class="identifier">result_type</span> <span class="identifier">converter</span><span class="special">&lt;&gt;::</span><span class="identifier">convert</span> <span class="special">(</span> <span class="identifier">argument_type</span> <span class="identifier">s</span> <span class="special">)</span>
  231. <span class="special">{</span>
  232. <span class="identifier">validate_range</span><span class="special">(</span><span class="identifier">s</span><span class="special">);</span> <span class="comment">// Implemented by the internal range checking logic</span>
  233. <span class="comment">// (which also calls the OverflowHandler policy)</span>
  234. <span class="comment">// or externally supplied by the UserRangeChecker policy.</span>
  235. <span class="identifier">s</span> <span class="special">=</span> <span class="identifier">nearbyint</span><span class="special">(</span><span class="identifier">s</span><span class="special">);</span> <span class="comment">// Externally supplied by the Float2IntRounder policy.</span>
  236. <span class="comment">// NOTE: This is actually called only for float to int conversions.</span>
  237. <span class="keyword">return</span> <span class="identifier">low_level_convert</span><span class="special">(</span><span class="identifier">s</span><span class="special">);</span> <span class="comment">// Externally supplied by the RawConverter policy.</span>
  238. <span class="special">}</span>
  239. </pre>
  240. <p>
  241. <code class="computeroutput"><span class="identifier">converter</span><span class="special">&lt;&gt;::</span><span class="keyword">operator</span><span class="special">()</span> <span class="keyword">const</span></code> just calls <code class="computeroutput"><span class="identifier">convert</span><span class="special">()</span></code>
  242. </p>
  243. <p>
  244. <span class="inlinemediaobject"><img src="../images/space.png" alt="space"></span>
  245. </p>
  246. <div class="blockquote"><blockquote class="blockquote"><p>
  247. <code class="computeroutput"><span class="keyword">static</span> <span class="identifier">range_check_result</span>
  248. <span class="identifier">numeric_converter</span><span class="special">&lt;&gt;::</span><span class="identifier">out_of_range</span> <span class="special">(</span>
  249. <span class="identifier">argument_type</span> <span class="identifier">s</span>
  250. <span class="special">)</span> <span class="special">;</span></code>
  251. </p></blockquote></div>
  252. <p>
  253. This <a class="link" href="converter___function_object.html#numeric_conversion_converter_internal">internal</a>
  254. static member function determines if the value <code class="computeroutput"><span class="identifier">s</span></code>
  255. can be represented by the target type without overflow.
  256. </p>
  257. <p>
  258. It does not determine if the conversion is <span class="emphasis"><em>exact</em></span>; that
  259. is, it does not detect <span class="emphasis"><em>inexact</em></span> conversions, only <span class="emphasis"><em>out-of-range</em></span>
  260. conversions (see the <a class="link" href="definitions.html#boost_numericconversion.definitions.exact__correctly_rounded_and_out_of_range_representations" title="Exact, Correctly Rounded and Out-Of-Range Representations">Definitions</a>
  261. for further details).
  262. </p>
  263. <p>
  264. The return value is of enum type <a class="link" href="numeric_converter_policy_classes.html#boost_numericconversion.numeric_converter_policy_classes.enum_range_check_result" title="enum range_check_result"><code class="computeroutput"><span class="identifier">boost</span><span class="special">::</span><span class="identifier">numeric</span><span class="special">::</span><span class="identifier">range_check_result</span></code></a>
  265. </p>
  266. <p>
  267. The actual code for the range checking logic is optimized for the combined
  268. properties of the source and target types. For example, a non-subranged conversion
  269. (i.e: <code class="computeroutput"><span class="keyword">int</span></code>-&gt;<code class="computeroutput"><span class="keyword">float</span></code>), requires no range checking, so <code class="computeroutput"><span class="identifier">out_of_range</span><span class="special">()</span></code>
  270. returns <code class="computeroutput"><span class="identifier">cInRange</span></code> directly.
  271. See the following <a class="link" href="converter___function_object.html#boost_numericconversion.converter___function_object.range_checking_logic" title="Range Checking Logic">table</a>
  272. for more details.
  273. </p>
  274. <p>
  275. If the user supplied a <a class="link" href="numeric_converter_policy_classes.html#boost_numericconversion.numeric_converter_policy_classes.policy_userrangechecker" title="Policy UserRangeChecker">UserRangeChecker</a>
  276. policy, is this policy which implements this function, so the implementation
  277. is user defined, although it is expected to perform the same conceptual check
  278. and return the appropriate result.
  279. </p>
  280. <p>
  281. <span class="inlinemediaobject"><img src="../images/space.png" alt="space"></span>
  282. </p>
  283. <div class="blockquote"><blockquote class="blockquote"><p>
  284. <code class="computeroutput"><span class="keyword">static</span> <span class="keyword">void</span>
  285. <span class="identifier">numeric_converter</span><span class="special">&lt;&gt;::</span><span class="identifier">validate_range</span> <span class="special">(</span>
  286. <span class="identifier">argument_type</span> <span class="identifier">s</span>
  287. <span class="special">)</span> <span class="special">;</span> <span class="comment">// no throw</span> </code>
  288. </p></blockquote></div>
  289. <p>
  290. This <a class="link" href="converter___function_object.html#numeric_conversion_converter_internal">internal</a>
  291. static member function calls out_of_range(s), and passes the result to the
  292. <a class="link" href="numeric_converter_policy_classes.html#boost_numericconversion.numeric_converter_policy_classes.policy_overflowhandler" title="Policy OverflowHandler">OverflowHandler</a>
  293. policy class.
  294. </p>
  295. <p>
  296. For those Target/Source combinations which don't require range checking,
  297. this is an empty inline function.
  298. </p>
  299. <p>
  300. If the user supplied a <a class="link" href="numeric_converter_policy_classes.html#boost_numericconversion.numeric_converter_policy_classes.policy_userrangechecker" title="Policy UserRangeChecker">UserRangeChecker</a>
  301. policy, is this policy which implements this function, so the implementation
  302. is user defined, although it is expected to perform the same action as the
  303. default. In particular, it is expected to pass the result of the check to
  304. the overflow handler.
  305. </p>
  306. <p>
  307. <span class="inlinemediaobject"><img src="../images/space.png" alt="space"></span>
  308. </p>
  309. <div class="blockquote"><blockquote class="blockquote"><p>
  310. <code class="computeroutput"><span class="keyword">static</span> <span class="identifier">result_type</span>
  311. <span class="identifier">numeric_converter</span><span class="special">&lt;&gt;::</span><span class="identifier">low_level_convert</span> <span class="special">(</span>
  312. <span class="identifier">argument_type</span> <span class="identifier">s</span>
  313. <span class="special">)</span> <span class="special">;</span></code>
  314. </p></blockquote></div>
  315. <p>
  316. This <a class="link" href="converter___function_object.html#numeric_conversion_converter_internal">internal</a>
  317. static member function performs the actual conversion.
  318. </p>
  319. <p>
  320. This function is externally supplied by the <a class="link" href="numeric_converter_policy_classes.html#boost_numericconversion.numeric_converter_policy_classes.policy_rawconverter" title="Policy RawConverter">RawConverter</a>
  321. policy class.
  322. </p>
  323. <p>
  324. <span class="inlinemediaobject"><img src="../images/space.png" alt="space"></span>
  325. </p>
  326. <div class="blockquote"><blockquote class="blockquote"><p>
  327. <code class="computeroutput"><span class="keyword">static</span> <span class="identifier">source_type</span>
  328. <span class="identifier">converter</span><span class="special">&lt;&gt;::</span><span class="identifier">nearbyint</span> <span class="special">(</span>
  329. <span class="identifier">argument_type</span> <span class="identifier">s</span>
  330. <span class="special">)</span> <span class="special">;</span></code>
  331. </p></blockquote></div>
  332. <p>
  333. This <a class="link" href="converter___function_object.html#numeric_conversion_converter_internal">internal</a>
  334. static member function, which is <span class="underline">only used</span>
  335. for <code class="computeroutput"><span class="keyword">float</span></code> to <code class="computeroutput"><span class="keyword">int</span></code>
  336. conversions, returns an <span class="emphasis"><em>integer</em></span> value of <span class="emphasis"><em><span class="underline">floating-point type</span></em></span> according to some
  337. rounding direction.
  338. </p>
  339. <p>
  340. This function is externally supplied by the <a class="link" href="numeric_converter_policy_classes.html#boost_numericconversion.numeric_converter_policy_classes.policy_float2introunder" title="Policy Float2IntRounder">Float2IntRounder</a>
  341. policy class which encapsulates the specific rounding mode.
  342. </p>
  343. <p>
  344. <span class="inlinemediaobject"><img src="../images/space.png" alt="space"></span>
  345. </p>
  346. <a name="numeric_conversion_converter_internal"></a><h5>
  347. <a name="boost_numericconversion.converter___function_object.member_functions.h0"></a>
  348. <span class="phrase"><a name="boost_numericconversion.converter___function_object.member_functions.internal_member_functions"></a></span><a class="link" href="converter___function_object.html#boost_numericconversion.converter___function_object.member_functions.internal_member_functions">Internal
  349. Member Functions</a>
  350. </h5>
  351. <p>
  352. These static member functions build the actual conversion code used by <code class="computeroutput"><span class="identifier">convert</span><span class="special">()</span></code>.
  353. The user does not have to call these if calling <code class="computeroutput"><span class="identifier">convert</span><span class="special">()</span></code>, since <code class="computeroutput"><span class="identifier">convert</span><span class="special">()</span></code> calls them infernally, but they can be
  354. called separately for specific needs.
  355. </p>
  356. </div>
  357. <div class="section">
  358. <div class="titlepage"><div><div><h3 class="title">
  359. <a name="boost_numericconversion.converter___function_object.range_checking_logic"></a><a class="link" href="converter___function_object.html#boost_numericconversion.converter___function_object.range_checking_logic" title="Range Checking Logic">Range
  360. Checking Logic</a>
  361. </h3></div></div></div>
  362. <p>
  363. The following table summarizes the internal range checking logic performed
  364. for each combination of the properties of Source and Target.
  365. </p>
  366. <p>
  367. LowestT/HighestT denotes the highest and lowest values of the Target type,
  368. respectively.
  369. </p>
  370. <p>
  371. <code class="computeroutput"><span class="identifier">S</span><span class="special">(</span><span class="identifier">n</span><span class="special">)</span></code> is short
  372. for <code class="computeroutput"><span class="keyword">static_cast</span><span class="special">&lt;</span><span class="identifier">S</span><span class="special">&gt;(</span><span class="identifier">n</span><span class="special">)</span></code> (<code class="computeroutput"><span class="identifier">S</span></code> denotes the Source type).
  373. </p>
  374. <p>
  375. <code class="computeroutput"><span class="identifier">NONE</span></code> indicates that for this
  376. case there is no range checking.
  377. </p>
  378. <pre class="programlisting"><code class="literal">
  379. int_to_int |--&gt; sig_to_sig |--&gt; subranged |--&gt; ( s &gt;= S(LowestT) ) &amp;&amp; ( s &lt;= S(HighestT) )
  380. | |--&gt; not subranged |--&gt; NONE
  381. |
  382. |--&gt; unsig_to_unsig |--&gt; subranged |--&gt; ( s &gt;= S(LowestT) ) &amp;&amp; ( s &lt;= S(HighestT) )
  383. | |--&gt; not subranged |--&gt; NONE
  384. |
  385. |--&gt; sig_to_unsig |--&gt; pos subranged |--&gt; ( s &gt;= S(0) ) &amp;&amp; ( s &lt;= S(HighestT) )
  386. | |--&gt; not pos subranged |--&gt; ( s &gt;= S(0) )
  387. |
  388. |--&gt; unsig_to_sig |--&gt; subranged |--&gt; ( s &lt;= S(HighestT) )
  389. | |--&gt; not subranged |--&gt; NONE
  390. </code>
  391. <code class="literal">
  392. int_to_float |--&gt; NONE
  393. </code>
  394. <code class="literal">
  395. float_to_int |--&gt; round_to_zero |--&gt; ( s &gt; S(LowestT)-S(1) ) &amp;&amp; ( s &lt; S(HighestT)+S(1) )
  396. |--&gt; round_to_even_nearest |--&gt; ( s &gt;= S(LowestT)-S(0.5) ) &amp;&amp; ( s &lt; S(HighestT)+S(0.5) )
  397. |--&gt; round_to_infinity |--&gt; ( s &gt; S(LowestT)-S(1) ) &amp;&amp; ( s &lt;= S(HighestT) )
  398. |--&gt; round_to_neg_infinity |--&gt; ( s &gt;= S(LowestT) ) &amp;&amp; ( s &lt; S(HighestT)+S(1) )
  399. </code>
  400. <code class="literal">
  401. float_to_float |--&gt; subranged |--&gt; ( s &gt;= S(LowestT) ) &amp;&amp; ( s &lt;= S(HighestT) )
  402. |--&gt; not subranged |--&gt; NONE
  403. </code>
  404. </pre>
  405. </div>
  406. <div class="section">
  407. <div class="titlepage"><div><div><h3 class="title">
  408. <a name="boost_numericconversion.converter___function_object.examples"></a><a class="link" href="converter___function_object.html#boost_numericconversion.converter___function_object.examples" title="Examples">Examples</a>
  409. </h3></div></div></div>
  410. <pre class="programlisting"><span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">cassert</span><span class="special">&gt;</span>
  411. <span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">numeric</span><span class="special">/</span><span class="identifier">conversion</span><span class="special">/</span><span class="identifier">converter</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  412. <span class="keyword">int</span> <span class="identifier">main</span><span class="special">()</span> <span class="special">{</span>
  413. <span class="keyword">typedef</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">numeric</span><span class="special">::</span><span class="identifier">converter</span><span class="special">&lt;</span><span class="keyword">int</span><span class="special">,</span><span class="keyword">double</span><span class="special">&gt;</span> <span class="identifier">Double2Int</span> <span class="special">;</span>
  414. <span class="keyword">int</span> <span class="identifier">x</span> <span class="special">=</span> <span class="identifier">Double2Int</span><span class="special">::</span><span class="identifier">convert</span><span class="special">(</span><span class="number">2.0</span><span class="special">);</span>
  415. <span class="identifier">assert</span> <span class="special">(</span> <span class="identifier">x</span> <span class="special">==</span> <span class="number">2</span> <span class="special">);</span>
  416. <span class="keyword">int</span> <span class="identifier">y</span> <span class="special">=</span> <span class="identifier">Double2Int</span><span class="special">()(</span><span class="number">3.14</span><span class="special">);</span> <span class="comment">// As a function object.</span>
  417. <span class="identifier">assert</span> <span class="special">(</span> <span class="identifier">y</span> <span class="special">==</span> <span class="number">3</span> <span class="special">)</span> <span class="special">;</span> <span class="comment">// The default rounding is trunc.</span>
  418. <span class="keyword">try</span>
  419. <span class="special">{</span>
  420. <span class="keyword">double</span> <span class="identifier">m</span> <span class="special">=</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">numeric</span><span class="special">::</span><span class="identifier">bounds</span><span class="special">&lt;</span><span class="keyword">double</span><span class="special">&gt;::</span><span class="identifier">highest</span><span class="special">();</span>
  421. <span class="keyword">int</span> <span class="identifier">z</span> <span class="special">=</span> <span class="identifier">Double2Int</span><span class="special">::</span><span class="identifier">convert</span><span class="special">(</span><span class="identifier">m</span><span class="special">);</span> <span class="comment">// By default throws positive_overflow()</span>
  422. <span class="special">}</span>
  423. <span class="keyword">catch</span> <span class="special">(</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">numeric</span><span class="special">::</span><span class="identifier">positive_overflow</span> <span class="keyword">const</span><span class="special">&amp;</span> <span class="special">)</span>
  424. <span class="special">{</span>
  425. <span class="special">}</span>
  426. <span class="keyword">return</span> <span class="number">0</span><span class="special">;</span>
  427. <span class="special">}</span>
  428. </pre>
  429. </div>
  430. </div>
  431. <table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
  432. <td align="left"></td>
  433. <td align="right"><div class="copyright-footer">Copyright &#169; 2004-2007 Fernando
  434. Luis Cacciola Carballal<p>
  435. Distributed under the Boost Software License, Version 1.0. (See accompanying
  436. file LICENSE_1_0.txt or copy at <a href="http://www.boost.org/LICENSE_1_0.txt" target="_top">http://www.boost.org/LICENSE_1_0.txt</a>)
  437. </p>
  438. </div></td>
  439. </tr></table>
  440. <hr>
  441. <div class="spirit-nav">
  442. <a accesskey="p" href="definitions.html"><img src="../../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../index.html"><img src="../../../../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../../../../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="type_requirements_and_user_defined_types_support.html"><img src="../../../../../../doc/src/images/next.png" alt="Next"></a>
  443. </div>
  444. </body>
  445. </html>