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 11 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:00adminsetmessages: + msg6251
2019-07-16 00:00:00admincreate