Skip to content

[basic.fundamental] Remove bullet for reflections being function parameters - #9324

Closed
eisenwave wants to merge 1 commit into
cplusplus:mainfrom
eisenwave:meta-info-function-parameter
Closed

[basic.fundamental] Remove bullet for reflections being function parameters#9324
eisenwave wants to merge 1 commit into
cplusplus:mainfrom
eisenwave:meta-info-function-parameter

Conversation

@eisenwave

Copy link
Copy Markdown
Member

Function parameters are already covered by the preceding bullet stating that a reflection may be a representation of a variable. Every function parameter is a variable, and having a distinct bullet misleads the reader into believing it is not.

This misunderstanding that function parameters are not variables led to CWG3005.

See prior discussion at:

…meters

Function parameters are already covered by the preceding bullet stating that a reflection may be a representation of a variable.
Every function parameter is a variable, and having a distinct bullet misleads the reader into believing it is not.
@eisenwave eisenwave added the P3-Other Triaged issue not in P1 or P2 label Sep 9, 2026
@eisenwave

Copy link
Copy Markdown
Member Author

I think you could do more than just strike the bullet; you could change the other bullet to "a variable (including function parameters)" or so, but this would de-facto admit that our wording is so confusing that every time we say "variable", we need to remind the reader of what we actually mean and that we didn't just forget about function parameters.

@eisenwave

eisenwave commented Sep 9, 2026

Copy link
Copy Markdown
Member Author

Hmm, so it appears that variable_of doesn't make much sense if there are no distinct reflections of function parameters. I'm mildly confused what variable_of is meant to do in the first place, considering that a function parameter already is a variable, so getting the variable of a function parameter is presumably the identity function.

@eisenwave

Copy link
Copy Markdown
Member Author

After consulting with others, I guess we do intend for "function parameter" and "variable" to be distinct, even though the wording doesn't make that work very well. Deleting the bullet goes against that intent.

@eisenwave eisenwave closed this Sep 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

P3-Other Triaged issue not in P1 or P2

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant