- Title
- Explicit instantiation of constrained member functions
- Status
- drafting
- Section
- 13.9.3 [temp.explicit]
- Submitter
- Casey Carter
Created on 2019-07-16.00:00:00 last changed 59 months ago
Messages
Date: 2020-08-15.00:00:00
Notes from the August, 2020 teleconference:
CWG felt that the concept of “eligible” might form a basis for the resolution of this issue.
Date: 2019-07-16.00:00:00
An explicit instantiation of a class template specialization also explicitly instantiates member functions of that class template specialization whose constraints are satisfied, even those that are not callable because a more-constrained overload exists which would always be selected by overload resolution. Ideally, we would not explicitly instantiate definitions of such uncallable functions.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2020-12-15 00:00:00 | admin | set | messages: + msg6251 |
| 2019-07-16 00:00:00 | admin | create | |