Created on2017-04-17.00:00:00 last changed60 months ago
Additional note, February, 2021:
Although this issue was ultimately resolved for C++20 bythe adoption of paper P1907R1, it was previously addressedin a different manner by paper P0732R2, adopted at theJune, 2018 meeting.
Notes from the April, 2018 teleconference:
Not all implementations accept avoid* template parameter, sothis should not be a DR if it is eventually adopted. Furthermore, there issome implementation divergence over the kinds of template arguments thatcan be passed to avoid* template parameter. CWG felt that EWGshould weigh in on the desirability and content of this change.
[Adopted at the November, 2019 meeting as part of paper P1907R1.]
According to 13.2 [temp.param] bullet 4.2, non-type templateparameters of pointer type must be either
pointer to object or pointer to function
This excludesvoid*, which is an object pointer but not apointer to object. However, most or all current implementations acceptvoid* as a non-type template parameter.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2021-02-17 00:00:00 | admin | set | messages: +msg6518 |
| 2021-02-17 00:00:00 | admin | set | status: extension -> c++20 |
| 2018-04-11 00:00:00 | admin | set | messages: +msg6216 |
| 2018-04-11 00:00:00 | admin | set | status: open -> extension |
| 2017-04-17 00:00:00 | admin | create | |