Skip to content

Confusing wording in note on [basic.start.dynamic]/1 #4420

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
Closed
RedBeard0531 opened this issue Dec 16, 2020 · 5 comments · Fixed by #4486
Closed

Confusing wording in note on [basic.start.dynamic]/1 #4420

RedBeard0531 opened this issue Dec 16, 2020 · 5 comments · Fixed by #4486
Assignees
@jensmaurer

Comments

@RedBeard0531
Copy link
Contributor

An explicitly specialized non-inline static data member or variable template specialization has ordered initialization.

Since English lacks a grouping operator it is unclear which adjectives apply to both sides of the "or". I initially read it as An (explicitly specialized non-inline static data member) or (variable template specialization), but I think it is supposed to be closer to An explicitly specialized non-inline (static data member or variable template specialization). Can this be rephrased to make this clear?
@jwakely
Copy link
Member

jwakely commented Dec 16, 2020

Maybe:

A non-inline static data member or variable template specialization has ordered initialization if it is explicitly specialized.

@jensmaurer
Copy link
Member

What about:

An explicit specialization of a non-inline static data member or of a variable template has ordered initialization.

@jensmaurer jensmaurer added the decision-required A decision of the editorial group (or the Project Editor) is required. label Dec 29, 2020
@jwakely
Copy link
Member

jwakely commented Dec 29, 2020

Is it the explicit specialization that has ordered init, or the variable itself? Is there any difference?

Your suggestion says the specialization has ordered init. The original says the variable has ordered init.

@jensmaurer
Copy link
Member

jensmaurer commented Dec 29, 2020 •
edited
Loading

A template is not a thing that could be initialized (it's not an object or reference; it's a template). Only a specialization of a (certain kind of) template can be initialized at all, irrespective of ordering.

@jensmaurer
Copy link
Member

jensmaurer commented Jan 29, 2021 •
edited
Loading

Editorial meeting:
Suggestion: "A non-inline explicit specialization of a templated variable has ordered initialization."
Send e-mail to CWG reflector for heads-up. Apply after two weeks.

@jensmaurer jensmaurer removed the decision-required A decision of the editorial group (or the Project Editor) is required. label Jan 29, 2021
@jensmaurer jensmaurer mentioned this issue Feb 5, 2021
Merged
@jensmaurer jensmaurer self-assigned this Feb 5, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jensmaurer jensmaurer

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

[basic.start.dynamic] Clarify note about templated variables jensmaurer/draft
3 participants
@RedBeard0531 @jwakely @jensmaurer