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

Jump to bottom

"binds to" versus "is bound to" #4722

Closed
zygoloid opened this issue Jun 26, 2021 · 3 comments · Fixed by #4730
Closed

"binds to" versus "is bound to" #4722

zygoloid opened this issue Jun 26, 2021 · 3 comments · Fixed by #4730
Assignees
@jensmaurer
Labels
decision-required A decision of the editorial group (or the Project Editor) is required.

Comments

@zygoloid
Copy link
Member

In most places in the standard, where we talk about a reference being initialized with an expression or a temporary object, we say "the reference binds to the expression" and similar things. However, we also say all of these things:

  • the expression binds to the reference (in only about 3 places)
  • the reference is bound to the expression
  • the expression is bound to the reference

It'd be nice if we were more consistent here. I think the right viewpoint is that references bind to expressions, not the other way around, but if so, is it correct to say that expressions are bound to references or that they are bound to by references or something else?
@jensmaurer jensmaurer self-assigned this Jul 2, 2021
@jensmaurer jensmaurer mentioned this issue Jul 2, 2021
Merged
@jensmaurer jensmaurer added the decision-required A decision of the editorial group (or the Project Editor) is required. label Jul 2, 2021
@languagelawyer
Copy link
Contributor

I think the right viewpoint is that references bind to expressions

Not objects/funcions?

@jensmaurer
Copy link
Member

I think @languagelawyer is right; reference should bind to objects and/or functions. Of course, an expression may yield an lvalue that designates an object or function to which the reference binds.

@jensmaurer
Copy link
Member

Editorial meeting 2021-07-16: "reference binds to an expression"

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jensmaurer jensmaurer

Labels
decision-required A decision of the editorial group (or the Project Editor) is required.
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

[std] Harmonize 'reference binds to an expression' phrasing jensmaurer/draft
3 participants
@zygoloid @jensmaurer @languagelawyer