Skip to content

Commit 99ec26c

Browse files
jensmaurerzygoloid
authored andcommitted
[dcl.stc,dcl.type.cv] Avoid redundancy when specifying 'mutable'.
1 parent a3eec72 commit 99ec26c

1 file changed

Lines changed: 4 additions & 3 deletions

File tree

‎source/declarations.tex‎

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -491,10 +491,12 @@
491491
\end{example}
492492

493493
\pnum
494+
\begin{note}
494495
The \tcode{mutable} specifier on a class data member nullifies a
495496
\tcode{const} specifier applied to the containing class object and
496497
permits modification of the mutable class member even though the rest of
497-
the object is const\iref{dcl.type.cv}.
498+
the object is const~(\ref{basic.type.qualifier}, \ref{dcl.type.cv}).
499+
\end{note}
498500

499501
\rSec2[dcl.fct.spec]{Function specifiers}%
500502
\indextext{specifier!function}%
@@ -1214,8 +1216,7 @@
12141216

12151217
\pnum
12161218
\indextext{const object!undefined change to}%
1217-
Except that any class member declared \tcode{mutable}\iref{dcl.stc}
1218-
can be modified, any attempt to modify~(\ref{expr.ass},
1219+
Any attempt to modify~(\ref{expr.ass},
12191220
\ref{expr.post.incr}, \ref{expr.pre.incr}) a
12201221
const object\iref{basic.type.qualifier} during its
12211222
lifetime\iref{basic.life} results in undefined behavior.

0 commit comments

Comments
 (0)