Title
numeric_limits partial specializations not concept enabled
Status
nad concepts
Section
[numeric.limits]
Submitter
Alisdair Meredith

Created on 2009-03-11.00:00:00 last changed 164 months ago

Messages

Date: 2010-10-21.18:28:33

Proposed resolution:

Change [numeric.limits]:

template<class Regular T> class numeric_limits<const T>;
template<class Regular T> class numeric_limits<volatile T>;
template<class Regular T> class numeric_limits<const volatile T>;
Date: 2009-05-25.00:00:00

[ 2009-05-25 Howard adds: ]

A c++std-lib thread starting at c++std-lib-23880 has cast doubt that NAD is the correct resolution of this issue. Indeed the discussion also casts doubt that the current proposed wording is the correct resolution as well. Personally I'm inclined to reset the status to Open. However I'm reverting the status to that which it had prior to the Batavia recommendation. I'm setting back to Review.

Date: 2010-10-21.18:28:33

[ Batavia (2009-05): ]

The Working Draft does not in general repeat a primary template's constraints in any specializations. Move to NAD.

Date: 2010-10-21.18:28:33

[ Post Summit: ]

Alisdair recommends NAD as the partial specializations are already constrained by requirements on the primary template.

Date: 2011-03-05.21:44:45

[ Summit: ]

Alisdair will provide a solution as part of treatment of axioms and LWG 902.

Date: 2009-03-11.00:00:00

Addresses JP 26

numeric_limits [partial specializations] does not use concept.

History
Date User Action Args
2010-10-21 18:28:33adminsetmessages: + msg283
2010-10-21 18:28:33adminsetmessages: + msg282
2010-10-21 18:28:33adminsetmessages: + msg281
2010-10-21 18:28:33adminsetmessages: + msg280
2010-10-21 18:28:33adminsetmessages: + msg279
2009-03-11 00:00:00admincreate