Skip to content

Commit 1351054

Browse files
committed
[optional.optional.general], [optional.optional.ref.general] Use "object of type optional<T&>" correctly
1 parent e977097 commit 1351054

File tree

1 file changed

+6
-4
lines changed

1 file changed

+6
-4
lines changed

source/utilities.tex

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3365,16 +3365,18 @@
33653365
\end{codeblock}
33663366

33673367
\pnum
3368-
Any instance of \tcode{optional<T>} at any given time either contains a value or does not contain a value.
3369-
When an instance of \tcode{optional<T>} \defnx{contains a value}{contains a value!\idxcode{optional}},
3368+
An object of type \tcode{optional<T>} at any given time
3369+
either contains a value or does not contain a value.
3370+
When an object of type \tcode{optional<T>}
3371+
\defnx{contains a value}{contains a value!\idxcode{optional}},
33703372
it means that an object of type \tcode{T}, referred to as the optional object's \defnx{contained value}{contained value!\idxcode{optional}},
33713373
is nested within\iref{intro.object} the optional object.
33723374
When an object of type \tcode{optional<T>} is contextually converted to \tcode{bool},
33733375
the conversion returns \tcode{true} if the object contains a value;
33743376
otherwise the conversion returns \tcode{false}.
33753377

33763378
\pnum
3377-
When an \tcode{optional<T>} object contains a value,
3379+
When an object of type \tcode{optional<T>} contains a value,
33783380
member \tcode{val} points to the contained value.
33793381

33803382
\pnum
@@ -4517,7 +4519,7 @@
45174519
\end{codeblock}
45184520

45194521
\pnum
4520-
An object of \tcode{optional<T\&>}
4522+
An object of type \tcode{optional<T\&>}
45214523
\defnx{contains a value}{contains a value!\idxcode{optional.ref}}
45224524
if and only if \tcode{\exposidnc{val} != nullptr} is \tcode{true}.
45234525
When an \tcode{optional<T\&>} contains a value,

0 commit comments

Comments
 (0)