Re: [boost] [type_traits][cw] is_convertible compile failure

From: Joaquín Mª López Muñoz (joaquin_at_[hidden])
Date: 2006-02-09 06:30:29

Stefan Slapeta ha escrito:

> John Maddock wrote:
> >
> > Could you please run the complete type traits tests, and if there are no new
> > regressions then go ahead and commit?
> >
>
> :-(
>
> stefan

[...]

> ### mwcc Compiler:
> #      In: ..\..\..\boost\type_traits\is_convertible.hpp
> #    From: tricky_function_type_test.cpp
> # --------------------------------------
> #     158:         );
> #   Error:          ^
> #   function call '_m_check({lval} void (), int)' does not match
> #   'boost::detail::is_convertible_basic_impl<void (&)(), boost::detail::int_convertible>::_m_check(boost::detail::any_conversion, ...)' (static)
> #   'boost::detail::is_convertible_basic_impl<void (&)(), boost::detail::int_convertible>::_m_check(boost::detail::int_convertible, int)' (static)

[...]

I'm far from being an expert in this area, but, what
happens if you change the second ctor of  any_conversion
(which is only to kick in for function references) from

    template <typename T> any_conversion(T&);

to

    template <typename T> any_conversion(T);

??

Joaquín M López Muñoz
Telefónica, Investigación y Desarrollo