|
Boost : |
From: David Abrahams (david.abrahams_at_[hidden])
Date: 2001-11-26 11:42:38
----- Original Message -----
From: "Hamish Mackenzie" <boost_at_[hidden]>
To: <boost_at_[hidden]>
Sent: Monday, November 26, 2001 11:25 AM
Subject: Re: [boost] Submission: typelist
> On Mon, 2001-11-26 at 13:46, David Abrahams wrote:
> > MPL uses a traits mechanism to make type_list<T1, T2, T3> equivalent to
> > cons<T1, cons<T2, cons<T3, null_type> > > as far as its algorithms are
> > concerned. What's wrong with that approach? It seems to be the best of
all
> > worlds (currently possible in C++).
>
> The problem with this approach is that you have a fixed limit to the
> size of a type list (that the user cannot avoid with some kind of append
> opperation)
Not in this case.
> or else...
>
> append< type_list< int >, type_list< float > >::result
> is not the same type as
> type_list< int, float >
True, but how bad is that? I didn't find it to be a problem when I was using
MPL.
-Dave
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk