[boost] Re: Formal Review: Typeof [repost]

From: Arkadiy Vertleyb (vertleyb_at_[hidden])
Date: 2005-05-21 18:07:33

"David Abrahams" <dave_at_[hidden]> wrote

> Naw... anything of the form
>
>        metafunction1< metafunction2< ... >::type >::type
>
> can be collapsed into
>
>        metafunction3< ... >::type
>
> where
>
>       template <class T>
>       struct metafunction3
>         : metafunction1< typename metafunction2< T >::type >
>       {};
>
> So there should be no need for any _TPL suffixes.

Please note however, that we do not strictly operate with metafunctions.
The argument of TYPEOF can't be passed to a metafunction, which does change
the rules.

Regards,
Arkadiy