Re: [boost] [type_traits]is_convertible<noncopyable,To> crashes

From: Alexei Alexandrov (alexei.alexandrov_at_[hidden])
Date: 2006-04-14 03:38:55

David Abrahams <dave <at> boost-consulting.com> writes:

> 
> I don't think this is a solvable problem, unless there's something
> hiding in the implementation of is_base_and_derived that can be
> leveraged (see the comment in that header for more info -- I can't
> understand what's being said there due to the use of the identifier
> 'C' without any introduction).  The basic problem is what's required
> in the implementation of is_convertible in order to work around VC7.1
> bugs (Intel Windows emulates the same bugs).
> 

It don't think it's VC/Intel specific problem. GCC 3.4.4 also refuses to 
compile this code:

#include <boost/type_traits.hpp>
#include <boost/noncopyable.hpp>

class C : public boost::noncopyable
{
};

int main()
{
    bool br = boost::is_convertible<C, C>::value;
    return static_cast<int>(br);
}