[boost] Re: Re: [typeof][result_of] Separated at Birth?

From: Arkadiy Vertleyb (vertleyb_at_[hidden])
Date: 2005-06-09 14:16:11

"jarvi" <jarvi_at_[hidden]> wrote

> The main point was that the result_of template needs to
> detect whether the BOOST_TYPEOF will succeed (all relevant
> types/templates have been typeof-registered),
> and if it will not succeed,  then follow the  list of steps specified
> in the TR1.

Well, I am afraid this might not be possible with current
BOOST_TYPEOF --Types/templates not registerd just result in compile error
:-(

Come to think about it, this doesn't have to stay this way.  I havn't tried
it, but it seems possible to just put some well-known type in place of
not-registered one, for example, something like this:

"std::pair<std::vector<boost::type_of::not_registered>, int>"

or maybe just

"boost::type_of::not_registered"

This way the fact that types are not registered can be used in
meta-programs.  The drawback -- it's unclear what's not registered.  So
maybe we need some sort of combination of both.

Again, *I think* it's possible, but I am not in a position to verify this
until later in the evening...  Is it something that would be of interest?

Regards,
Arkadiy

Regards,
Arkadiy