Skip to content

Commit b4c0af4

Browse files
authored
[basic.life] Move definition of "before" and "after" from bottom to top of subclause
The last paragraph of this subclause changes the definition of English words used throughout the preceding paragraphs. While it might be preferable to replace all such usage with the new definitions, that would be a Core issue, see paragraph 6 for an example of awkward usage. Hence, we move the redefinition to the start of the subclause so we know how to read this text from the start.
1 parent b98b620 commit b4c0af4

File tree

1 file changed

+9
-10
lines changed

1 file changed

+9
-10
lines changed

source/basic.tex

Lines changed: 9 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -3346,6 +3346,15 @@
33463346

33473347
\rSec2[basic.life]{Lifetime}
33483348

3349+
\pnum
3350+
In this subclause, ``before'' and ``after'' refer to the ``happens before''
3351+
relation\iref{intro.multithread}.
3352+
\begin{note}
3353+
Therefore, undefined behavior results if an object that is being constructed in
3354+
one thread is referenced from another thread without adequate synchronization.
3355+
\end{note}
3356+
\indextext{object lifetime|)}
3357+
33493358
\pnum
33503359
\indextext{object lifetime|(}%
33513360
The \defn{lifetime} of an object or reference is a runtime property of the
@@ -3612,16 +3621,6 @@
36123621
\end{codeblock}
36133622
\end{example}
36143623

3615-
\pnum
3616-
In this subclause, ``before'' and ``after'' refer to the ``happens before''
3617-
relation\iref{intro.multithread}.
3618-
\begin{note}
3619-
Therefore, undefined behavior results
3620-
if an object that is being constructed in one thread is referenced from another
3621-
thread without adequate synchronization.
3622-
\end{note}
3623-
\indextext{object lifetime|)}
3624-
36253624
\rSec2[basic.indet]{Indeterminate values}
36263625

36273626
\pnum

0 commit comments

Comments
 (0)