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

What are the immediate subexpressions of a braced-init-list #4466

Open
xmh0511 opened this issue Jan 15, 2021 · 2 comments
Open

What are the immediate subexpressions of a braced-init-list #4466

xmh0511 opened this issue Jan 15, 2021 · 2 comments
Labels
cwg Issue must be reviewed by CWG. not-editorial Issue is not deemed editorial; the editorial issue is kept open for tracking.

Comments

@xmh0511
Copy link
Contributor

xmh0511 commented Jan 15, 2021

Consider this rule:

An expression or conversion is potentially constant evaluated if it is:

  • [...]
  • an immediate subexpression of a braced-init-list

In the current standard, all formal definitions for immediate subexpressions are based on an expression, that is
basic.exec#intro.execution-3

The immediate subexpressions of an expression E are

  • [...]

Informally, a braced-init-list is not an expression. How to determine what are the immediate subexpressions of a braced-init-list? There's no other rule specified for this conception. Does it refer to the immediate subexpressions of the constitute expressions of a braced-init-list?
@jensmaurer
Copy link
Member

@tkoeppe, is the obvious fix for this editorial?

@jensmaurer jensmaurer added the decision-required A decision of the editorial group (or the Project Editor) is required. label Feb 6, 2021
@jensmaurer
Copy link
Member

Editorial meeting 2021-04-16: Define "immediate subexpression of a braced-init-list". Make sure implicit conversion are included. Make this a core issue.

@jensmaurer jensmaurer added cwg Issue must be reviewed by CWG. not-editorial Issue is not deemed editorial; the editorial issue is kept open for tracking. and removed decision-required A decision of the editorial group (or the Project Editor) is required. labels Apr 16, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
cwg Issue must be reviewed by CWG. not-editorial Issue is not deemed editorial; the editorial issue is kept open for tracking.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@xmh0511 @jensmaurer