Cannot overload operator>> for safe_numerics::safe

[Eelis]

#include <boost/safe_numerics/safe_integer.hpp>
struct X {};
using I = boost::safe_numerics::safe<int64_t>;
void operator>>(X, I);
void f(X x, I i) { x >> i; } // causes error deep inside SafeNumerics headers

https://godbolt.org/z/eozM1PqW8

[Eelis]

I think the cause is that there's a bad catchall operator>> for safe_base that only disables itself if the lhs is derived from std::ios_base:

safe_numerics/include/boost/safe_numerics/safe_base_operations.hpp

Lines 1394 to 1400 in e15c54c

	template<class T, class U>
	typename boost::lazy_enable_if_c<
	(! std::is_base_of<std::ios_base, T>::value)
	&& (is_safe<T>::value || is_safe<U>::value),
	right_shift_result<T, U>
	>::type
	constexpr inline operator>>(const T & t, const U & u){

[robertramey]

Your correct. I'm working on fixing it in a definitive way as we "speak".

[robertramey]

This should be fixed by now on the develop branch. Also added a test for it so it doesn't come back. We'll leave this message until a 2nd person has confirmed it.

[robertramey]

closed/fixed

[Eelis]

Sweet, thanks!!