id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
6872,units/io.hpp: autoprefix_norm_impl<> should resolve to no-op for unsigned built-in types,Vassilii Khachaturov <vkh@…>,Steven Watanabe,"The code 
	using namespace boost::units;
	const quantity<si::length, int> boa = 5 * si::meters;
	std::cout << boa << std::endl;
prints ""5 m"", as expected, yet
	using namespace boost::units;
	const quantity<si::length, unsigned int> boa = 5 * si::meters;
	std::cout << boa << std::endl;
fails to compile due to the std::abs call being ambiguous in io.hpp:
template<class T>
struct autoprefix_norm_impl<T, true>
{
    typedef double type;
    static double call(const T& arg) { return std::abs(arg); }
};

There should be a specialization resolving to a no-op (just return the arg) for unsigned types.

A (probably slightly heavier) user-side workaround possible one can use is to forcibly define the missing std::abs to be a no-op as follows:

namespace std {
    template<typename Unsigned>
    typename boost::enable_if<boost::is_unsigned<Unsigned>, Unsigned>::type
        abs(const Unsigned& x)
    {
        return x; // unsigned type...
    }
}

Alternatively, boost::units should do a static assert that the type underlying the quantity is signed if that is what is intended (but why restrict it thus?)

Found and tested the workaround on 1.47.0, but confirmed to still exist on the trunk.
",Bugs,new,To Be Determined,units,Boost Development Trunk,Problem,,,