Skip to content

Commit 4e6d501

Browse files
committed
[meta.reflection.layout] Fix wording of alignment_of.
The original transcription used some older wording that was not in the most recent (approved) revision of paper (P2996R13).
1 parent a1283d5 commit 4e6d501

File tree

1 file changed

+5
-6
lines changed

1 file changed

+5
-6
lines changed

source/meta.tex

Lines changed: 5 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -5751,19 +5751,18 @@
57515751
\begin{itemize}
57525752
\item
57535753
If \tcode{dealias(r)} represents a type $T$,
5754-
then the alignment requirement for the layout-associated type\iref{class.mem.general}
5755-
for a non-static data member of type $T$.
5754+
then \tcode{alignment_of(add_pointer(r))} if $T$ is a reference type
5755+
and the alignment requirement of $T$ otherwise.
57565756
\item
57575757
Otherwise, if \tcode{dealias(r)} represents a variable or object,
57585758
then the alignment requirement of the variable or object.
57595759
\item
57605760
Otherwise, if \tcode{r} represents a direct base class relationship,
57615761
then \tcode{alignment_of(type_of(r))}.
57625762
\item
5763-
Otherwise, if \tcode{r} represents a non-static data member,
5764-
then the alignment requirement of the subobject
5765-
associated with the represented entity
5766-
within any object of type \tcode{parent_of(r)}.
5763+
Otherwise, if \tcode{r} represents a non-static data member $M$ of a class $C$,
5764+
then the alignment of the direct member subobject
5765+
corresponding to $M$ of a complete object of type $C$.
57675766
\item
57685767
Otherwise, \tcode{r} represents a data member description
57695768
$(T, N, A, W, \mathit{NUA})$\iref{class.mem.general}.

0 commit comments

Comments
 (0)