| OLD | NEW |
| (Empty) |
| 1 <?xml version="1.0" encoding="UTF-8" standalone="no"?> | |
| 2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.or
g/TR/xhtml1/DTD/xhtml1-transitional.dtd"> | |
| 3 <html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type"
content="text/html; charset=UTF-8" /><title>Chapter 8. Concept Checking</title>
<meta name="generator" content="DocBook XSL Stylesheets V1.74.0" /><meta name="k
eywords" content=" ISO C++ , library " /><l
ink rel="home" href="../spine.html" title="The GNU C++ Library Documentation" />
<link rel="up" href="diagnostics.html" title="Part III. Diagnostics" /><link re
l="prev" href="bk01pt03ch07s03.html" title="Cancellation" /><link rel="next" hre
f="utilities.html" title="Part IV. Utilities" /></head><body><div class="navhea
der"><table width="100%" summary="Navigation header"><tr><th colspan="3" align="
center">Chapter 8. Concept Checking</th></tr><tr><td width="20%" align="left"><a
accesskey="p" href="bk01pt03ch07s03.html">Prev</a> </td><th width="60%" align="
center">Part III. | |
| 4 Diagnostics | |
| 5 | |
| 6 </th><td width="20%" align="right"> <a accesskey="n" href="utilities.html">Next<
/a></td></tr></table><hr /></div><div class="chapter" lang="en" xml:lang="en"><d
iv class="titlepage"><div><div><h2 class="title"><a id="manual.diagnostics.conce
pt_checking"></a>Chapter 8. Concept Checking</h2></div></div></div><p> | |
| 7 In 1999, SGI added “<span class="quote">concept checkers</span>” to their | |
| 8 implementation of the STL: code which checked the template | |
| 9 parameters of instantiated pieces of the STL, in order to insure | |
| 10 that the parameters being used met the requirements of the | |
| 11 standard. For example, the Standard requires that types passed as | |
| 12 template parameters to <code class="classname">vector</code> be | |
| 13 "Assignable" (which means what you think it means). The | |
| 14 checking was done during compilation, and none of the code was | |
| 15 executed at runtime. | |
| 16 </p><p> | |
| 17 Unfortunately, the size of the compiler files grew significantly | |
| 18 as a result. The checking code itself was cumbersome. And bugs | |
| 19 were found in it on more than one occasion. | |
| 20 </p><p> | |
| 21 The primary author of the checking code, Jeremy Siek, had already | |
| 22 started work on a replacement implementation. The new code has been | |
| 23 formally reviewed and accepted into | |
| 24 <a class="ulink" href="http://www.boost.org/libs/concept_check/concept_check.
htm" target="_top">the | |
| 25 Boost libraries</a>, and we are pleased to incorporate it into the | |
| 26 GNU C++ library. | |
| 27 </p><p> | |
| 28 The new version imposes a much smaller space overhead on the generated | |
| 29 object file. The checks are also cleaner and easier to read and | |
| 30 understand. | |
| 31 </p><p> | |
| 32 They are off by default for all versions of GCC. | |
| 33 They can be enabled at configure time with | |
| 34 <a class="ulink" href="../configopts.html" target="_top"><code class="literal
">--enable-concept-checks</code></a>. | |
| 35 You can enable them on a per-translation-unit basis with | |
| 36 <code class="literal">-D_GLIBCXX_CONCEPT_CHECKS</code>. | |
| 37 </p><p> | |
| 38 Please note that the upcoming C++ standard has first-class | |
| 39 support for template parameter constraints based on concepts in the core | |
| 40 language. This will obviate the need for the library-simulated concept | |
| 41 checking described above. | |
| 42 </p></div><div class="navfooter"><hr /><table width="100%" summary="Navigation
footer"><tr><td width="40%" align="left"><a accesskey="p" href="bk01pt03ch07s03.
html">Prev</a> </td><td width="20%" align="center"><a accesskey="u" href="diagno
stics.html">Up</a></td><td width="40%" align="right"> <a accesskey="n" href="uti
lities.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">Can
cellation </td><td width="20%" align="center"><a accesskey="h" href="../spine.ht
ml">Home</a></td><td width="40%" align="right" valign="top"> Part IV. | |
| 43 Utilities | |
| 44 | |
| 45 </td></tr></table></div></body></html> | |
| OLD | NEW |