[boost] Re: is_polymorphic added to type traits

From: Eric Niebler (neric_at_[hidden])
Date: 2002-10-26 18:43:08

On Sun, 27 Oct 2002 02:30:32 +0300, Gennadiy Rozental wrote:

> I always wondered why we need to struggle that much to dig the information
> from a compiler in writing generic components, while it should be very easy
> for the compiler to provide direct access to this information. And BTW it
> could give much more then we could achieve now with template tricks.
>    Is there formal proposition to the core group to add this kind of
> facility to language? So that I could write something like:
> T.has_default_constructor or T.has_field["member"]
> 
> Gennadiy.
> 

I don't know if this is officially before the committee, but Bjarne has
been working on this for quite some time.  It's called XTI, for extended
type information.

A google search for XTI and Stroustrup turns up lots of stuff, like
http://atlassw1.phy.bnl.gov/wenaus/docs/cern/XTI_accu.pdf

Eric