xref: /netbsd-src/external/gpl3/gcc.old/dist/libstdc++-v3/doc/xml/manual/intro.xml (revision 7330f729ccf0bd976a06f95fad452fe774fc7fd1)
1<?xml version='1.0'?>
2<!DOCTYPE part [
3  <!ENTITY DR
4"http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html">
5] >
6
7<part xmlns="http://docbook.org/ns/docbook" version="5.0" xml:id="manual.intro" xreflabel="Introduction">
8<?dbhtml filename="intro.html"?>
9
10<info><title>
11  Introduction
12  <indexterm><primary>Introduction</primary></indexterm>
13</title>
14  <keywordset>
15    <keyword>ISO C++</keyword>
16    <keyword>library</keyword>
17  </keywordset>
18</info>
19
20
21<!-- Chapter 01 : Status -->
22<chapter xml:id="manual.intro.status" xreflabel="Status"><info><title>Status</title></info>
23  <?dbhtml filename="status.html"?>
24
25
26  <!-- Section 01 : Implementation Status -->
27  <section xml:id="manual.intro.status.iso" xreflabel="Status"><info><title>Implementation Status</title></info>
28
29
30    <!-- Section 01.1 : Status C++ 1998 -->
31    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" parse="xml" href="status_cxx1998.xml">
32    </xi:include>
33
34    <!-- Section 01.2 : Status C++ 2011 -->
35    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" parse="xml" href="status_cxx2011.xml">
36    </xi:include>
37
38    <!-- Section 01.3 : Status C++ 2014 -->
39    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" parse="xml" href="status_cxx2014.xml">
40    </xi:include>
41
42    <!-- Section 01.4 : Status C++ 2017 -->
43    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" parse="xml" href="status_cxx2017.xml">
44    </xi:include>
45
46    <!-- Section 01.5 : Status C++ TR1 -->
47    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" parse="xml" href="status_cxxtr1.xml">
48    </xi:include>
49
50    <!-- Section 01.6 : Status C++ TR24733 -->
51    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" parse="xml" href="status_cxxtr24733.xml">
52    </xi:include>
53
54    <!-- Section 01.7 : Status C++ IS 24733 -->
55    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" parse="xml" href="status_cxxis29124.xml">
56    </xi:include>
57  </section>
58
59  <!-- Section 02 : License -->
60  <section xml:id="manual.intro.status.license" xreflabel="License"><info><title>License</title></info>
61    <?dbhtml filename="license.html"?>
62
63    <para>
64    There are two licenses affecting GNU libstdc++: one for the code,
65    and one for the documentation.
66    </para>
67
68    <para>
69      There is a license section in the FAQ regarding common <link linkend="faq.license">questions</link>. If you have more
70      questions, ask the FSF or the <link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://gcc.gnu.org/lists.html">gcc mailing list</link>.
71    </para>
72
73    <section xml:id="manual.intro.status.license.gpl" xreflabel="License GPL"><info><title>The Code: GPL</title></info>
74
75
76    <para>
77      The source code is distributed under the <link linkend="appendix.gpl-3.0">GNU General Public License version 3</link>,
78      with the addition under section 7 of an exception described in
79      the <quote>GCC Runtime Library Exception, version 3.1</quote>
80      as follows (or see the file COPYING.RUNTIME):
81    </para>
82
83    <literallayout class="normal">
84GCC RUNTIME LIBRARY EXCEPTION
85
86Version 3.1, 31 March 2009
87
88Copyright (C) 2009 <link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://www.fsf.org">Free Software Foundation, Inc.</link>
89
90Everyone is permitted to copy and distribute verbatim copies of this
91license document, but changing it is not allowed.
92
93This GCC Runtime Library Exception ("Exception") is an additional
94permission under section 7 of the GNU General Public License, version
953 ("GPLv3"). It applies to a given file (the "Runtime Library") that
96bears a notice placed by the copyright holder of the file stating that
97the file is governed by GPLv3 along with this Exception.
98
99When you use GCC to compile a program, GCC may combine portions of
100certain GCC header files and runtime libraries with the compiled
101program. The purpose of this Exception is to allow compilation of
102non-GPL (including proprietary) programs to use, in this way, the
103header files and runtime libraries covered by this Exception.
104
1050. Definitions.
106
107A file is an "Independent Module" if it either requires the Runtime
108Library for execution after a Compilation Process, or makes use of an
109interface provided by the Runtime Library, but is not otherwise based
110on the Runtime Library.
111
112"GCC" means a version of the GNU Compiler Collection, with or without
113modifications, governed by version 3 (or a specified later version) of
114the GNU General Public License (GPL) with the option of using any
115subsequent versions published by the FSF.
116
117"GPL-compatible Software" is software whose conditions of propagation,
118modification and use would permit combination with GCC in accord with
119the license of GCC.
120
121"Target Code" refers to output from any compiler for a real or virtual
122target processor architecture, in executable form or suitable for
123input to an assembler, loader, linker and/or execution
124phase. Notwithstanding that, Target Code does not include data in any
125format that is used as a compiler intermediate representation, or used
126for producing a compiler intermediate representation.
127
128The "Compilation Process" transforms code entirely represented in
129non-intermediate languages designed for human-written code, and/or in
130Java Virtual Machine byte code, into Target Code. Thus, for example,
131use of source code generators and preprocessors need not be considered
132part of the Compilation Process, since the Compilation Process can be
133understood as starting with the output of the generators or
134preprocessors.
135
136A Compilation Process is "Eligible" if it is done using GCC, alone or
137with other GPL-compatible software, or if it is done without using any
138work based on GCC. For example, using non-GPL-compatible Software to
139optimize any GCC intermediate representations would not qualify as an
140Eligible Compilation Process.
141
1421. Grant of Additional Permission.
143
144You have permission to propagate a work of Target Code formed by
145combining the Runtime Library with Independent Modules, even if such
146propagation would otherwise violate the terms of GPLv3, provided that
147all Target Code was generated by Eligible Compilation Processes. You
148may then convey such a combination under terms of your choice,
149consistent with the licensing of the Independent Modules.
150
1512. No Weakening of GCC Copyleft.
152
153The availability of this Exception does not imply any general
154presumption that third-party software is unaffected by the copyleft
155requirements of the license of GCC.
156    </literallayout>
157
158    <para>
159      Hopefully that text is self-explanatory.  If it isn't, you need to speak
160      to your lawyer, or the Free Software Foundation.
161    </para>
162    </section>
163
164    <section xml:id="manual.intro.status.license.fdl" xreflabel="License FDL"><info><title>The Documentation: GPL, FDL</title></info>
165
166
167    <para>
168      The documentation shipped with the library and made available over
169      the web, excluding the pages generated from source comments, are
170      copyrighted by the Free Software Foundation, and placed under the
171      <link linkend="appendix.gfdl-1.3"> GNU Free Documentation
172      License version 1.3</link>.  There are no Front-Cover Texts, no
173      Back-Cover Texts, and no Invariant Sections.
174    </para>
175
176    <para>
177      For documentation generated by doxygen or other automated tools
178      via processing source code comments and markup, the original source
179      code license applies to the generated files. Thus, the doxygen
180      documents are licensed <link linkend="appendix.gpl-3.0">GPL</link>.
181    </para>
182
183    <para>
184      If you plan on making copies of the documentation, please let us know.
185      We can probably offer suggestions.
186    </para>
187    </section>
188
189  </section>
190
191  <!-- Section 03 : Known Bugs -->
192  <section xml:id="manual.intro.status.bugs" xreflabel="Bugs"><info><title>Bugs</title></info>
193    <?dbhtml filename="bugs.html"?>
194
195
196    <section xml:id="manual.intro.status.bugs.impl" xreflabel="Bugs impl"><info><title>Implementation Bugs</title></info>
197
198    <para>
199      Information on known bugs, details on efforts to fix them, and
200      fixed bugs are all available as part of the <link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://gcc.gnu.org/bugs/">GCC bug tracking system</link>,
201      with the category set to <literal>libstdc++</literal>.
202    </para>
203    </section>
204
205    <section xml:id="manual.intro.status.bugs.iso" xreflabel="Bugs iso"><info><title>Standard Bugs</title></info>
206
207      <para>
208	Everybody's got issues.  Even the C++ Standard Library.
209      </para>
210      <para>
211	The Library Working Group, or LWG, is the ISO subcommittee responsible
212	for making changes to the library.  They periodically publish an
213	Issues List containing problems and possible solutions.  As they reach
214	a consensus on proposed solutions, we often incorporate the solution.
215      </para>
216      <para>
217	Here are the issues which have resulted in code changes to the library.
218	The links are to the specific defect reports from a <emphasis>partial
219	copy</emphasis> of the Issues List.  You can read the full version online
220	at the <link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://www.open-std.org/jtc1/sc22/wg21/">ISO C++
221	Committee homepage</link>.
222      </para>
223      <para>
224	If a DR is not listed here, we may simply not have gotten to
225	it yet; feel free to submit a patch.  Search the include/bits
226	and src directories for appearances of
227	<constant>_GLIBCXX_RESOLVE_LIB_DEFECTS</constant> for examples
228	of style.  Note that we usually do not make changes to the
229	code until an issue has reached <link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-active.html#DR">DR</link> status.
230      </para>
231
232      <variablelist>
233    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#5">5</link>:
234	<emphasis>string::compare specification questionable</emphasis>
235    </term>
236    <listitem><para>This should be two overloaded functions rather than a single function.
237    </para></listitem></varlistentry>
238
239    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#17">17</link>:
240	<emphasis>Bad bool parsing</emphasis>
241    </term>
242    <listitem><para>Apparently extracting Boolean values was messed up...
243    </para></listitem></varlistentry>
244
245    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#19">19</link>:
246	<emphasis>"Noconv" definition too vague</emphasis>
247    </term>
248    <listitem><para>If <code>codecvt::do_in</code> returns <code>noconv</code> there are
249	no changes to the values in <code>[to, to_limit)</code>.
250    </para></listitem></varlistentry>
251
252    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#22">22</link>:
253	<emphasis>Member open vs flags</emphasis>
254    </term>
255    <listitem><para>Re-opening a file stream does <emphasis>not</emphasis> clear the state flags.
256    </para></listitem></varlistentry>
257
258    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#23">23</link>:
259	<emphasis>Num_get overflow result</emphasis>
260    </term>
261    <listitem><para>Implement the proposed resolution.
262    </para></listitem></varlistentry>
263
264    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#25">25</link>:
265	<emphasis>String operator&lt;&lt; uses width() value wrong</emphasis>
266    </term>
267    <listitem><para>Padding issues.
268    </para></listitem></varlistentry>
269
270    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#48">48</link>:
271	<emphasis>Use of non-existent exception constructor</emphasis>
272    </term>
273    <listitem><para>An instance of <code>ios_base::failure</code> is constructed instead.
274    </para></listitem></varlistentry>
275
276    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#49">49</link>:
277	<emphasis>Underspecification of ios_base::sync_with_stdio</emphasis>
278    </term>
279    <listitem><para>The return type is the <emphasis>previous</emphasis> state of synchronization.
280    </para></listitem></varlistentry>
281
282    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#50">50</link>:
283	<emphasis>Copy constructor and assignment operator of ios_base</emphasis>
284    </term>
285    <listitem><para>These members functions are declared <code>private</code> and are
286	thus inaccessible.  Specifying the correct semantics of
287	"copying stream state" was deemed too complicated.
288    </para></listitem></varlistentry>
289
290    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#60">60</link>:
291	<emphasis>What is a formatted input function?</emphasis>
292    </term>
293    <listitem><para>This DR made many widespread changes to <code>basic_istream</code>
294	and <code>basic_ostream</code> all of which have been implemented.
295    </para></listitem></varlistentry>
296
297    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#63">63</link>:
298	<emphasis>Exception-handling policy for unformatted output</emphasis>
299    </term>
300    <listitem><para>Make the policy consistent with that of formatted input, unformatted
301	input, and formatted output.
302    </para></listitem></varlistentry>
303
304    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#68">68</link>:
305	<emphasis>Extractors for char* should store null at end</emphasis>
306    </term>
307    <listitem><para>And they do now.  An editing glitch in the last item in the list of
308	[27.6.1.2.3]/7.
309    </para></listitem></varlistentry>
310
311    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#74">74</link>:
312	<emphasis>Garbled text for codecvt::do_max_length</emphasis>
313    </term>
314    <listitem><para>The text of the standard was gibberish.  Typos gone rampant.
315    </para></listitem></varlistentry>
316
317    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#75">75</link>:
318	<emphasis>Contradiction in codecvt::length's argument types</emphasis>
319    </term>
320    <listitem><para>Change the first parameter to <code>stateT&amp;</code> and implement
321	the new effects paragraph.
322    </para></listitem></varlistentry>
323
324    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#83">83</link>:
325	<emphasis>string::npos vs. string::max_size()</emphasis>
326    </term>
327    <listitem><para>Safety checks on the size of the string should test against
328	<code>max_size()</code> rather than <code>npos</code>.
329    </para></listitem></varlistentry>
330
331    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#90">90</link>:
332	<emphasis>Incorrect description of operator&gt;&gt; for strings</emphasis>
333    </term>
334    <listitem><para>The effect contain <code>isspace(c,getloc())</code> which must be
335	replaced by <code>isspace(c,is.getloc())</code>.
336    </para></listitem></varlistentry>
337
338    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#91">91</link>:
339	<emphasis>Description of operator&gt;&gt; and getline() for string&lt;&gt;
340	    might cause endless loop</emphasis>
341    </term>
342    <listitem><para>They behave as a formatted input function and as an unformatted
343	input function, respectively (except that <code>getline</code> is
344	not required to set <code>gcount</code>).
345    </para></listitem></varlistentry>
346
347    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#103">103</link>:
348	<emphasis>set::iterator is required to be modifiable, but this allows
349	    modification of keys.</emphasis>
350    </term>
351    <listitem><para>For associative containers where the value type is the same as
352	the key type, both <code>iterator</code> and <code>const_iterator
353	</code> are constant iterators.
354    </para></listitem></varlistentry>
355
356    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#109">109</link>:
357	<emphasis>Missing binders for non-const sequence elements</emphasis>
358    </term>
359    <listitem><para>The <code>binder1st</code> and <code>binder2nd</code> didn't have an
360	<code>operator()</code> taking a non-const parameter.
361    </para></listitem></varlistentry>
362
363    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#110">110</link>:
364	<emphasis>istreambuf_iterator::equal not const</emphasis>
365    </term>
366    <listitem><para>This was not a const member function.  Note that the DR says to
367	replace the function with a const one; we have instead provided an
368	overloaded version with identical contents.
369    </para></listitem></varlistentry>
370
371    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#117">117</link>:
372	<emphasis>basic_ostream uses nonexistent num_put member functions</emphasis>
373    </term>
374    <listitem><para><code>num_put::put()</code> was overloaded on the wrong types.
375    </para></listitem></varlistentry>
376
377    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#118">118</link>:
378	<emphasis>basic_istream uses nonexistent num_get member functions</emphasis>
379    </term>
380    <listitem><para>Same as 117, but for <code>num_get::get()</code>.
381    </para></listitem></varlistentry>
382
383    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#129">129</link>:
384	<emphasis>Need error indication from seekp() and seekg()</emphasis>
385    </term>
386    <listitem><para>These functions set <code>failbit</code> on error now.
387    </para></listitem></varlistentry>
388
389    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#130">130</link>:
390	<emphasis>Return type of container::erase(iterator) differs for associative containers</emphasis>
391    </term>
392    <listitem><para>Make member <code>erase</code> return iterator for <code>set</code>, <code>multiset</code>, <code>map</code>, <code>multimap</code>.
393    </para></listitem></varlistentry>
394
395    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#136">136</link>:
396	<emphasis>seekp, seekg setting wrong streams?</emphasis>
397    </term>
398    <listitem><para><code>seekp</code> should only set the output stream, and
399	<code>seekg</code> should only set the input stream.
400    </para></listitem></varlistentry>
401
402<!--<varlistentry><term><ulink url="&DR;#159">159</ulink>:
403	<emphasis>Strange use of underflow()</emphasis>
404    </term>
405    <listitem><para>In fstream.tcc, the basic_filebuf&lt;&gt;::showmanyc() function
406	should probably not be calling <code>underflow()</code>.
407    </para></listitem></varlistentry> -->
408
409    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#167">167</link>:
410	<emphasis>Improper use of traits_type::length()</emphasis>
411    </term>
412    <listitem><para><code>op&lt;&lt;</code> with a <code>const char*</code> was
413	calculating an incorrect number of characters to write.
414    </para></listitem></varlistentry>
415
416    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#169">169</link>:
417	<emphasis>Bad efficiency of overflow() mandated</emphasis>
418    </term>
419    <listitem><para>Grow efficiently the internal array object.
420    </para></listitem></varlistentry>
421
422    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#171">171</link>:
423	<emphasis>Strange seekpos() semantics due to joint position</emphasis>
424    </term>
425    <listitem><para>Quite complex to summarize...
426    </para></listitem></varlistentry>
427
428    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#181">181</link>:
429	<emphasis>make_pair() unintended behavior</emphasis>
430    </term>
431    <listitem><para>This function used to take its arguments as reference-to-const, now
432	it copies them (pass by value).
433    </para></listitem></varlistentry>
434
435    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#195">195</link>:
436	<emphasis>Should basic_istream::sentry's constructor ever set eofbit?</emphasis>
437    </term>
438    <listitem><para>Yes, it can, specifically if EOF is reached while skipping whitespace.
439    </para></listitem></varlistentry>
440
441    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#211">211</link>:
442	<emphasis>operator&gt;&gt;(istream&amp;, string&amp;) doesn't set failbit</emphasis>
443    </term>
444    <listitem><para>If nothing is extracted into the string, <code>op&gt;&gt;</code> now
445	sets <code>failbit</code> (which can cause an exception, etc., etc.).
446    </para></listitem></varlistentry>
447
448    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#214">214</link>:
449	<emphasis>set::find() missing const overload</emphasis>
450    </term>
451    <listitem><para>Both <code>set</code> and <code>multiset</code> were missing
452	overloaded find, lower_bound, upper_bound, and equal_range functions
453	for const instances.
454    </para></listitem></varlistentry>
455
456    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#231">231</link>:
457	<emphasis>Precision in iostream?</emphasis>
458    </term>
459    <listitem><para>For conversion from a floating-point type, <code>str.precision()</code>
460	is specified in the conversion specification.
461    </para></listitem></varlistentry>
462
463    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#233">233</link>:
464	<emphasis>Insertion hints in associative containers</emphasis>
465    </term>
466    <listitem><para>Implement N1780, first check before then check after, insert as close
467	to hint as possible.
468    </para></listitem></varlistentry>
469
470    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#235">235</link>:
471	<emphasis>No specification of default ctor for reverse_iterator</emphasis>
472    </term>
473    <listitem><para>The declaration of <code>reverse_iterator</code> lists a default constructor.
474	However, no specification is given what this constructor should do.
475    </para></listitem></varlistentry>
476
477    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#241">241</link>:
478	<emphasis>Does unique_copy() require CopyConstructible and Assignable?</emphasis>
479    </term>
480    <listitem><para>Add a helper for forward_iterator/output_iterator, fix the existing
481	one for input_iterator/output_iterator to not rely on Assignability.
482    </para></listitem></varlistentry>
483
484    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#243">243</link>:
485	<emphasis>get and getline when sentry reports failure</emphasis>
486    </term>
487    <listitem><para>Store a null character only if the character array has a non-zero size.
488    </para></listitem></varlistentry>
489
490    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#251">251</link>:
491	<emphasis>basic_stringbuf missing allocator_type</emphasis>
492    </term>
493    <listitem><para>This nested typedef was originally not specified.
494    </para></listitem></varlistentry>
495
496    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#253">253</link>:
497	<emphasis>valarray helper functions are almost entirely useless</emphasis>
498    </term>
499    <listitem><para>Make the copy constructor and copy-assignment operator declarations
500	public in gslice_array, indirect_array, mask_array, slice_array; provide
501	definitions.
502    </para></listitem></varlistentry>
503
504    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#265">265</link>:
505	<emphasis>std::pair::pair() effects overly restrictive</emphasis>
506    </term>
507    <listitem><para>The default ctor would build its members from copies of temporaries;
508	now it simply uses their respective default ctors.
509    </para></listitem></varlistentry>
510
511    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#266">266</link>:
512	<emphasis>bad_exception::~bad_exception() missing Effects clause</emphasis>
513    </term>
514    <listitem><para>The <code>bad_</code>* classes no longer have destructors (they
515	are trivial), since no description of them was ever given.
516    </para></listitem></varlistentry>
517
518    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#271">271</link>:
519	<emphasis>basic_iostream missing typedefs</emphasis>
520    </term>
521    <listitem><para>The typedefs it inherits from its base classes can't be used, since
522	(for example) <code>basic_iostream&lt;T&gt;::traits_type</code> is ambiguous.
523    </para></listitem></varlistentry>
524
525    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#275">275</link>:
526	<emphasis>Wrong type in num_get::get() overloads</emphasis>
527    </term>
528    <listitem><para>Similar to 118.
529    </para></listitem></varlistentry>
530
531    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#280">280</link>:
532	<emphasis>Comparison of reverse_iterator to const reverse_iterator</emphasis>
533    </term>
534    <listitem><para>Add global functions with two template parameters.
535	(NB: not added for now a templated assignment operator)
536    </para></listitem></varlistentry>
537
538    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#292">292</link>:
539	<emphasis>Effects of a.copyfmt (a)</emphasis>
540    </term>
541    <listitem><para>If <code>(this == &amp;rhs)</code> do nothing.
542    </para></listitem></varlistentry>
543
544    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#300">300</link>:
545	<emphasis>List::merge() specification incomplete</emphasis>
546    </term>
547    <listitem><para>If <code>(this == &amp;x)</code> do nothing.
548    </para></listitem></varlistentry>
549
550    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#303">303</link>:
551	<emphasis>Bitset input operator underspecified</emphasis>
552    </term>
553    <listitem><para>Basically, compare the input character to
554		    <code>is.widen(0)</code> and <code>is.widen(1)</code>.
555    </para></listitem></varlistentry>
556
557    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#305">305</link>:
558	<emphasis>Default behavior of codecvt&lt;wchar_t, char,
559		  mbstate_t&gt;::length()</emphasis>
560    </term>
561    <listitem><para>Do not specify what <code>codecvt&lt;wchar_t, char,
562		    mbstate_t&gt;::do_length</code> must return.
563    </para></listitem></varlistentry>
564
565    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#328">328</link>:
566	<emphasis>Bad sprintf format modifier in
567		  money_put&lt;&gt;::do_put()</emphasis>
568    </term>
569    <listitem><para>Change the format string to "%.0Lf".
570    </para></listitem></varlistentry>
571
572    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#365">365</link>:
573	<emphasis>Lack of const-qualification in clause 27</emphasis>
574    </term>
575    <listitem><para>Add const overloads of <code>is_open</code>.
576    </para></listitem></varlistentry>
577
578    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#387">387</link>:
579	<emphasis>std::complex over-encapsulated</emphasis>
580    </term>
581    <listitem><para>Add the <code>real(T)</code> and <code>imag(T)</code>
582		    members;  in C++11 mode, also adjust the existing
583		    <code>real()</code> and <code>imag()</code> members and
584		    free functions.
585    </para></listitem></varlistentry>
586
587    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#389">389</link>:
588	<emphasis>Const overload of valarray::operator[] returns
589		  by value</emphasis>
590    </term>
591    <listitem><para>Change it to return a <code>const T&amp;</code>.
592    </para></listitem></varlistentry>
593
594    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#396">396</link>:
595	<emphasis>what are characters zero and one</emphasis>
596    </term>
597    <listitem><para>Implement the proposed resolution.
598    </para></listitem></varlistentry>
599
600    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#402">402</link>:
601	<emphasis>Wrong new expression in [some_]allocator::construct</emphasis>
602    </term>
603    <listitem><para>Replace "new" with "::new".
604    </para></listitem></varlistentry>
605
606    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-closed.html#408">408</link>:
607	<emphasis>
608	Is vector&lt;reverse_iterator&lt;char*&gt; &gt; forbidden?
609	</emphasis>
610    </term>
611    <listitem><para>Tweak the debug-mode checks in _Safe_iterator.
612    </para></listitem></varlistentry>
613
614    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#409">409</link>:
615	<emphasis>Closing an fstream should clear the error state</emphasis>
616    </term>
617    <listitem><para>Have <code>open</code> clear the error flags.
618    </para></listitem></varlistentry>
619
620    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-closed.html#431">431</link>:
621	<emphasis>Swapping containers with unequal allocators</emphasis>
622    </term>
623    <listitem><para>Implement Option 3, as per N1599.
624    </para></listitem></varlistentry>
625
626    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#432">432</link>:
627	<emphasis>stringbuf::overflow() makes only one write position
628	    available</emphasis>
629    </term>
630    <listitem><para>Implement the resolution, beyond DR 169.
631    </para></listitem></varlistentry>
632
633    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#434">434</link>:
634	<emphasis>bitset::to_string() hard to use</emphasis>
635    </term>
636    <listitem><para>Add three overloads, taking fewer template arguments.
637    </para></listitem></varlistentry>
638
639    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#438">438</link>:
640	<emphasis>Ambiguity in the "do the right thing" clause</emphasis>
641    </term>
642    <listitem><para>Implement the resolution, basically cast less.
643    </para></listitem></varlistentry>
644
645    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#445">445</link>:
646	<emphasis>iterator_traits::reference unspecified for some iterator categories</emphasis>
647    </term>
648    <listitem><para>Change <code>istreambuf_iterator::reference</code> in C++11 mode.
649    </para></listitem></varlistentry>
650
651    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#453">453</link>:
652	<emphasis>basic_stringbuf::seekoff need not always fail for an empty stream</emphasis>
653    </term>
654    <listitem><para>Don't fail if the next pointer is null and newoff is zero.
655    </para></listitem></varlistentry>
656
657    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#455">455</link>:
658	<emphasis>cerr::tie() and wcerr::tie() are overspecified</emphasis>
659    </term>
660    <listitem><para>Initialize cerr tied to cout and wcerr tied to wcout.
661    </para></listitem></varlistentry>
662
663    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#464">464</link>:
664	<emphasis>Suggestion for new member functions in standard containers</emphasis>
665    </term>
666    <listitem><para>Add <code>data()</code> to <code>std::vector</code> and
667	<code>at(const key_type&amp;)</code> to <code>std::map</code>.
668    </para></listitem></varlistentry>
669
670    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#467">467</link>:
671	<emphasis>char_traits::lt(), compare(), and memcmp()</emphasis>
672    </term>
673    <listitem><para>Change <code>lt</code>.
674    </para></listitem></varlistentry>
675
676    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#508">508</link>:
677	<emphasis>Bad parameters for ranlux64_base_01</emphasis>
678    </term>
679    <listitem><para>Fix the parameters.
680    </para></listitem></varlistentry>
681
682    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-closed.html#512">512</link>:
683	<emphasis>Seeding subtract_with_carry_01 from a single unsigned long</emphasis>
684    </term>
685    <listitem><para>Construct a <code>linear_congruential</code> engine and seed with it.
686    </para></listitem></varlistentry>
687
688    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-closed.html#526">526</link>:
689	<emphasis>Is it undefined if a function in the standard changes in
690	    parameters?</emphasis>
691    </term>
692    <listitem><para>Use &amp;value.
693    </para></listitem></varlistentry>
694
695    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#538">538</link>:
696	<emphasis>241 again: Does unique_copy() require CopyConstructible
697	    and Assignable?</emphasis>
698    </term>
699    <listitem><para>In case of input_iterator/output_iterator rely on Assignability of
700	input_iterator' value_type.
701    </para></listitem></varlistentry>
702
703    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#539">539</link>:
704	<emphasis>partial_sum and adjacent_difference should mention
705	    requirements</emphasis>
706    </term>
707    <listitem><para>We were almost doing the right thing, just use std::move
708	in adjacent_difference.
709    </para></listitem></varlistentry>
710
711    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#541">541</link>:
712	<emphasis>shared_ptr template assignment and void</emphasis>
713    </term>
714    <listitem><para>Add an auto_ptr&lt;void&gt; specialization.
715    </para></listitem></varlistentry>
716
717    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#543">543</link>:
718	<emphasis>valarray slice default constructor</emphasis>
719    </term>
720    <listitem><para>Follow the straightforward proposed resolution.
721    </para></listitem></varlistentry>
722
723    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#550">550</link>:
724	<emphasis>What should the return type of pow(float,int) be?</emphasis>
725    </term>
726    <listitem><para>In C++11 mode, remove the pow(float,int), etc., signatures.
727    </para></listitem></varlistentry>
728
729    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#586">586</link>:
730	<emphasis>string inserter not a formatted function</emphasis>
731    </term>
732    <listitem><para>Change it to be a formatted output function (i.e. catch exceptions).
733    </para></listitem></varlistentry>
734
735    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#596">596</link>:
736	<emphasis>27.8.1.3 Table 112 omits "a+" and "a+b" modes</emphasis>
737    </term>
738    <listitem><para>Add the missing modes to fopen_mode.
739    </para></listitem></varlistentry>
740
741    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#630">630</link>:
742	<emphasis>arrays of valarray</emphasis>
743    </term>
744    <listitem><para>Implement the simple resolution.
745    </para></listitem></varlistentry>
746
747    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#660">660</link>:
748	<emphasis>Missing bitwise operations</emphasis>
749    </term>
750    <listitem><para>Add the missing operations.
751    </para></listitem></varlistentry>
752
753    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#691">691</link>:
754	<emphasis>const_local_iterator cbegin, cend missing from TR1</emphasis>
755    </term>
756    <listitem><para>In C++11 mode add cbegin(size_type) and cend(size_type)
757		    to the unordered containers.
758    </para></listitem></varlistentry>
759
760    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#693">693</link>:
761	<emphasis>std::bitset::all() missing</emphasis>
762    </term>
763    <listitem><para>Add it, consistently with the discussion.
764    </para></listitem></varlistentry>
765
766    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#695">695</link>:
767	<emphasis>ctype&lt;char&gt;::classic_table() not accessible</emphasis>
768    </term>
769    <listitem><para>Make the member functions table and classic_table public.
770    </para></listitem></varlistentry>
771
772    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#696">696</link>:
773	<emphasis>istream::operator&gt;&gt;(int&amp;) broken</emphasis>
774    </term>
775    <listitem><para>Implement the straightforward resolution.
776    </para></listitem></varlistentry>
777
778    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#761">761</link>:
779	<emphasis>unordered_map needs an at() member function</emphasis>
780    </term>
781    <listitem><para>In C++11 mode, add at() and at() const.
782    </para></listitem></varlistentry>
783
784    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#775">775</link>:
785	<emphasis>Tuple indexing should be unsigned?</emphasis>
786    </term>
787    <listitem><para>Implement the int -&gt; size_t replacements.
788    </para></listitem></varlistentry>
789
790    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#776">776</link>:
791	<emphasis>Undescribed assign function of std::array</emphasis>
792    </term>
793    <listitem><para>In C++11 mode, remove assign, add fill.
794    </para></listitem></varlistentry>
795
796    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#781">781</link>:
797	<emphasis>std::complex should add missing C99 functions</emphasis>
798    </term>
799    <listitem><para>In C++11 mode, add std::proj.
800    </para></listitem></varlistentry>
801
802    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#809">809</link>:
803	<emphasis>std::swap should be overloaded for array types</emphasis>
804    </term>
805    <listitem><para>Add the overload.
806    </para></listitem></varlistentry>
807
808    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#853">853</link>:
809	<emphasis>to_string needs updating with zero and one</emphasis>
810    </term>
811    <listitem><para>Update / add the signatures.
812    </para></listitem></varlistentry>
813
814    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#865">865</link>:
815	<emphasis>More algorithms that throw away information</emphasis>
816    </term>
817    <listitem><para>The traditional HP / SGI return type and value is blessed
818		    by the resolution of the DR.
819    </para></listitem></varlistentry>
820
821    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#1339">1339</link>:
822       <emphasis>uninitialized_fill_n should return the end of its range</emphasis>
823    </term>
824    <listitem><para>Return the end of the filled range.
825    </para></listitem></varlistentry>
826
827    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2021">2021</link>:
828       <emphasis>Further incorrect uses of <code>result_of</code></emphasis>
829    </term>
830    <listitem><para>Correctly decay types in signature of <code>std::async</code>.
831    </para></listitem></varlistentry>
832
833    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2049">2049</link>:
834	<emphasis><code>is_destructible</code> underspecified</emphasis>
835    </term>
836    <listitem><para>Handle non-object types.
837    </para></listitem></varlistentry>
838
839    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2056">2056</link>:
840	<emphasis>future_errc enums start with value 0 (invalid value for broken_promise)</emphasis>
841    </term>
842    <listitem><para>Reorder enumerators.
843    </para></listitem></varlistentry>
844
845    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2059">2059</link>:
846	<emphasis>C++0x ambiguity problem with map::erase</emphasis>
847    </term>
848    <listitem><para>Add additional overloads.
849    </para></listitem></varlistentry>
850
851    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2062">2062</link>:
852	<emphasis>2062. Effect contradictions w/o no-throw guarantee of <code>std::function</code> swaps</emphasis>
853    </term>
854    <listitem><para>Add <code>noexcept</code> to swap functions.
855    </para></listitem></varlistentry>
856
857    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2063">2063</link>:
858	<emphasis>Contradictory requirements for string move assignment</emphasis>
859    </term>
860    <listitem><para>Respect propagation trait for move assignment.
861    </para></listitem></varlistentry>
862
863    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2064">2064</link>:
864	<emphasis>More noexcept issues in basic_string</emphasis>
865    </term>
866    <listitem><para>Add noexcept to the comparison operators.
867    </para></listitem></varlistentry>
868
869    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2067">2067</link>:
870	<emphasis>packaged_task should have deleted copy c'tor with const parameter</emphasis>
871    </term>
872    <listitem><para>Fix signatures.
873    </para></listitem></varlistentry>
874
875    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2101">2101</link>:
876	<emphasis>Some transformation types can produce impossible types</emphasis>
877    </term>
878    <listitem><para>Use the referenceable type concept.
879    </para></listitem></varlistentry>
880
881    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2106">2106</link>:
882	<emphasis>move_iterator wrapping iterators returning prvalues</emphasis>
883    </term>
884    <listitem><para>Change the <code>reference</code> type.
885    </para></listitem></varlistentry>
886
887    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2108">2108</link>:
888	<emphasis>No way to identify allocator types that always compare equal</emphasis>
889    </term>
890    <listitem><para>Define and use <code>is_always_equal</code> even for C++11.
891    </para></listitem></varlistentry>
892
893    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2118">2118</link>:
894	<emphasis><code>unique_ptr</code> for array does not support cv qualification conversion of actual argument</emphasis>
895    </term>
896    <listitem><para>Adjust constraints to allow safe conversions.
897    </para></listitem></varlistentry>
898
899    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2127">2127</link>:
900	<emphasis>Move-construction with <code>raw_storage_iterator</code></emphasis>
901    </term>
902    <listitem><para>Add assignment operator taking an rvalue.
903    </para></listitem></varlistentry>
904
905    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2132">2132</link>:
906	<emphasis><code>std::function</code> ambiguity</emphasis>
907    </term>
908    <listitem><para>Constrain the constructor to only accept callable types.
909    </para></listitem></varlistentry>
910
911    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2141">2141</link>:
912	<emphasis><code>common_type</code> trait produces reference types</emphasis>
913    </term>
914    <listitem><para>Use <code>decay</code> for the result type.
915    </para></listitem></varlistentry>
916
917    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2144">2144</link>:
918	<emphasis>Missing <code>noexcept</code> specification in <code>type_index</code></emphasis>
919    </term>
920    <listitem><para>Add <code>noexcept</code>
921    </para></listitem></varlistentry>
922
923    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2145">2145</link>:
924	<emphasis><code>error_category</code> default constructor</emphasis>
925    </term>
926    <listitem><para>Declare a public constexpr constructor.
927    </para></listitem></varlistentry>
928
929    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2162">2162</link>:
930	<emphasis><code>allocator_traits::max_size</code> missing <code>noexcept</code></emphasis>
931    </term>
932    <listitem><para>Add <code>noexcept</code>.
933    </para></listitem></varlistentry>
934
935    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2187">2187</link>:
936	<emphasis><code>vector&lt;bool&gt;</code> is missing <code>emplace</code> and <code>emplace_back</code> member functions</emphasis>
937    </term>
938    <listitem><para>Add <code>emplace</code> and <code>emplace_back</code> member functions.
939    </para></listitem></varlistentry>
940
941    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2192">2192</link>:
942	<emphasis>Validity and return type of <code>std::abs(0u)</code> is unclear</emphasis>
943    </term>
944    <listitem><para>Move all declarations to a common header and remove the
945    generic <code>abs</code> which accepted unsigned arguments.
946    </para></listitem></varlistentry>
947
948    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2196">2196</link>:
949	<emphasis>Specification of <code>is_*[copy/move]_[constructible/assignable]</code> unclear for non-referencable types</emphasis>
950    </term>
951    <listitem><para>Use the referenceable type concept.
952    </para></listitem></varlistentry>
953
954    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2212">2212</link>:
955	<emphasis><code>tuple_size</code> for <code>const pair</code> request <code>&lt;tuple&gt;</code> header</emphasis>
956    </term>
957    <listitem><para>The <code>tuple_size</code> and <code>tuple_element</code>
958    partial specializations are defined in <code>&lt;utility&gt;</code> which
959    is included by <code>&lt;array&gt;</code>.
960    </para></listitem></varlistentry>
961
962    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2296">2296</link>:
963	<emphasis><code>std::addressof</code> should be constexpr</emphasis>
964    </term>
965    <listitem><para>Use <code>__builtin_addressof</code> and add
966    <code>constexpr</code> to <code>addressof</code> for C++17 and later.
967    </para></listitem></varlistentry>
968
969    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2313">2313</link>:
970	<emphasis><code>tuple_size</code> should always derive from <code>integral_constant&lt;size_t, N&gt;</code></emphasis>
971    </term>
972    <listitem><para>Update definitions of the partial specializations for const and volatile types.
973    </para></listitem></varlistentry>
974
975    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2328">2328</link>:
976       <emphasis>Rvalue stream extraction should use perfect forwarding</emphasis>
977    </term>
978    <listitem><para>Use perfect forwarding for right operand.
979    </para></listitem></varlistentry>
980
981    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2329">2329</link>:
982       <emphasis><code>regex_match()/regex_search()</code> with <code>match_results</code> should forbid temporary strings</emphasis>
983    </term>
984    <listitem><para>Add deleted overloads for rvalue strings.
985    </para></listitem></varlistentry>
986
987    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2332">2332</link>:
988       <emphasis><code>regex_iterator/regex_token_iterator</code> should forbid temporary regexes</emphasis>
989    </term>
990    <listitem><para>Add deleted constructors.
991    </para></listitem></varlistentry>
992
993    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2354">2332</link>:
994       <emphasis>Unnecessary copying when inserting into maps with braced-init syntax</emphasis>
995    </term>
996    <listitem><para>Add overloads of <code>insert</code> taking <code>value_type&amp;&amp;</code> rvalues.
997    </para></listitem></varlistentry>
998
999    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2399">2399</link>:
1000	<emphasis><code>shared_ptr</code>'s constructor from <code>unique_ptr</code> should be constrained</emphasis>
1001    </term>
1002    <listitem><para>Constrain the constructor to require convertibility.
1003    </para></listitem></varlistentry>
1004
1005    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2400">2400</link>:
1006	<emphasis><code>shared_ptr</code>'s <code>get_deleter()</code> should use <code>addressof()</code></emphasis>
1007    </term>
1008    <listitem><para>Use <code>addressof</code>.
1009    </para></listitem></varlistentry>
1010
1011    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2401">2401</link>:
1012	<emphasis><code>std::function</code> needs more <code>noexcept</code></emphasis>
1013    </term>
1014    <listitem><para>Add <code>noexcept</code> to the assignment and comparisons.
1015    </para></listitem></varlistentry>
1016
1017    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2407">2407</link>:
1018       <emphasis><code>packaged_task(allocator_arg_t, const Allocator&amp;, F&amp;&amp;)</code>
1019                 should neither be constrained nor <code>explicit</code>
1020       </emphasis>
1021    </term>
1022    <listitem><para>Remove <code>explicit</code> from the constructor.
1023    </para></listitem></varlistentry>
1024
1025    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2415">2415</link>:
1026       <emphasis>Inconsistency between <code>unique_ptr</code> and <code>shared_ptr</code></emphasis>
1027    </term>
1028    <listitem><para>Create empty an <code>shared_ptr</code> from an empty
1029                    <code>unique_ptr</code>.
1030    </para></listitem></varlistentry>
1031
1032    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2418">2418</link>:
1033       <emphasis><code>apply</code> does not work with member pointers</emphasis>
1034    </term>
1035    <listitem><para>Use <code>mem_fn</code> for member pointers.
1036    </para></listitem></varlistentry>
1037
1038    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2440">2440</link>:
1039       <emphasis><code>seed_seq::size()</code> should be <code>noexcept</code></emphasis>
1040    </term>
1041    <listitem><para>Add <code>noexcept</code>.
1042    </para></listitem></varlistentry>
1043
1044    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2441">2441</link>:
1045       <emphasis>Exact-width atomic typedefs should be provided</emphasis>
1046    </term>
1047    <listitem><para>Define the typedefs.
1048    </para></listitem></varlistentry>
1049
1050    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2442">2442</link>:
1051       <emphasis><code>call_once()</code> shouldn't <code>DECAY_COPY()</code></emphasis>
1052    </term>
1053    <listitem><para>Remove indirection through call wrapper that made copies
1054    of arguments and forward arguments straight to <code>std::invoke</code>.
1055    </para></listitem></varlistentry>
1056
1057    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2454">2454</link>:
1058       <emphasis>Add <code>raw_storage_iterator::base()</code> member
1059       </emphasis>
1060    </term>
1061    <listitem><para>Add the <code>base()</code> member function.
1062    </para></listitem></varlistentry>
1063
1064    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2455">2455</link>:
1065       <emphasis>Allocator default construction should be allowed to throw
1066       </emphasis>
1067    </term>
1068    <listitem><para>Make <code>noexcept</code> specifications conditional.
1069    </para></listitem></varlistentry>
1070
1071    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2458">2458</link>:
1072       <emphasis>N3778 and new library deallocation signatures
1073       </emphasis>
1074    </term>
1075    <listitem><para>Remove unused overloads.
1076    </para></listitem></varlistentry>
1077
1078    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2459">2459</link>:
1079       <emphasis><code>std::polar</code> should require a non-negative rho
1080       </emphasis>
1081    </term>
1082    <listitem><para>Add debug mode assertion.
1083    </para></listitem></varlistentry>
1084
1085    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2466">2466</link>:
1086       <emphasis><code>allocator_traits::max_size()</code> default behavior is incorrect
1087       </emphasis>
1088    </term>
1089    <listitem><para>Divide by the object type.
1090    </para></listitem></varlistentry>
1091
1092    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2484">2484</link>:
1093       <emphasis><code>rethrow_if_nested()</code>  is doubly unimplementable
1094       </emphasis>
1095    </term>
1096    <listitem><para>Avoid using <code>dynamic_cast</code> when it would be
1097    ill-formed.
1098    </para></listitem></varlistentry>
1099
1100    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2583">2583</link>:
1101       <emphasis>There is no way to supply an allocator for <code>basic_string(str, pos)</code>
1102       </emphasis>
1103    </term>
1104    <listitem><para>Add new constructor
1105    </para></listitem></varlistentry>
1106
1107    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2684">2684</link>:
1108       <emphasis><code>priority_queue</code> lacking comparator typedef
1109       </emphasis>
1110    </term>
1111    <listitem><para>Define the <code>value_compare</code> typedef.
1112    </para></listitem></varlistentry>
1113
1114    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2770">2770</link>:
1115       <emphasis><code>tuple_size&lt;const T&gt;</code> specialization is not
1116	 SFINAE compatible and breaks decomposition declarations
1117       </emphasis>
1118    </term>
1119    <listitem><para>Safely detect <code>tuple_size&lt;T&gt;::value</code> and
1120      only use it if valid.
1121    </para></listitem></varlistentry>
1122
1123    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2781">2781</link>:
1124       <emphasis>Contradictory requirements for <code>std::function</code>
1125         and <code>std::reference_wrapper</code>
1126       </emphasis>
1127    </term>
1128    <listitem><para>Remove special handling for <code>reference_wrapper</code>
1129      arguments and store them directly as the target object.
1130    </para></listitem></varlistentry>
1131
1132    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2802">2802</link>:
1133       <emphasis>Add noexcept to several <code>shared_ptr</code> related
1134         functions
1135       </emphasis>
1136    </term>
1137    <listitem><para>Add noexcept.
1138    </para></listitem></varlistentry>
1139
1140    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2873">2873</link>:
1141       <emphasis><code>shared_ptr</code> constructor requirements for a deleter
1142       </emphasis>
1143    </term>
1144    <listitem><para>Use rvalues for deleters.
1145    </para></listitem></varlistentry>
1146
1147    <varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="&DR;#2942">2942</link>:
1148       <emphasis>LWG 2873's resolution missed
1149         <code>weak_ptr::owner_before</code>
1150       </emphasis>
1151    </term>
1152    <listitem><para>Add noexcept.
1153    </para></listitem></varlistentry>
1154
1155  </variablelist>
1156
1157 </section>
1158  </section>
1159</chapter>
1160
1161
1162<!-- Chapter 02 : Setup -->
1163<chapter xml:id="manual.intro.setup" xreflabel="Setup"><info><title>Setup</title></info>
1164  <?dbhtml filename="setup.html"?>
1165
1166
1167   <para>To transform libstdc++ sources into installed include files
1168   and properly built binaries useful for linking to other software is
1169   a multi-step process. Steps include getting the sources,
1170   configuring and building the sources, testing, and installation.
1171   </para>
1172
1173   <para>The general outline of commands is something like:
1174   </para>
1175
1176   <programlisting>
1177   <replaceable>get gcc sources</replaceable>
1178   <replaceable>extract into gccsrcdir</replaceable>
1179   mkdir <replaceable>gccbuilddir</replaceable>
1180   cd <replaceable>gccbuilddir</replaceable>
1181   <replaceable>gccsrcdir</replaceable>/configure --prefix=<replaceable>destdir</replaceable> --other-opts...
1182   make
1183   make check
1184   make install
1185   </programlisting>
1186
1187   <para>
1188     Each step is described in more detail in the following sections.
1189   </para>
1190
1191  <!-- Section 01 : Prerequisites -->
1192  <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" parse="xml" href="prerequisites.xml">
1193  </xi:include>
1194
1195  <!-- Section 02 : Configure -->
1196  <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" parse="xml" href="configure.xml">
1197  </xi:include>
1198
1199  <!-- Section 03 : Make -->
1200<section xml:id="manual.intro.setup.make" xreflabel="Make"><info><title>Make</title></info>
1201  <?dbhtml filename="make.html"?>
1202
1203   <para>If you have never done this before, you should read the basic
1204      <link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://gcc.gnu.org/install/">GCC Installation
1205      Instructions</link> first.  Read <emphasis>all of them</emphasis>.
1206      <emphasis>Twice.</emphasis>
1207   </para>
1208
1209<para>Then type: <command>make</command>, and congratulations, you've
1210started to build.
1211</para>
1212
1213</section>
1214
1215</chapter>
1216
1217<!-- Chapter 03 : Using -->
1218<xi:include xmlns:xi="http://www.w3.org/2001/XInclude" parse="xml" href="using.xml">
1219</xi:include>
1220
1221</part>
1222