Created on 2015-05-18.00:00:00 last changed 127 months ago
An example like the following would seem to be plausible:
template<class T, T*> struct X { };
// We want to partially specialize for all nullptrs...
template<class T> struct X<T, nullptr> { ... }; // NOT OK
This is disallowed by the rule in bullet 9.2 of 13.7.6.1 [temp.spec.partial.general]:
The type of a template parameter corresponding to a specialized non-type argument shall not be dependent on a parameter of the specialization.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2015-05-18 00:00:00 | admin | create | |