This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of NAD Concepts status.
Section: 17.3.5 [numeric.limits] Status: NAD Concepts Submitter: Alisdair Meredith Opened: 2009-03-11 Last modified: 2016-01-28
Priority: Not Prioritized
View other active issues in [numeric.limits].
View all other issues in [numeric.limits].
View all issues with NAD Concepts status.
Discussion:
Addresses JP 26
numeric_limits [partial specializations] does not use concept.
[ Summit: ]
Alisdair will provide a solution as part of treatment of axioms and LWG 902.
[ Post Summit: ]
Alisdair recommends NAD as the partial specializations are already constrained by requirements on the primary template.
[ Batavia (2009-05): ]
The Working Draft does not in general repeat a primary template's constraints in any specializations. Move to NAD.
[ 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.
Proposed resolution:
Change 17.3.5 [numeric.limits]:
template<classRegular T> class numeric_limits<const T>; template<classRegular T> class numeric_limits<volatile T>; template<classRegular T> class numeric_limits<const volatile T>;