owner, status changed

Antony Polukhin — Fri, 13 May 2011 06:50:06 GMT

owner changed from nasonov to Antony Polukhin
status new → assigned

Antony Polukhin — Fri, 13 May 2011 07:47:58 GMT

boost::lexical_cast has the behavior of stringstream, which uses num_get functions of std::locale to convert numbers. If we look at the [22.2.2.1.2] of Programming languages — C++ ( or at [22.2.2.1.2] Working Draft, Standard for Programming Language C++) we`ll see, that num_get uses the rules of scanf for conversions. And in the C99 standard for %u the input value minus sign is optional, so if a negative number is read, no errors will arise and the result will be the two's complement.
I recommend you to use some wrappers, around lexical_cast, like:

#include <boost/lexical_cast.hpp>
#include <boost/type_traits/is_unsigned.hpp>
template <bool is_unsigned>
struct unsigned_checker
{
    template<typename String_type>
    static inline void do_check(const String_type & str) { }
};
template <>
struct unsigned_checker<true>
{
    template<typename String_type>
    static inline void do_check(const String_type & str)
    {
        if( str[0] == '-' ) boost::throw_exception( boost::bad_lexical_cast() );
    }
};
template<typename Target, typename Source>
inline Target forced_lexical_cast(const Source &arg)
{
    unsigned_checker< boost::is_unsigned<Target>::value >::do_check(arg);
    return boost::lexical_cast<Target>( arg );
}

Thank you for that bug report! I`ll add your question to the FAQ section of lexical_cast documentation.

Fri, 13 May 2011 12:23:17 GMT

thanks for the explanation, I already implemented a similar workaround.

You might als add to the FAQ that this may not be very portable.

e.g. with g++-4.3.2, the behaviour was different.

status, milestone changed; resolution set

Antony Polukhin — Fri, 13 May 2011 17:52:27 GMT

status assigned → closed
resolution → wontfix
milestone To Be Determined → Boost 1.47.0

Boost C++ Libraries: Ticket #5494: lexical_cast("-1") fails to throw

owner, status changed

status, milestone changed; resolution set