Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[expr.sub] Add missing cross-references #7688

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

[expr.sub] Add missing cross-references #7688

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
dc1847c
[expr.sub] Add missing cross-references
Endilll Feb 17, 2025
9e2c67f
Drop cross-reference to [dcl.enum]
Endilll Feb 17, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 5 additions & 5 deletions source/expressions.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3241,12 +3241,12 @@
a possibly empty, comma-separated list of \grammarterm{initializer-clause}s
that constitute the arguments to the subscript operator.
The \grammarterm{postfix-expression} and
the initialization of the object parameter of
any applicable subscript operator function is sequenced before
the initialization of the object parameter\iref{dcl.fct} of
any applicable subscript operator function\iref{over.sub} is sequenced before
each expression in the \grammarterm{expression-list} and also before
any default argument.
any default argument\iref{dcl.fct.default}.
The initialization of a non-object parameter of
a subscript operator function \tcode{S}\iref{over.sub},
a subscript operator function \tcode{S},
including every associated value computation and side effect,
is indeterminately sequenced with respect to that of
any other non-object parameter of \tcode{S}.
Expand All @@ -3257,7 +3257,7 @@
consisting of a single \grammarterm{assignment-expression}.
One of the expressions shall be a glvalue of type ``array of
\tcode{T}'' or a prvalue of type ``pointer
to \tcode{T}'' and the other shall be a prvalue of unscoped enumeration or integral type.
to \tcode{T}'' and the other shall be a prvalue of unscoped enumeration\iref{dcl.enum} or integral type.
Copy link
Member

@jensmaurer jensmaurer Feb 17, 2025 •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The other changes are fine; this one feels both unneeded (enumerations aren't really strange) and asymmetrical, because there is no xref for "integral type".

I suggest to drop this part.

Copy link
Contributor Author

@Endilll Endilll Feb 17, 2025 •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Unlike unscoped enumerations, which are defined later in the wording, integral types are defined earlier, in [basic.fundamental]. So asymmetry is somewhat inevitable here. But sure, I'll drop this cross-reference.

The result is of type ``\tcode{T}''.
\indextext{type!incomplete}%
The type ``\tcode{T}'' shall be a completely-defined object type.%
Expand Down