[Boost-users] [type_traits] Interesting problem with is_base_of.

23 Sep 2007

      Dears

There are two codes. The first is workig as it is specified in the 
documentation, but the second not. Why there are problems with the second 
code?

Regards.

// This code works perfectly

#include 
#include 
#include 

template  
class test
{
public:
    test ()
    {
        BOOST_STATIC_ASSERT((boost::is_base_of::value));
    }
};

int main()
{
    test  t ();
}

// The code belo is not working

#include 
#include 
#include 

template <typename B>
class test
{
public:
    template <typename R>
    test (R const &)
    {
        BOOST_STATIC_ASSERT((boost::is_base_of::value));
    }
};

int main()
{
    test <int> t (static_cast<int>(0));
}

-- 

|\/\/|   Seweryn Habdank-Wojewódzki
 \/\/