[temp.param] p8 The value category of the non-type non-class non-reference parameter
Nobody has claimed this yet.
- Dominant language
- TeX
- Stars
- 221
- Forks
- 813
- Avg merge
- 16h 4m
- Merged PRs (30d)
- 36
Description
The note that follows [temp.param] p8 says the category of such parameter is prvalue, however it is not a normative rule, and the note indicates that [expr.prim.id.unqual] has a concret interpretation. [expr.prim.id.unqual] says a variable is a lvalue. Since the grammar of a non-type template-parameter is parameter-declaration, which is the same with a function's parameter(a function's parameters are variables), hence the value category of such a template-parameter is a lvalue?
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Read [temp.param] p8 and [expr.prim.id.unqual], then review the seven-comment discussion for the unresolved interpretation of the parameter's value category. Compare the normative wording with the explanatory note and determine what the draft should state so the category is unambiguous.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp, tex
- Domain
- documentation
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 25/100