Re: [boost] Conforming tuples?

From: Joel de Guzman (joel_at_[hidden])
Date: 2005-11-24 19:46:42

Andreas Pokorny wrote:
> On Sun, Nov 20, 2005 at 08:41:57AM +0800, Joel de Guzman <joel_at_[hidden]> wrote:
> 
>>John Maddock wrote:
>>
>>>Is there any progress on a TR1 conforming tuples implementation?  I seem to 
>>>remember it was going to be rewritten as part of the Phoenix code?
>>
>>Fusion. The fusion code in the spirit directory *is-a* conforming
>>tuple implementation. It's been there since 1.31. We've just
>>finished Fusion-2. The code is done :) We're working on the docs.
>>I'd like to ask for a formal review. Is it possible to ask for
>>a review on a promise that the docs will be finished when the
>>review starts? Just so as to get it in the review queue?

Hi Andreas,

Pardon the delay, I almost missed this post.

> This might be a bit too early, since you still work on the documentation
> but a short peek into 
> http://spirit.sourceforge.net/dl_more/fusion_v2/boost/fusion/
> unveiled that now set and map type containers are integrated into fusion.
> So I really could not resist. 
> Is the code in that directory current? 

I am not sure. I update it every once in a while. If you want the
latest, you can always get it from the Spirit CVS in the branch
FUSION_V2.

> I really like the code separation, that moves compile type or type
> oriented functions in the fusion::meta namespace, and the runtime part 
> with the same names in the fusion namespace. 

Thanks!

> Right now I am looking at the deref code in:
> http://spirit.sourceforge.net/dl_more/fusion_v2/boost/fusion/iterator/deref.hpp
> I somehow expected to see some traces of references. After some browsing
> I noticed that list and vector have a special deref_impl, which seems to
> add references to the value types. So iterators from the map container 
> will use that partial specializations, because map uses the vector type 
> container?

It's not a partial specialization, is it? Anyway, details aside, yes,
map and set are using the vector as their implementation and yes,
they both tag dispatch to the proper deref_impl of the vector.

Regards,
-- 
Joel de Guzman
http://www.boost-consulting.com
http://spirit.sf.net