|
442 | 442 | \notes If this function is odr-used~(\ref{basic.def.odr}), the program is ill-formed.
|
443 | 443 |
|
444 | 444 | \pnum
|
445 |
| -\notes The template parameter \tcode{T} of \tcode{declval} may be an incomplete type. |
| 445 | +\notes In an instantiation of \tcode{declval}, an incomplete type may be |
| 446 | +used as the template argument for the template parameter \tcode{T}. |
446 | 447 |
|
447 | 448 | \enterexample
|
448 | 449 | \begin{codeblock}
|
|
6100 | 6101 | of a unique pointer. In partial satisfaction of these semantics, each such \tcode{U}
|
6101 | 6102 | is \tcode{MoveConstructible} and \tcode{MoveAssignable}, but is not
|
6102 | 6103 | \tcode{CopyConstructible} nor \tcode{CopyAssignable}.
|
6103 |
| -The template parameter \tcode{T} of \tcode{unique_ptr} may be an incomplete type. |
| 6104 | +In an instantiation of \tcode{unique_ptr}, an incomplete type may be |
| 6105 | +used as the template argument for the template parameter \tcode{T}. |
6104 | 6106 |
|
6105 | 6107 | \pnum
|
6106 | 6108 | \enternote The uses
|
|
6173 | 6175 | for the class template \tcode{unique_ptr}.
|
6174 | 6176 |
|
6175 | 6177 | \pnum
|
6176 |
| -The template parameter \tcode{T} of \tcode{default_delete} may be |
6177 |
| -an incomplete type. |
| 6178 | +In an instantiation of \tcode{default_delete}, an incomplete type may be |
| 6179 | +used as the template argument for the template parameter \tcode{T}. |
6178 | 6180 |
|
6179 | 6181 | \rSec4[unique.ptr.dltr.dflt]{\tcode{default_delete}}
|
6180 | 6182 |
|
|
7389 | 7391 | \tcode{CopyAssignable}, and \tcode{LessThanComparable}, allowing their use in standard
|
7390 | 7392 | containers. Specializations of \tcode{shared_ptr} shall be
|
7391 | 7393 | contextually convertible to \tcode{bool},
|
7392 |
| -allowing their use in boolean expressions and declarations in conditions. The template |
7393 |
| -parameter \tcode{T} of \tcode{shared_ptr} may be an incomplete type. |
| 7394 | +allowing their use in boolean expressions and declarations in conditions. |
| 7395 | +In an instantiation of \tcode{shared_ptr}, an incomplete type may be |
| 7396 | +used as the template argument for the template parameter \tcode{T}. |
7394 | 7397 |
|
7395 | 7398 | \pnum
|
7396 | 7399 | \enterexample
|
|
8159 | 8162 | \pnum
|
8160 | 8163 | Specializations of \tcode{weak_ptr} shall be \tcode{CopyConstructible} and
|
8161 | 8164 | \tcode{CopyAssignable}, allowing their use in standard
|
8162 |
| -containers. The template parameter \tcode{T} of \tcode{weak_ptr} may be an |
8163 |
| -incomplete type. |
| 8165 | +containers. |
| 8166 | +In an instantiation of \tcode{weak_ptr}, an incomplete type may be |
| 8167 | +used as the template argument for the template parameter \tcode{T}. |
8164 | 8168 |
|
8165 | 8169 | \rSec4[util.smartptr.weak.const]{\tcode{weak_ptr} constructors}
|
8166 | 8170 |
|
|
8437 | 8441 | \end{codeblock}
|
8438 | 8442 |
|
8439 | 8443 | \pnum
|
8440 |
| -The template parameter \tcode{T} of \tcode{enable_shared_from_this} |
8441 |
| -may be an incomplete type. |
| 8444 | +In an instantiation of \tcode{enable_shared_from_this}, an incomplete type |
| 8445 | +may be used as the template argument for the template parameter \tcode{T}. |
8442 | 8446 |
|
8443 | 8447 | \indexlibrary{\idxcode{enable_shared_from_this}!constructor}%
|
8444 | 8448 | \begin{itemdecl}
|
|
0 commit comments