Re: [boost] Submission: typelist

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