CWG1428 DR

"Dynamic const objects"

Author: Stefanus Du Toit

source/basic.tex

@@ -3914,16 +3914,27 @@
 \term{volatile-qualified} version, and a
 \term{const-volatile-qualified} version. The term
 \term{object type}~(\ref{intro.object}) includes the cv-qualifiers
-specified when the object is created. The presence of a \tcode{const}
-specifier in a \grammarterm{decl-specifier-seq} declares an object of
-\term{const-qualified object type}; such
-object is called a \term{const object}. The presence of a
-\tcode{volatile} specifier in a \grammarterm{decl-specifier-seq} declares
-an object of \grammarterm{volatile-qualified} \term{object type}; such object
-is called a \term{volatile object}. The presence of both \grammarterm{cv-qualifiers} in a
-\grammarterm{decl-specifier-seq} declares an object of
-\term{const-volatile-qualified object type};
-such object is called a \term{const volatile object}. The cv-qualified or
+specified in the \grammarterm{decl-specifier-seq}~(\ref{dcl.spec}), 
+\grammarterm{declarator} (Clause~\ref{dcl.decl}),
+\grammarterm{type-id}~(\ref{dcl.name}), or 
+\grammarterm{new-type-id}~(\ref{expr.new}) when the object is created.
+
+\begin{itemize}
+\item A \term{const object} is an object of type \tcode{const T} or a
+  non-mutable subobject of such an object.
+
+\item A \term{volatile object} is an object of type
+  \tcode{volatile T}, a subobject of such an object, or a mutable
+  subobject of a const volatile object.
+
+\item A \term{const volatile object} is an object of type
+  \tcode{const volatile T}, a non-mutable subobject of such an object,
+  a const subobject of a volatile object, or a non-mutable volatile
+  subobject of a const object.
+
+\end{itemize}
+
+The cv-qualified or
 cv-unqualified versions of a type
 are distinct types; however, they shall have the same representation and
 alignment requirements~(\ref{basic.align}).\footnote{The same representation
@@ -3939,11 +3950,6 @@
 not the array type~(\ref{dcl.array}).
 
 \pnum
-\indextext{class~object!\idxcode{const}}%
-Each non-static, non-mutable, non-reference data member of a
-const-qualified class object is const-qual\-i\-fied, each non-static,
-non-reference data member of a volatile-qualified class object is
-volatile-qualified and similarly for members of a const-volatile class.
 See~\ref{dcl.fct} and~\ref{class.this} regarding function
 types that have \grammarterm{cv-qualifier}{s}.