RE: [boost] type traits question

From: Aleksey Gurtovoy (agurtovoy_at_[hidden])
Date: 2003-01-18 11:44:40

Ronald Garcia wrote:
> Here's the version blurb:
> 
> Edison Design Group C/C++ Front End, version 2.43.1 (Jan 16 
> 2001 11:20:19)
> Copyright 1988-1999 Edison Design Group, Inc.
> 
> KAI C++ 4.0d (KCC) -- Jan 16 2001 -- (C) Copyright 1994-2000 Kuck &
> Associates,
> Inc.

Thanks!

> 
> AFAIK It supports partial template specialization.
> I don't even know the syntax for template template parameters :).
> If you give me an example of it, I can give it a try.

Actually the EDG version is enough -  it doesn't.

> 
> Let me know if there is any more information I can give you.  

Could you test if the following compiles successfully with the latest CVS
sources?

    #include "boost/mpl/aux_/has_xxx.hpp"
    #include "boost/static_assert.hpp"

    template< typename T >
    struct remove_const
    {
        typedef T type;
        struct rebind;
    };

    template< typename T >
    struct remove_const<T>::rebind
    {
        typedef T arg0;
    };

    BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF(has_rebind, rebind, false)

    typedef remove_const<int> r;
    BOOST_STATIC_ASSERT(has_rebind<r>::value);

TIA,
Aleksey