|
Expand Up
|
@@ -450,7 +450,8 @@ |
|
|
\remarks If this function is odr-used~(\ref{basic.def.odr}), the program is ill-formed. |
|
|
|
|
|
\pnum |
|
|
\remarks The template parameter \tcode{T} of \tcode{declval} may be an incomplete type. |
|
|
\remarks In an instantiation of \tcode{declval}, an incomplete type may be |
|
|
used as the template argument for the template parameter \tcode{T}. |
|
|
|
|
|
\enterexample |
|
|
\begin{codeblock} |
|
Expand Down
Expand Up
|
@@ -6122,7 +6123,8 @@ |
|
|
of a unique pointer. In partial satisfaction of these semantics, each such \tcode{U} |
|
|
is \tcode{MoveConstructible} and \tcode{MoveAssignable}, but is not |
|
|
\tcode{CopyConstructible} nor \tcode{CopyAssignable}. |
|
|
The template parameter \tcode{T} of \tcode{unique_ptr} may be an incomplete type. |
|
|
In an instantiation of \tcode{unique_ptr}, an incomplete type may be |
|
|
used as the template argument for the template parameter \tcode{T}. |
|
|
|
|
|
\pnum |
|
|
\enternote The uses |
|
Expand Down
Expand Up
|
@@ -6195,8 +6197,8 @@ |
|
|
for the class template \tcode{unique_ptr}. |
|
|
|
|
|
\pnum |
|
|
The template parameter \tcode{T} of \tcode{default_delete} may be |
|
|
an incomplete type. |
|
|
In an instantiation of \tcode{default_delete}, an incomplete type may be |
|
|
used as the template argument for the template parameter \tcode{T}. |
|
|
|
|
|
\rSec4[unique.ptr.dltr.dflt]{\tcode{default_delete}} |
|
|
|
|
Expand Down
Expand Up
|
@@ -7415,8 +7417,9 @@ |
|
|
\tcode{CopyAssignable}, and \tcode{LessThanComparable}, allowing their use in standard |
|
|
containers. Specializations of \tcode{shared_ptr} shall be |
|
|
contextually convertible to \tcode{bool}, |
|
|
allowing their use in boolean expressions and declarations in conditions. The template |
|
|
parameter \tcode{T} of \tcode{shared_ptr} may be an incomplete type. |
|
|
allowing their use in boolean expressions and declarations in conditions. |
|
|
In an instantiation of \tcode{shared_ptr}, an incomplete type may be |
|
|
used as the template argument for the template parameter \tcode{T}. |
|
|
|
|
|
\pnum |
|
|
\enterexample |
|
Expand Down
Expand Up
|
@@ -8206,8 +8209,9 @@ |
|
|
\pnum |
|
|
Specializations of \tcode{weak_ptr} shall be \tcode{CopyConstructible} and |
|
|
\tcode{CopyAssignable}, allowing their use in standard |
|
|
containers. The template parameter \tcode{T} of \tcode{weak_ptr} may be an |
|
|
incomplete type. |
|
|
containers. |
|
|
In an instantiation of \tcode{weak_ptr}, an incomplete type may be |
|
|
used as the template argument for the template parameter \tcode{T}. |
|
|
|
|
|
\rSec4[util.smartptr.weak.const]{\tcode{weak_ptr} constructors} |
|
|
|
|
Expand Down
Expand Up
|
@@ -8482,8 +8486,8 @@ |
|
|
\end{codeblock} |
|
|
|
|
|
\pnum |
|
|
The template parameter \tcode{T} of \tcode{enable_shared_from_this} |
|
|
may be an incomplete type. |
|
|
In an instantiation of \tcode{enable_shared_from_this}, an incomplete type |
|
|
may be used as the template argument for the template parameter \tcode{T}. |
|
|
|
|
|
\indexlibrary{\idxcode{enable_shared_from_this}!constructor}% |
|
|
\begin{itemdecl} |
|
Expand Down
|
|