| Brian Silverman | bca6d25 | 2018-08-04 23:36:16 -0700 | [diff] [blame^] | 1 | <?xml version="1.0"?> |
| 2 | <concept name="DefaultConstructible" category="Utility"><!-- |
| 3 | Based on concepts from the SGI Standard Template Library documentation: |
| 4 | Copyright (c) 1996-1999 |
| 5 | Silicon Graphics Computer Systems, Inc. |
| 6 | |
| 7 | Copyright (c) 1994 |
| 8 | Hewlett-Packard Company |
| 9 | --><!-- |
| 10 | Copyright 2000-2001 University of Notre Dame du Lac. |
| 11 | Copyright 2001-2002 Indiana University. |
| 12 | Some concepts based on versions from the MTL draft manual and Boost Graph |
| 13 | and Property Map documentation: |
| 14 | Copyright (c) Jeremy Siek, Lie-Quan Lee, and Andrew Lumsdaine 2000 |
| 15 | --> |
| 16 | <param name="X" role="default-constructible-type"/> |
| 17 | |
| 18 | <models-sentence>The type <arg num="1"/> must be a model of <self/>.</models-sentence> |
| 19 | |
| 20 | <description><para>DefaultConstructible objects only need to have a default |
| 21 | constructor.</para></description> |
| 22 | |
| 23 | <valid-expression name="Construction"> |
| 24 | <construct template-parameters=""> |
| 25 | <type name="X"/> |
| 26 | </construct> |
| 27 | <return-type><require-same-type testable="yes"><type name="X"/></require-same-type></return-type> |
| 28 | <semantics>Construct an instance of the type with default parameters.</semantics> |
| 29 | </valid-expression> |
| 30 | |
| 31 | <example-model> |
| 32 | <type name="int"/> |
| 33 | </example-model> |
| 34 | |
| 35 | <example-model> |
| 36 | <apply-template name="std::vector"> |
| 37 | <type name="double"/> |
| 38 | </apply-template> |
| 39 | </example-model> |
| 40 | </concept> |