Skip to content

Commit bbcf0ea

Browse files
committed
Add a note to the definition of literal type to indicate that it is not
a guarantee that such an object can be created in a constant expression. Wording from John Spicer / CWG. Addresses NB GB 68 (C++17 CD).
1 parent feea960 commit bbcf0ea

File tree

1 file changed

+8
-0
lines changed

1 file changed

+8
-0
lines changed

source/basic.tex

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3645,6 +3645,14 @@
36453645
of non-volatile literal types.
36463646
\end{itemize}
36473647
\end{itemize}
3648+
\begin{note}
3649+
A literal type is one for which
3650+
it might be possible to create an object
3651+
within a constant expression.
3652+
It is not a guarantee that it is possible to create such an object,
3653+
nor is it a guarantee that any object of that type
3654+
will usable in a constant expression.
3655+
\end{note}
36483656

36493657
\pnum
36503658
\indextext{layout-compatible type}%

0 commit comments

Comments
 (0)