- Title
- void* non-type template parameters
- Status
- c++20
- Section
- 13.2 [temp.param]
- Submitter
- Daveed Vandevoorde
Created on 2017-04-17.00:00:00 last changed 67 months ago
Messages
Date: 2021-02-17.00:00:00
Additional note, February, 2021: Although this issue was ultimately resolved for C++20 by
the adoption of paper P1907R1, it was previously addressed
in a different manner by paper P0732R2, adopted at the
June, 2018 meeting.
Date: 2018-04-15.00:00:00
Notes from the April, 2018 teleconference: Not all implementations accept a void* template parameter, so
this should not be a DR if it is eventually adopted. Furthermore, there is
some implementation divergence over the kinds of template arguments that
can be passed to a void* template parameter. CWG felt that EWG
should weigh in on the desirability and content of this change.
Date: 2019-11-15.00:00:00
[Adopted at the November, 2019 meeting as part of paper P1907R1.] According to 13.2 [temp.param] bullet 4.2, non-type template
parameters of pointer type must be either pointer to object or pointer to function This excludes void* , which is an object pointer but not a
pointer to object. However, most or all current implementations accept
void* 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 | |