- Title
- List initializer in non-type template default argument
- Status
- cd7
- Section
- 13.4.3 [temp.arg.nontype]
- Submitter
- Ville Voutilainen
Created on 2014-11-20.00:00:00 last changed 3 months ago
Messages
Date: 2024-02-16.23:59:08
[ Resolved by paper P2308R1 (Template parameter initialization), adopted in November, 2023. ]
According to 13.4.3 [temp.arg.nontype] paragraph 1,
A template-argument for a non-type template-parameter shall be a converted constant expression (7.7 [expr.const]) of the type of the template-parameter.
This does not permit an example like:
template <int* x = {}> struct X {};
which seems inconsistent.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2025-09-12 22:42:26 | admin | set | status: open -> cd7 |
| 2025-09-12 22:42:26 | admin | set | status: drwp -> open |
| 2024-04-05 21:43:46 | admin | set | status: dr -> drwp |
| 2024-02-16 23:59:08 | admin | set | status: drafting -> dr |
| 2014-11-20 00:00:00 | admin | create | |