Re: [boost] [mpl] Integral Constant is over specified

From: David Abrahams (dave_at_[hidden])
Date: 2006-07-28 08:10:24

"Andy Little" <andy_at_[hidden]> 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