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

[basic.def.odr#9] Saying that a scope corresponds to a function is not precise #4770

Open
xmh0511 opened this issue Jul 23, 2021 · 0 comments

Comments

@xmh0511
Copy link
Contributor

xmh0511 commented Jul 23, 2021

[basic.def.odr#9]

A local entity is odr-usable in a scope if:

  • either the local entity is not *this, or an enclosing class or non-lambda function parameter scope exists and, if the innermost such scope is a function parameter scope, it corresponds to a non-static member function, and

Since the wording "correspond" has been used to expound the relationship between one declaration and another declaration. Moreover, expounding the relationship between a declaration and a relevant scope, we use the "introduce", which is shown as the following:

every other scope S is introduced by a declaration, parameter-declaration-clause, statement, or handler (as described in the following subclauses of [basic.scope]) appearing in another scope which thereby contains S.

Hence, I think that change "it corresponds to a non-static member function" to that

it is introduced by a non-static member function

or

it is introduced by the parameter-declaration-clause of a non-static member function

is more precise and consistent.

@xmh0511 xmh0511 changed the title [basic.def.odr#9] Saying A scope corresponds to a function is not precise [basic.def.odr#9] Saying a scope corresponds to a function is not precise Jul 23, 2021
@xmh0511 xmh0511 changed the title [basic.def.odr#9] Saying a scope corresponds to a function is not precise [basic.def.odr#9] Saying that a scope corresponds to a function is not precise Jul 23, 2021
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