Re: [boost] [Type Traits] is_array and remove_bounds bug

From: John Maddock (john_at_[hidden])
Date: 2004-01-24 07:26:32

> I have noticed that is_array and remove_bounds do not seem to work
> with array types of unknown bounds; e.g.,
>
>     BOOST_STATIC_ASSERT(!boost::is_array< int[] >::value);
>     BOOST_STATIC_ASSERT((boost::is_same< boost::remove_bounds< int[]
> >::type, int[]>::value));
>
> compile on GCC 3.2 and VC7.1. Is this the desired behavior?

No, not at all.

Thanks for the patches, this seems to be a strange corner case: VC7.1
doesn't need the patches (it does the right thing without them), but gcc
does, while Borland doesn't compile the patched version, or do the right
thing without the patches... sigh.

Anyway, I've patched the headers and extended the test cases on my local cvs
copy, I've got the type traits regression tests running now, assuming
everything is OK, then I'll commit your patches when cvs comes back online.

John.