Indiana Unversity logo[ConceptGCC]

ConceptGCC :

Re: boost meta functions

From: Doug Gregor (dgregor_at_[hidden])
Date: 2007-02-28 13:37:13


On Feb 14, 2007, at 7:30 AM, Karl Meerbergen wrote:
> Boost meta functions do not seem to work correctly all the time.
> Attached is a file that generates the following error message with
> version alpha-5:

This bug is fixed in the latest ConceptGCC from Subversion. However,
note that type traits like add_reference won't really work properly
within constrained templates, because constrained templates have to
decide which specialization to pick at template definition time. If
the result doesn't match what one gets at instantiation time, we can
end up with strange failures.

The add_reference trait itself isn't quite as useful in C++0x as it
was in C++98, because C++0x has reference-combining rules that, for
instance, make T& (where T is replaced with int&) into just
"int&" (rather than an error). ConceptGCC implements these reference-
combining rules already.

        Cheers,
        Doug