Re: [boost] Formal Review: Template Metaprogramming Library (MPL)

From: Giovanni Bajo (giovannibajo_at_[hidden])
Date: 2002-07-18 11:39:48

----- Original Message -----
From: "Peter Dimov" <pdimov_at_[hidden]>
To: <boost_at_[hidden]>
Sent: Thursday, July 18, 2002 2:02 PM
Subject: Re: [boost] Formal Review: Template Metaprogramming Library (MPL)

> The reference seems incomplete. I haven't found any mention of lambda
> expressions, or bind.

I'm specifically puzzled about why sometimes "_" is used, and other times
"_1", "_2", etc are used. For example:

if_<less<_1, _2>, _1, _2>  // min<>

but:

replace_if<seq, less<_, int_c<4> >, int_c<4> >   // low_clamp<4>

Also, I'm badly missing a reference for copy<> and copy_if<> :)

Also, is deref<T>::type the same as T::type? I can't see a reference for
this as well, but it looks like it should work this way.

Giovanni Bajo