|
450 | 450 | \remarks If this function is odr-used~(\ref{basic.def.odr}), the program is ill-formed.
|
451 | 451 |
|
452 | 452 | \pnum
|
453 |
| -\remarks The template parameter \tcode{T} of \tcode{declval} may be an incomplete type. |
| 453 | +\remarks In an instantiation of \tcode{declval}, an incomplete type may be |
| 454 | +used as the template argument for the template parameter \tcode{T}. |
454 | 455 |
|
455 | 456 | \enterexample
|
456 | 457 | \begin{codeblock}
|
|
6122 | 6123 | of a unique pointer. In partial satisfaction of these semantics, each such \tcode{U}
|
6123 | 6124 | is \tcode{MoveConstructible} and \tcode{MoveAssignable}, but is not
|
6124 | 6125 | \tcode{CopyConstructible} nor \tcode{CopyAssignable}.
|
6125 |
| -The template parameter \tcode{T} of \tcode{unique_ptr} may be an incomplete type. |
| 6126 | +In an instantiation of \tcode{unique_ptr}, an incomplete type may be |
| 6127 | +used as the template argument for the template parameter \tcode{T}. |
6126 | 6128 |
|
6127 | 6129 | \pnum
|
6128 | 6130 | \enternote The uses
|
|
6195 | 6197 | for the class template \tcode{unique_ptr}.
|
6196 | 6198 |
|
6197 | 6199 | \pnum
|
6198 |
| -The template parameter \tcode{T} of \tcode{default_delete} may be |
6199 |
| -an incomplete type. |
| 6200 | +In an instantiation of \tcode{default_delete}, an incomplete type may be |
| 6201 | +used as the template argument for the template parameter \tcode{T}. |
6200 | 6202 |
|
6201 | 6203 | \rSec4[unique.ptr.dltr.dflt]{\tcode{default_delete}}
|
6202 | 6204 |
|
|
7415 | 7417 | \tcode{CopyAssignable}, and \tcode{LessThanComparable}, allowing their use in standard
|
7416 | 7418 | containers. Specializations of \tcode{shared_ptr} shall be
|
7417 | 7419 | contextually convertible to \tcode{bool},
|
7418 |
| -allowing their use in boolean expressions and declarations in conditions. The template |
7419 |
| -parameter \tcode{T} of \tcode{shared_ptr} may be an incomplete type. |
| 7420 | +allowing their use in boolean expressions and declarations in conditions. |
| 7421 | +In an instantiation of \tcode{shared_ptr}, an incomplete type may be |
| 7422 | +used as the template argument for the template parameter \tcode{T}. |
7420 | 7423 |
|
7421 | 7424 | \pnum
|
7422 | 7425 | \enterexample
|
|
8206 | 8209 | \pnum
|
8207 | 8210 | Specializations of \tcode{weak_ptr} shall be \tcode{CopyConstructible} and
|
8208 | 8211 | \tcode{CopyAssignable}, allowing their use in standard
|
8209 |
| -containers. The template parameter \tcode{T} of \tcode{weak_ptr} may be an |
8210 |
| -incomplete type. |
| 8212 | +containers. |
| 8213 | +In an instantiation of \tcode{weak_ptr}, an incomplete type may be |
| 8214 | +used as the template argument for the template parameter \tcode{T}. |
8211 | 8215 |
|
8212 | 8216 | \rSec4[util.smartptr.weak.const]{\tcode{weak_ptr} constructors}
|
8213 | 8217 |
|
|
8482 | 8486 | \end{codeblock}
|
8483 | 8487 |
|
8484 | 8488 | \pnum
|
8485 |
| -The template parameter \tcode{T} of \tcode{enable_shared_from_this} |
8486 |
| -may be an incomplete type. |
| 8489 | +In an instantiation of \tcode{enable_shared_from_this}, an incomplete type |
| 8490 | +may be used as the template argument for the template parameter \tcode{T}. |
8487 | 8491 |
|
8488 | 8492 | \indexlibrary{\idxcode{enable_shared_from_this}!constructor}%
|
8489 | 8493 | \begin{itemdecl}
|
|
0 commit comments