28 Jul
2006
28 Jul
'06
12:10 p.m.
"Andy Little" <andy@servocomm.freeserve.co.uk> writes:
A bool_ is stated to be a model of Integral Constant, but it patently doesnt and can never meet the next / prior requirements.
Well, that's not strictly true. false_ and true_ can meet the next/prior requirements just as well as int_<INT_MIN> and int_<INT_MAX> can. Any bounded type has the same problem; maybe we need to be more precise about what happens at the endpoints of the range. -- Dave Abrahams Boost Consulting www.boost-consulting.com