Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 10 additions & 10 deletions source/classes.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1231,28 +1231,28 @@
of reference type,

\item any non-variant non-static data member of const-qualified type
(or possibly multi-dimensional array thereof)
(or possibly multidimensional array thereof)
with no \grammarterm{brace-or-equal-initializer}
is not const-default-constructible\iref{dcl.init},

\item \tcode{X} is a union and all of its variant members are of const-qualified
type (or possibly multi-dimensional array thereof),
type (or possibly multidimensional array thereof),

\item \tcode{X} is a non-union class and all members of any anonymous union member are
of const-qualified type (or possibly multi-dimensional array thereof),
of const-qualified type (or possibly multidimensional array thereof),

\item any potentially constructed subobject, except for a non-static data member
with a \grammarterm{brace-or-equal-initializer}
or a variant member of a union where another non-static data member
has a \grammarterm{brace-or-equal-initializer},
has class type \tcode{M} (or possibly multi-dimensional array thereof)
has class type \tcode{M} (or possibly multidimensional array thereof)
and overload resolution\iref{over.match}
as applied to find \tcode{M}'s corresponding constructor
either does not result in a usable candidate\iref{over.match.general}
or, in the case of a variant member, selects a non-trivial function, or

\item any potentially constructed subobject has
class type \tcode{M} (or possibly multi-dimensional array thereof) and
class type \tcode{M} (or possibly multidimensional array thereof) and
\tcode{M} has
a destructor that is deleted or inaccessible from the defaulted default
constructor.
Expand Down Expand Up @@ -1519,14 +1519,14 @@
\tcode{X} is defined as deleted\iref{dcl.fct.def.delete} if \tcode{X} has:
\begin{itemize}
\item a potentially constructed subobject of type
\tcode{M} (or possibly multi-dimensional array thereof) for which
\tcode{M} (or possibly multidimensional array thereof) for which
overload resolution\iref{over.match}, as applied to find
\tcode{M}'s corresponding constructor,
either does not result in a usable candidate\iref{over.match.general} or,
in the case of a variant member, selects a non-trivial function,

\item any potentially constructed subobject of
class type \tcode{M} (or possibly multi-dimensional array thereof)
class type \tcode{M} (or possibly multidimensional array thereof)
where \tcode{M} has
a destructor that is deleted or inaccessible from the defaulted
constructor, or,
Expand Down Expand Up @@ -1789,12 +1789,12 @@
class \tcode{X} is defined as deleted if \tcode{X} has:
\begin{itemize}
\item a non-static data member of \keyword{const} non-class
type (or possibly multi-dimensional array thereof), or
type (or possibly multidimensional array thereof), or

\item a non-static data member of reference type, or

\item a direct non-static data member of class type \tcode{M}
(or possibly multi-dimensional array thereof) or
(or possibly multidimensional array thereof) or
a direct base class \tcode{M}
that cannot be copied/moved because overload resolution
\iref{over.match}, as applied to find \tcode{M}'s corresponding
Expand Down Expand Up @@ -2033,7 +2033,7 @@
\tcode{X} is defined as deleted if
\begin{itemize}
\item any potentially constructed subobject has class type
\tcode{M} (or possibly multi-dimensional array thereof) and
\tcode{M} (or possibly multidimensional array thereof) and
\tcode{M} has a destructor that is deleted or
is inaccessible from the defaulted destructor or,
in the case of a variant member, is non-trivial,
Expand Down
Loading