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.

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

non-type template parameter should be non-type \grammarterm{template-parameter} more consistently #7065

Open
Tsche opened this issue Jun 14, 2024 · 3 comments
Labels
cwg Issue must be reviewed by CWG.

Comments

@Tsche
Copy link

Tsche commented Jun 14, 2024

Currently the C++ standard uses non-type \grammarterm{template-parameter} 15 times, but uses non-type template parameter in the following 11 places:

[lex.ext]/5
[dcl.type.auto.deduct]/2.4
[temp.param]/11
[temp.dep.type]/2
[temp.dep.constexpr]/2.3
[temp.deduct.general]/11.8
[temp.deduct.call]/1
[temp.deduct.type]/13
[temp.over.link]/6.3
[rand.eng.general]/6
[rand.adapt.general]/6

I believe it would be nice to use \grammarterm{template-parameter} in most if not all of those places.

@Eisenwave
Copy link
Contributor

Eisenwave commented Jun 18, 2024

On a side note, I am surprised that "non-type template parameter" isn't a defined term (neither is "template parameter"), and I cannot find it in the index.

It's definitely wrong to refer to it as the version without \grammarterm then.

@frederick-vs-ja
Copy link
Contributor

It seems better to me to properly define non-type template parameter, type template parameter, and template template parameter in [basic.scope.temp] and then use "plain English" forms.

@jensmaurer
Copy link
Member

The cleanup is part of P2841.

@jensmaurer jensmaurer added the cwg Issue must be reviewed by CWG. label Jun 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cwg Issue must be reviewed by CWG.
Projects
None yet
Development

No branches or pull requests

4 participants