When compiling the is_convertible test case, I'm getting the following
compile warnings:
------------------------------------
/usr/local/src/boost/boost_1_32_0/boost/type_traits/is_convertible.hpp:
In instantiation of `boost::detail::is_convertible_basic_impl':
/usr/local/src/boost/boost_1_32_0/boost/type_traits/is_convertible.hpp:224:
instantiated from `boost::detail::is_convertible_impl'
/usr/local/src/boost/boost_1_32_0/boost/type_traits/is_convertible.hpp:279:
instantiated from `boost::is_convertible'
/usr/local/src/boost/boost_1_32_0/libs/type_traits/test/is_convertible_test.cpp:24:
instantiated from here
/usr/local/src/boost/boost_1_32_0/boost/type_traits/is_convertible.hpp:124:
warning: passing `float' for converting 1 of
`convertible_from<T>::convertible_from(T) [with T = char]'
/usr/local/src/boost/boost_1_32_0/boost/type_traits/is_convertible.hpp:
In instantiation of `boost::detail::is_convertible_basic_impl >':
/usr/local/src/boost/boost_1_32_0/boost/type_traits/is_convertible.hpp:224:
instantiated from `boost::detail::is_convertible_impl >'
/usr/local/src/boost/boost_1_32_0/boost/type_traits/is_convertible.hpp:279:
instantiated from `boost::is_convertible >'
/usr/local/src/boost/boost_1_32_0/libs/type_traits/test/is_convertible_test.cpp:25:
instantiated from here
/usr/local/src/boost/boost_1_32_0/boost/type_traits/is_convertible.hpp:124:
warning: passing `float' for converting 1 of
`convertible_from<T>::convertible_from(T) [with T = const char&]'
------------------------------------
The test cases in question are
BOOST_CHECK_INTEGRAL_CONSTANT((::tt::is_convertible
::value), true);
BOOST_CHECK_INTEGRAL_CONSTANT((::tt::is_convertible >::value), true);
I think this is caused by trying to call the convertible_from<char>
constructor (which takes a char) with a float& argument, which forces an
implicit conversion from float-to-char BEFORE the "user defined
conversion" of char-to-convertible_from<char>.
gcc issues this warning when doing a float(or double) conversion to an
integral type during template instantiation/overload resolution -- but
does not warn if "merely" truncating from a wider integral
representation down to char. I can see why gcc might warn in each case
-- but
(1) warning in one case but not the other seems counterintuitive
(2) in any case, I'd like to suppress or avoid both sorts of warnings
Does anybody have an idea how to avoid these warnings with gcc -- or can
verify that they occur with other versions of gcc (like 4.0?).
It's also possible that I'm confused :-) and gcc's behavior is correct;
but that means that boost::is_convertible is deliberately violating some
rule or other and causing these warnings -- and I doubt that is the case.
I've pasted the relevant parts of the is_convertible code below; the
lines which I *think* are the offending ones are marked with '@@'.
template <typename T> struct checker
{
static boost::type_traits::no_type _m_check(any_conversion ...);
@@ static boost::type_traits::yes_type _m_check(T, int);
};
template
struct is_convertible_basic_impl
{
static From _m_from;
static bool const value = sizeof(
@@ detail::checker<To>::_m_check(_m_from, 0) )
== sizeof(::boost::type_traits::yes_type);
};
template
struct is_convertible_impl
{
typedef typename add_reference<From>::type ref_type;
static const bool value = (::boost::type_traits::ice_and<
::boost::detail::is_convertible_basic_impl::value,
::boost::type_traits::ice_not< ::boost::is_array<To>::value
>::value >::value);
};
template< typename From, typename To > struct is_convertible
: mpl_::bool_<
(::boost::detail::is_convertible_impl::value)
>
{ };
Thanks for any help, tips, or suggestions.
--
Chuck
