sign_functions.html 19 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252
  1. <html>
  2. <head>
  3. <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
  4. <title>Sign Manipulation Functions</title>
  5. <link rel="stylesheet" href="../math.css" type="text/css">
  6. <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
  7. <link rel="home" href="../index.html" title="Math Toolkit 2.11.0">
  8. <link rel="up" href="../utils.html" title="Chapter&#160;2.&#160;Floating Point Utilities">
  9. <link rel="prev" href="fpclass.html" title="Floating-Point Classification: Infinities and NaNs">
  10. <link rel="next" href="fp_facets.html" title="Facets for Floating-Point Infinities and NaNs">
  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="fpclass.html"><img src="../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../utils.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="fp_facets.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="math_toolkit.sign_functions"></a><a class="link" href="sign_functions.html" title="Sign Manipulation Functions">Sign Manipulation Functions</a>
  28. </h2></div></div></div>
  29. <h5>
  30. <a name="math_toolkit.sign_functions.h0"></a>
  31. <span class="phrase"><a name="math_toolkit.sign_functions.synopsis"></a></span><a class="link" href="sign_functions.html#math_toolkit.sign_functions.synopsis">Synopsis</a>
  32. </h5>
  33. <pre class="programlisting"><span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">math</span><span class="special">/</span><span class="identifier">special_functions</span><span class="special">/</span><span class="identifier">sign</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  34. </pre>
  35. <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">math</span><span class="special">{</span>
  36. <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">class</span> <span class="identifier">T</span><span class="special">&gt;</span>
  37. <span class="keyword">int</span> <span class="identifier">signbit</span><span class="special">(</span><span class="identifier">T</span> <span class="identifier">x</span><span class="special">);</span>
  38. <span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span> <span class="identifier">T</span><span class="special">&gt;</span>
  39. <span class="keyword">int</span> <span class="identifier">sign</span> <span class="special">(</span><span class="keyword">const</span> <span class="identifier">T</span><span class="special">&amp;</span> <span class="identifier">z</span><span class="special">);</span>
  40. <span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span> <span class="identifier">T</span><span class="special">,</span> <span class="keyword">class</span> <span class="identifier">U</span><span class="special">&gt;</span>
  41. <span class="identifier">T</span> <span class="identifier">copysign</span> <span class="special">(</span><span class="keyword">const</span> <span class="identifier">T</span><span class="special">&amp;</span> <span class="identifier">x</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">U</span><span class="special">&amp;</span> <span class="identifier">y</span><span class="special">);</span>
  42. <span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span> <span class="identifier">T</span><span class="special">&gt;</span>
  43. <a class="link" href="result_type.html" title="Calculation of the Type of the Result"><span class="emphasis"><em>calculated-result-type</em></span></a> <span class="identifier">changesign</span> <span class="special">(</span><span class="keyword">const</span> <span class="identifier">T</span><span class="special">&amp;</span> <span class="identifier">z</span><span class="special">);</span>
  44. <span class="special">}}</span> <span class="comment">// namespaces</span>
  45. </pre>
  46. <h5>
  47. <a name="math_toolkit.sign_functions.h1"></a>
  48. <span class="phrase"><a name="math_toolkit.sign_functions.description"></a></span><a class="link" href="sign_functions.html#math_toolkit.sign_functions.description">Description</a>
  49. </h5>
  50. <pre class="programlisting"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">class</span> <span class="identifier">T</span><span class="special">&gt;</span>
  51. <span class="keyword">int</span> <span class="identifier">signbit</span><span class="special">(</span><span class="identifier">T</span> <span class="identifier">x</span><span class="special">);</span>
  52. </pre>
  53. <p>
  54. Returns a non-zero value if the sign bit is set in variable <span class="emphasis"><em>x</em></span>,
  55. otherwise <code class="computeroutput"><span class="number">0</span></code>.
  56. </p>
  57. <div class="important"><table border="0" summary="Important">
  58. <tr>
  59. <td rowspan="2" align="center" valign="top" width="25"><img alt="[Important]" src="../../../../../doc/src/images/important.png"></td>
  60. <th align="left">Important</th>
  61. </tr>
  62. <tr><td align="left" valign="top"><p>
  63. The return value from this function is zero or <span class="emphasis"><em>not-zero</em></span>
  64. and <span class="bold"><strong>not</strong></span> zero or one.
  65. </p></td></tr>
  66. </table></div>
  67. <pre class="programlisting"><span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span> <span class="identifier">T</span><span class="special">&gt;</span>
  68. <span class="keyword">int</span> <span class="identifier">sign</span> <span class="special">(</span><span class="keyword">const</span> <span class="identifier">T</span><span class="special">&amp;</span> <span class="identifier">z</span><span class="special">);</span>
  69. </pre>
  70. <p>
  71. Returns <code class="computeroutput"><span class="number">1</span></code> if <span class="emphasis"><em>x</em></span>
  72. <code class="computeroutput"><span class="special">&gt;</span> <span class="number">0</span></code>,
  73. <code class="computeroutput"><span class="special">-</span><span class="number">1</span></code>
  74. if <span class="emphasis"><em>x</em></span> <code class="computeroutput"><span class="special">&lt;</span> <span class="number">0</span></code>, and <code class="computeroutput"><span class="number">0</span></code>
  75. if <span class="emphasis"><em>x</em></span> is zero.
  76. </p>
  77. <pre class="programlisting"><span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span> <span class="identifier">T</span><span class="special">,</span> <span class="keyword">class</span> <span class="identifier">U</span><span class="special">&gt;</span>
  78. <a class="link" href="result_type.html" title="Calculation of the Type of the Result"><span class="emphasis"><em>calculated-result-type</em></span></a> <span class="identifier">copysign</span> <span class="special">(</span><span class="keyword">const</span> <span class="identifier">T</span><span class="special">&amp;</span> <span class="identifier">x</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">U</span><span class="special">&amp;</span> <span class="identifier">y</span><span class="special">);</span>
  79. </pre>
  80. <p>
  81. Sets the sign of <span class="emphasis"><em>x</em></span> to be the same as the sign of <span class="emphasis"><em>y</em></span>.
  82. </p>
  83. <p>
  84. See <a href="http://www.open-std.org/JTC1/SC22/WG14/www/docs/n1256.pdf" target="_top">C99
  85. 7.12.11.1 The copysign functions</a> for more detail.
  86. </p>
  87. <pre class="programlisting"><span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span> <span class="identifier">T</span><span class="special">&gt;</span>
  88. <span class="identifier">T</span> <span class="identifier">changesign</span> <span class="special">(</span><span class="keyword">const</span> <span class="identifier">T</span><span class="special">&amp;</span> <span class="identifier">z</span><span class="special">);</span>
  89. </pre>
  90. <p>
  91. Returns a floating-point number with a binary representation where the signbit
  92. is the opposite of the sign bit in <span class="emphasis"><em>x</em></span>, and where the other
  93. bits are the same as in <span class="emphasis"><em>x</em></span>.
  94. </p>
  95. <p>
  96. This function is widely available, but not specified in any standards.
  97. </p>
  98. <p>
  99. Rationale: Not specified by TR1, but <code class="computeroutput"><span class="identifier">changesign</span><span class="special">(</span><span class="identifier">x</span><span class="special">)</span></code>
  100. is both easier to read and more efficient than
  101. </p>
  102. <pre class="programlisting"><span class="identifier">copysign</span><span class="special">(</span><span class="identifier">x</span><span class="special">,</span> <span class="identifier">signbit</span><span class="special">(</span><span class="identifier">x</span><span class="special">)</span> <span class="special">?</span> <span class="number">1.0</span> <span class="special">:</span> <span class="special">-</span><span class="number">1.0</span><span class="special">);</span>
  103. </pre>
  104. <p>
  105. For finite values, this function has the same effect as simple negation, the
  106. assignment z = -z, but for nonfinite values, <a href="http://en.wikipedia.org/wiki/Infinity#Computing" target="_top">infinities</a>
  107. and <a href="http://en.wikipedia.org/wiki/NaN" target="_top">NaNs</a>, the <code class="computeroutput"><span class="identifier">changesign</span><span class="special">(</span><span class="identifier">x</span><span class="special">)</span></code> function
  108. may be the only portable way to ensure that the sign bit is changed.
  109. </p>
  110. <h6>
  111. <a name="math_toolkit.sign_functions.h2"></a>
  112. <span class="phrase"><a name="math_toolkit.sign_functions.sign_bits"></a></span><a class="link" href="sign_functions.html#math_toolkit.sign_functions.sign_bits">Sign
  113. bits</a>
  114. </h6>
  115. <p>
  116. One of the bits in the binary representation of a floating-point number gives
  117. the sign, and the remaining bits give the absolute value. That bit is known
  118. as the sign bit. The sign bit is set = 1 for negative numbers, and is not set
  119. = 0 for positive numbers. (This is true for all binary representations of floating-point
  120. numbers that are used by modern microprocessors.)
  121. </p>
  122. <p>
  123. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2005/n1836.pdf" target="_top">C++
  124. TR1</a> specifies <code class="computeroutput"><span class="identifier">copysign</span></code>
  125. functions and function templates for accessing the sign bit.
  126. </p>
  127. <p>
  128. For user-defined types (UDT), the sign may be stored in some other way. They
  129. may also not provide infinity or NaNs. To use these functions with a UDT, it
  130. may be necessary to explicitly specialize them for UDT type T.
  131. </p>
  132. <h6>
  133. <a name="math_toolkit.sign_functions.h3"></a>
  134. <span class="phrase"><a name="math_toolkit.sign_functions.examples"></a></span><a class="link" href="sign_functions.html#math_toolkit.sign_functions.examples">Examples</a>
  135. </h6>
  136. <pre class="programlisting"><span class="identifier">signbit</span><span class="special">(</span><span class="number">3.5</span><span class="special">)</span> <span class="identifier">is</span> <span class="identifier">zero</span> <span class="special">(</span><span class="keyword">or</span> <span class="keyword">false</span><span class="special">)</span>
  137. <span class="identifier">signbit</span><span class="special">(-</span><span class="number">7.1</span><span class="special">)</span> <span class="identifier">is</span> <span class="number">1</span> <span class="special">(</span><span class="keyword">or</span> <span class="keyword">true</span><span class="special">)</span>
  138. <span class="identifier">copysign</span><span class="special">(</span><span class="number">4.2</span><span class="special">,</span> <span class="number">7.9</span><span class="special">)</span> <span class="identifier">is</span> <span class="number">4.2</span>
  139. <span class="identifier">copysign</span><span class="special">(</span><span class="number">3.5</span> <span class="special">-</span><span class="number">1.4</span><span class="special">)</span> <span class="identifier">is</span> <span class="special">-</span><span class="number">3.5</span>
  140. <span class="identifier">copysign</span><span class="special">(-</span><span class="number">4.2</span><span class="special">,</span> <span class="number">1.0</span><span class="special">)</span> <span class="identifier">is</span> <span class="number">4.2</span>
  141. <span class="identifier">copysign</span><span class="special">(-</span><span class="number">8.6</span><span class="special">,</span> <span class="special">-</span><span class="number">3.3</span><span class="special">)</span> <span class="identifier">is</span> <span class="special">-</span><span class="number">8.6</span>
  142. <span class="identifier">changesign</span><span class="special">(</span><span class="number">6.9</span><span class="special">)</span> <span class="identifier">is</span> <span class="special">-</span><span class="number">6.9</span>
  143. <span class="identifier">changesign</span><span class="special">(-</span><span class="number">1.8</span><span class="special">)</span> <span class="identifier">is</span> <span class="number">1.8</span>
  144. </pre>
  145. <h6>
  146. <a name="math_toolkit.sign_functions.h4"></a>
  147. <span class="phrase"><a name="math_toolkit.sign_functions.portability"></a></span><a class="link" href="sign_functions.html#math_toolkit.sign_functions.portability">Portability</a>
  148. </h6>
  149. <p>
  150. The library supports the following binary floating-point formats:
  151. </p>
  152. <div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
  153. <li class="listitem">
  154. IEEE 754 single precision
  155. </li>
  156. <li class="listitem">
  157. IEEE 754 double precision
  158. </li>
  159. <li class="listitem">
  160. IEEE 754 extended double precision with 15 exponent bits
  161. </li>
  162. <li class="listitem">
  163. Intel extended double precision
  164. </li>
  165. <li class="listitem">
  166. PowerPC extended double precision
  167. </li>
  168. <li class="listitem">
  169. Motorola 68K extended double precision
  170. </li>
  171. </ul></div>
  172. <p>
  173. The library does not support the VAX floating-point formats. (These are available
  174. on VMS, but the default on VMS is the IEEE 754 floating-point format.)
  175. </p>
  176. <p>
  177. The main portability issues are:
  178. </p>
  179. <div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
  180. <li class="listitem">
  181. Unsupported floating-point formats.
  182. </li>
  183. <li class="listitem">
  184. The library depends on the header <code class="computeroutput"><span class="identifier">boost</span><span class="special">/</span><span class="identifier">detail</span><span class="special">/</span><span class="identifier">endian</span><span class="special">.</span><span class="identifier">hpp</span></code>
  185. to detemine endianness.
  186. </li>
  187. <li class="listitem">
  188. Code such as <code class="computeroutput"><span class="preprocessor">#if</span> <span class="identifier">defined</span><span class="special">(</span><span class="identifier">__ia64</span><span class="special">)</span> <span class="special">||</span> <span class="identifier">defined</span><span class="special">(</span><span class="identifier">__ia64__</span><span class="special">)</span> <span class="special">||</span> <span class="identifier">defined</span><span class="special">(</span><span class="identifier">_M_IA64</span><span class="special">)</span></code> is used to determine the processor type.
  189. </li>
  190. </ul></div>
  191. <p>
  192. The library has passed all tests on the following platforms:
  193. </p>
  194. <div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
  195. <li class="listitem">
  196. Win32 / MSVC 7.1 / 10.0 / x86 32 and 64-bit, and later Win32
  197. </li>
  198. <li class="listitem">
  199. Win32 / Intel C++ 7.1, 8.1, 9.1 / x86
  200. </li>
  201. <li class="listitem">
  202. Mac OS X / GCC 3.3, 4.0 / ppc
  203. </li>
  204. <li class="listitem">
  205. Linux / Intel C++ 9.1 / x86, ia64
  206. </li>
  207. <li class="listitem">
  208. Linux / GCC 3.3 / x86, x64, ia64, ppc, hppa, mips, m68k
  209. </li>
  210. <li class="listitem">
  211. Linux / GCC 3.4 / x64
  212. </li>
  213. <li class="listitem">
  214. HP-UX / aCC, GCC 4.1 / ia64
  215. </li>
  216. <li class="listitem">
  217. HP-UX / aCC / hppa
  218. </li>
  219. <li class="listitem">
  220. Tru64 / Compaq C++ 7.1 / alpha
  221. </li>
  222. <li class="listitem">
  223. VMS / HP C++ 7.1 / alpha (in IEEE floating-point mode)
  224. </li>
  225. <li class="listitem">
  226. VMS / HP C++ 7.2 / ia64 (in IEEE floating-point mode)
  227. </li>
  228. </ul></div>
  229. </div>
  230. <table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
  231. <td align="left"></td>
  232. <td align="right"><div class="copyright-footer">Copyright &#169; 2006-2019 Nikhar
  233. Agrawal, Anton Bikineev, Paul A. Bristow, Marco Guazzone, Christopher Kormanyos,
  234. Hubert Holin, Bruno Lalande, John Maddock, Jeremy Murphy, Matthew Pulver, Johan
  235. R&#229;de, Gautam Sewani, Benjamin Sobotta, Nicholas Thompson, Thijs van den Berg,
  236. Daryle Walker and Xiaogang Zhang<p>
  237. Distributed under the Boost Software License, Version 1.0. (See accompanying
  238. 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>)
  239. </p>
  240. </div></td>
  241. </tr></table>
  242. <hr>
  243. <div class="spirit-nav">
  244. <a accesskey="p" href="fpclass.html"><img src="../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../utils.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="fp_facets.html"><img src="../../../../../doc/src/images/next.png" alt="Next"></a>
  245. </div>
  246. </body>
  247. </html>