bugs@… — Mon, 01 Dec 2014 10:47:41 GMT

Out of curiosity, SFINAE-ing the get_size_type trait for arithmetic or integral types does seem to do what's expected.

I'm aware of the fact that following code is not up to coding standards and Boost guides. I'm just contributing it in case it saves anyone else time during analysis:

Replace

template <class Type>
struct get_size_type<Type, false, false, false>
{
    typedef std::size_t type;
};

with

template <class Type>
struct get_size_type<Type, std::enable_if<not boost::is_arithmetic<Type>::value, mpl::false_>::type::value, false, false>
{
    typedef std::size_t type;
};
template <class Type>
struct get_size_type<Type, std::enable_if<boost::is_arithmetic<Type>::value, mpl::false_>::type::value, false, false>
{
    typedef typename std::common_type<Type, std::size_t>::type type;
};

Boost C++ Libraries: Ticket #10829: cardinality() of an interval_set is std::size_t independent of interval type, causing overflow