"jarvi" <jarvi@cs.tamu.edu> 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