| 1 |
742 |
jeremybenn |
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
| 2 |
|
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
|
| 3 |
|
|
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Concept Checking</title><meta name="generator" content="DocBook XSL-NS Stylesheets V1.76.1"/><meta name="keywords" content=" ISO C++ , library "/><meta name="keywords" content=" ISO C++ , runtime , library "/><link rel="home" href="../index.html" title="The GNU C++ Library"/><link rel="up" href="diagnostics.html" title="Chapter 5. Diagnostics"/><link rel="prev" href="diagnostics.html" title="Chapter 5. Diagnostics"/><link rel="next" href="utilities.html" title="Chapter 6. Utilities"/></head><body><div class="navheader"><table width="100%" summary="Navigation header"><tr><th colspan="3" align="center">Concept Checking</th></tr><tr><td align="left"><a accesskey="p" href="diagnostics.html">Prev</a> </td><th width="60%" align="center">Chapter 5.
|
| 4 |
|
|
Diagnostics
|
| 5 |
|
|
|
| 6 |
|
|
</th><td align="right"> <a accesskey="n" href="utilities.html">Next</a></td></tr></table><hr/></div><div class="section" title="Concept Checking"><div class="titlepage"><div><div><h2 class="title"><a id="std.diagnostics.concept_checking"/>Concept Checking</h2></div></div></div><p>
|
| 7 |
|
|
In 1999, SGI added <span class="quote">“<span class="quote">concept checkers</span>”</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 was
|
| 23 |
|
|
formally reviewed and accepted into
|
| 24 |
|
|
<a class="link" href="http://www.boost.org/libs/concept_check/concept_check.htm">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="link" href="configure.html" title="Configure"><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 checks are based on the requirements in the original
|
| 39 |
|
|
C++ standard, some of which have changed in the new C++11 revision.
|
| 40 |
|
|
Additionally, some correct code might be rejected by the concept checks,
|
| 41 |
|
|
for example template argument types may need to be complete when used in
|
| 42 |
|
|
a template definition, rather than at the point of instantiation.
|
| 43 |
|
|
There are no plans to address these shortcomings.
|
| 44 |
|
|
</p></div><div class="navfooter"><hr/><table width="100%" summary="Navigation footer"><tr><td align="left"><a accesskey="p" href="diagnostics.html">Prev</a> </td><td align="center"><a accesskey="u" href="diagnostics.html">Up</a></td><td align="right"> <a accesskey="n" href="utilities.html">Next</a></td></tr><tr><td align="left" valign="top">Chapter 5.
|
| 45 |
|
|
Diagnostics
|
| 46 |
|
|
|
| 47 |
|
|
</td><td align="center"><a accesskey="h" href="../index.html">Home</a></td><td align="right" valign="top"> Chapter 6.
|
| 48 |
|
|
Utilities
|
| 49 |
|
|
|
| 50 |
|
|
</td></tr></table></div></body></html>
|
