- Title
- The *_constant<> templates do not make use of template<auto>
- Status
- resolved
- Section
- [meta.type.synop]
- Submitter
- United States
Created on 2017-02-03.00:00:00 last changed 1 month ago
Messages
[ 2025-10-16 Status changed: LEWG → Resolved. ]
The topic was addressed by P2781R9.
[ 2017-07 Toronto Thurs Issue Prioritization ]
Status LEWG with P0377
[ 2017-03-03, Kona, LEWG ]
Straw polls:
| constant | 3 |
| numeric_constant | 8 |
| static_constant | 1 |
| scalar_constant | 7 |
| integer_constant (Over LWG's dead body) | 1 |
| auto_constant | 4 |
| integral_c | 7 |
| int_ | 0 |
| | |
| scalar_constant | 6 |
| numeric_constant | 3 |
| integral_c | 5 |
Accept P0377 with "scalar_constant" for C++17 to address LWG 2922 and US 171:
SF | F | N | A | SA 0 | 1 | 3 | 7 | 5The *_constant<> templates (including the proposed addition, bool_constant<>) do not make use of the new template<auto> feature.
Proposed change: Add a constant<> (subject to bikeshedding) template which uses template<auto>.
Define integral_constant<> as using integral_constant<T, V> = constant<T(V)> or integral_constant<T, V> = constant<V>.
Either remove bool_constant, define it as using bool_constant = constant<bool(B)> or using bool_constant = constant<B>.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2025-10-16 21:00:35 | admin | set | messages: + msg15198 |
| 2025-10-16 21:00:35 | admin | set | status: lewg -> resolved |
| 2017-07-15 23:15:19 | admin | set | messages: + msg9397 |
| 2017-07-15 23:15:19 | admin | set | status: new -> lewg |
| 2017-03-03 20:10:51 | admin | set | messages: + msg9049 |
| 2017-02-03 00:00:00 | admin | create | |