Created on 2016-06-22.00:00:00 last changed 20 months ago
Proposed resolution (March, 2018):
Change _N4868_.6.4.1 [basic.scope.declarative] paragraph 1 as follows:
Every name is introduced in some portion of program text called a declarative region, which is the largest part of the program in which that name is
valid, that is, in which that name may be used as an unqualified name to refer to the same entity. In general...
Add the following as a new paragraph after 13.3 [temp.names] paragraph 7:
A template-id that names an alias template specialization is a type-name.
Change 13.10.3 [temp.deduct] paragraph 2 as follows, converting from bullets to running text:
When an explicit template argument list is specified, if the
template arguments are not compatible with the template parameter list or do not result in a valid function type as described below, type deduction fails. Specifically, the following steps are performed when evaluating an explicitly specified template argument list with respect to a given function template:
If the specified template arguments do not match the template parameters in kind (i.e., type, non-type, template), or if there are more arguments than there are parameters and no parameter is a template parameter pack, or if there is not an argument for each non-pack parameter, type deduction fails.
If any non-type argument does not match the type of the corresponding non-type template parameter, and is not convertible to the type of the corresponding non-type parameter as specified in 13.4.3 [temp.arg.nontype], type deduction fails.
The specified template argument values are substituted for the corresponding template parameters as specified below.
[Accepted as a DR at the June, 2018 (Rapperswil) meeting.]
There is currently no requirement that a simple-template-id used as a class-name (Clause 11 [class] paragraph 1) must have template arguments for every template parameter that does not have a default template argument.
|2020-12-15 00:00:00||admin||set||status: ready -> cd5|
|2018-04-11 00:00:00||admin||set||messages: + msg6177|
|2018-04-11 00:00:00||admin||set||status: drafting -> ready|