1 <?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>Chapter
17. Debug Mode
</title><meta name=
"generator" content=
"DocBook XSL-NS Stylesheets V1.76.1"/><meta name=
"keywords" content=
" C++ , library , debug "/><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=
"extensions.html" title=
"Part III. Extensions"/><link rel=
"prev" href=
"ext_compile_checks.html" title=
"Chapter 16. Compile Time Checks"/><link rel=
"next" href=
"bk01pt03ch17s02.html" title=
"Semantics"/></head><body><div class=
"navheader"><table width=
"100%" summary=
"Navigation header"><tr><th colspan=
"3" align=
"center">Chapter
17. Debug Mode
</th></tr><tr><td align=
"left"><a accesskey=
"p" href=
"ext_compile_checks.html">Prev
</a> </td><th width=
"60%" align=
"center">Part III.
6 </th><td align=
"right"> <a accesskey=
"n" href=
"bk01pt03ch17s02.html">Next
</a></td></tr></table><hr/></div><div class=
"chapter" title=
"Chapter 17. Debug Mode"><div class=
"titlepage"><div><div><h2 class=
"title"><a id=
"manual.ext.debug_mode"/>Chapter
17. Debug Mode
</h2></div></div></div><div class=
"toc"><p><strong>Table of Contents
</strong></p><dl><dt><span class=
"section"><a href=
"debug_mode.html#manual.ext.debug_mode.intro">Intro
</a></span></dt><dt><span class=
"section"><a href=
"bk01pt03ch17s02.html">Semantics
</a></span></dt><dt><span class=
"section"><a href=
"bk01pt03ch17s03.html">Using
</a></span></dt><dd><dl><dt><span class=
"section"><a href=
"bk01pt03ch17s03.html#debug_mode.using.mode">Using the Debug Mode
</a></span></dt><dt><span class=
"section"><a href=
"bk01pt03ch17s03.html#debug_mode.using.specific">Using a Specific Debug Container
</a></span></dt></dl></dd><dt><span class=
"section"><a href=
"bk01pt03ch17s04.html">Design
</a></span></dt><dd><dl><dt><span class=
"section"><a href=
"bk01pt03ch17s04.html#debug_mode.design.goals">Goals
</a></span></dt><dt><span class=
"section"><a href=
"bk01pt03ch17s04.html#debug_mode.design.methods">Methods
</a></span></dt><dd><dl><dt><span class=
"section"><a href=
"bk01pt03ch17s04.html#debug_mode.design.methods.wrappers">The Wrapper Model
</a></span></dt><dd><dl><dt><span class=
"section"><a href=
"bk01pt03ch17s04.html#debug_mode.design.methods.safe_iter">Safe Iterators
</a></span></dt><dt><span class=
"section"><a href=
"bk01pt03ch17s04.html#debug_mode.design.methods.safe_seq">Safe Sequences (Containers)
</a></span></dt></dl></dd><dt><span class=
"section"><a href=
"bk01pt03ch17s04.html#debug_mode.design.methods.precond">Precondition Checking
</a></span></dt><dt><span class=
"section"><a href=
"bk01pt03ch17s04.html#debug_mode.design.methods.coexistence">Release- and debug-mode coexistence
</a></span></dt><dd><dl><dt><span class=
"section"><a href=
"bk01pt03ch17s04.html#methods.coexistence.compile">Compile-time coexistence of release- and debug-mode components
</a></span></dt><dt><span class=
"section"><a href=
"bk01pt03ch17s04.html#methods.coexistence.link">Link- and run-time coexistence of release- and
7 debug-mode components
</a></span></dt><dt><span class=
"section"><a href=
"bk01pt03ch17s04.html#methods.coexistence.alt">Alternatives for Coexistence
</a></span></dt></dl></dd></dl></dd><dt><span class=
"section"><a href=
"bk01pt03ch17s04.html#debug_mode.design.other">Other Implementations
</a></span></dt></dl></dd></dl></div><div class=
"section" title=
"Intro"><div class=
"titlepage"><div><div><h2 class=
"title"><a id=
"manual.ext.debug_mode.intro"/>Intro
</h2></div></div></div><p>
8 By default, libstdc++ is built with efficiency in mind, and
9 therefore performs little or no error checking that is not
10 required by the C++ standard. This means that programs that
11 incorrectly use the C++ standard library will exhibit behavior
12 that is not portable and may not even be predictable, because they
13 tread into implementation-specific or undefined behavior. To
14 detect some of these errors before they can become problematic,
15 libstdc++ offers a debug mode that provides additional checking of
16 library facilities, and will report errors in the use of libstdc++
17 as soon as they can be detected by emitting a description of the
18 problem to standard error and aborting the program. This debug
19 mode is available with GCC
3.4.0 and later versions.
21 The libstdc++ debug mode performs checking for many areas of the
22 C++ standard, but the focus is on checking interactions among
23 standard iterators, containers, and algorithms, including:
24 </p><div class=
"itemizedlist"><ul class=
"itemizedlist"><li class=
"listitem"><p><span class=
"emphasis"><em>Safe iterators
</em></span>: Iterators keep track of the
25 container whose elements they reference, so errors such as
26 incrementing a past-the-end iterator or dereferencing an iterator
27 that points to a container that has been destructed are diagnosed
28 immediately.
</p></li><li class=
"listitem"><p><span class=
"emphasis"><em>Algorithm preconditions
</em></span>: Algorithms attempt to
29 validate their input parameters to detect errors as early as
30 possible. For instance, the
<code class=
"code">set_intersection
</code>
31 algorithm requires that its iterator
32 parameters
<code class=
"code">first1
</code> and
<code class=
"code">last1
</code> form a valid
33 iterator range, and that the sequence
34 [
<code class=
"code">first1
</code>,
<code class=
"code">last1
</code>) is sorted according to
35 the same predicate that was passed
36 to
<code class=
"code">set_intersection
</code>; the libstdc++ debug mode will
37 detect an error if the sequence is not sorted or was sorted by a
38 different predicate.
</p></li></ul></div></div></div><div class=
"navfooter"><hr/><table width=
"100%" summary=
"Navigation footer"><tr><td align=
"left"><a accesskey=
"p" href=
"ext_compile_checks.html">Prev
</a> </td><td align=
"center"><a accesskey=
"u" href=
"extensions.html">Up
</a></td><td align=
"right"> <a accesskey=
"n" href=
"bk01pt03ch17s02.html">Next
</a></td></tr><tr><td align=
"left" valign=
"top">Chapter
16. Compile Time Checks
</td><td align=
"center"><a accesskey=
"h" href=
"../index.html">Home
</a></td><td align=
"right" valign=
"top"> Semantics
</td></tr></table></div></body></html>