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.

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.type] p1 should possibly be a note #6455

Open
Eisenwave opened this issue Aug 13, 2023 · 1 comment
Open

[expr.type] p1 should possibly be a note #6455

Eisenwave opened this issue Aug 13, 2023 · 1 comment

Comments

@Eisenwave
Copy link
Contributor

If an expression initially has the type “reference to T” ([dcl.ref], [dcl.init.ref]), the type is adjusted to T prior to any further analysis.
The expression designates the object or function denoted by the reference, and the expression is an lvalue or an xvalue, depending on the expression.

- [expr.type] p1

To me it seems like this paragraph could be a note, because it doesn't provide any normative information. This paragraph does not state what kind of references are turned into lvlaues or xvalues respectively, it merely hints to the reader that such a conversion mechanism exists.

All the specifics can be found in other paragraphs, such as:

@Eisenwave
Copy link
Contributor Author

Discussion of the same paragraph in a prior issue: #2876

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant