[defns.argument.templ] Change 'template instantiation' to 'template'; mention braced-init-list #7591
Conversation
|
See also #7396. |
|
@jensmaurer could you have a look? Seems reasonable to me. |
source/intro.tex
Outdated
| \grammarterm{id-expression} in the comma-separated | ||
| \grammarterm{type-id}, | ||
| \grammarterm{id-expression}, or | ||
| \grammarterm{braced-init-list} in the comma-separated |
There was a problem hiding this comment.
This is incomplete; it could also be the name of a template (as argument for a template template parameter) and arbitrary expressions.
And I'm not seeing braced-init-list in [temp.names], where does this come in?
There was a problem hiding this comment.
Expressions are covered by constant-expression; braced-init-list was restored in [temp.names] by #8487. Template template arguments were covered by id-expression at the time this PR was opened, but that was changed to template-name in the definition of template-argument since then.
Rather than keeping the two definitions in sync, I updated this PR to refer to the template-argument production instead.
4 participants
Not all templates are instantiated, so limiting this definition to the process template instantiation seems wrong.
Adding braced-init-list updates the definition to match the changes made by P2308.