libstdc++-v3/doc/html/manual/bk01pt03ch08.html

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/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="keywords" content="&#10;      ISO C++&#10;    , &#10;      library&#10;    " /><link rel="home" href="../spine.html" title="The GNU C++ Library Documentation" /><link rel="up" href="diagnostics.html" title="Part III. Diagnostics" /><link rel="prev" href="bk01pt03ch07s03.html" title="Cancellation" /><link rel="next" href="utilities.html" title="Part IV. Utilities" /></head><body><div class="navheader"><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. Diagnostics</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"><div class="titlepage"><div><div><h2 class="title"><a id="manual.diagnostics.concept_checking"></a>Chapter 8. Concept Checking</h2></div></div></div><p>
   4     In 1999, SGI added “<span class="quote">concept checkers</span>” to their
   5     implementation of the STL: code which checked the template
   6     parameters of instantiated pieces of the STL, in order to insure
   7     that the parameters being used met the requirements of the
   8     standard.  For example, the Standard requires that types passed as
   9     template parameters to <code class="classname">vector</code> be
  10     "Assignable" (which means what you think it means).  The
  11     checking was done during compilation, and none of the code was
  12     executed at runtime.
  13    </p><p>
  14      Unfortunately, the size of the compiler files grew significantly
  15      as a result.  The checking code itself was cumbersome.  And bugs
  16      were found in it on more than one occasion.
  17    </p><p>
  18      The primary author of the checking code, Jeremy Siek, had already
  19      started work on a replacement implementation.  The new code has been
  20      formally reviewed and accepted into
  21    <a class="ulink" href="http://www.boost.org/libs/concept_check/concept_check.htm" target="_top">the
  22    Boost libraries</a>, and we are pleased to incorporate it into the
  23    GNU C++ library.
  24  </p><p>
  25    The new version imposes a much smaller space overhead on the generated
  26    object file.  The checks are also cleaner and easier to read and
  27    understand.
  28  </p><p>
  29    They are off by default for all versions of GCC.
  30    They can be enabled at configure time with
  31    <a class="ulink" href="../configopts.html" target="_top"><code class="literal">--enable-concept-checks</code></a>.
  32    You can enable them on a per-translation-unit basis with
  33      <code class="literal">-D_GLIBCXX_CONCEPT_CHECKS</code>.
  34  </p><p>
  35    Please note that the upcoming C++ standard has first-class
  36    support for template parameter constraints based on concepts in the core
  37    language. This will obviate the need for the library-simulated concept
  38    checking described above.
  39  </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="diagnostics.html">Up</a></td><td width="40%" align="right"> <a accesskey="n" href="utilities.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">Cancellation </td><td width="20%" align="center"><a accesskey="h" href="../spine.html">Home</a></td><td width="40%" align="right" valign="top"> Part IV. Utilities</td></tr></table></div></body></html>