From: Gary Powell (Gary.Powell_at_[hidden])
Date: 2001-06-19 16:58:42
Wow, what a lot of comments!
I'll try to answer some more of these.
> - Could get() implementations be simplified by moving the
> typename element_type<...>::type into the access_traits?
Maybe, we'll have to look at that.
> - Could logic duplication be reduced in tuple_comparison.hpp?
Yes and no.
If a user type has overloaded the operators, then they should be called.
My understanding is that if they have not, then rel_ops, will generate the
missing comparison operators.
> - Should TAB characters in tuple_basic_no_partial_spec.hpp be
Yes, Sorry, it's my editor.
> - Should all headers included by tuple.hpp check that they are not
Detail includes are not for general consumption. tuple_io.hpp already
includes tuple.h, and tuple.h does not require tuple_io.hpp
So yes too,
as in we should add it as a benefit to the user. (But its not required that
> - Should map_tuple_to_cons<> have the same interface for both with
> partial specialization?
If not, should it be in the detail
> - The tie and make_tuple implementations are highly repetitive.
Wouldn't it be
> possible to reduce the code size significantly, for instance, by
> repeated metafunction calls inside an auxiliary metafunction?
But would the greater level of nesting of templates prevent compiliers from
generating code? My understanding is that 17 is the suggested upper limit.
With LL and gcc, we are often near 50.
> - Is "explicitely" a type in the code comments?
Ah no, its a typo.
> - Could implementation be shared between partial and non partial
> specialization versions? Should that be done?
As Doug mentioned, no. The non partial version should be easily dumped when
the lowest common compiler finally gets it right.
> - Would it be useful to have a clearly specified and documented
> metaprogramming interface for creating and accessing tuples?
What are you thinking? I'm a bit confused by this request.
> - How can a metaprogram compute a tuple type based on a variable
> list or otherwise computed set of types? Can the process be
I think this was addressed in John's reply, but its
> - How can a metaprogram compute the type of the Nth element of a
> this be documented?
Needs to be documented. Thanks.
> - How can a metaprogram detect that a type parameter is a tuple
> this be documented?
Partial specialization would be my choice. Should this be added to the
> - How can a metaprogram compute the number of elements of a tuple?
> be documented?
Yes, and tuple_length<t>::value
> - Would it be useful to provide a manipulator for changing all the
> configurable behaviour of tuple streaming at once?
Yes, but I prefer the individual method, less code for us to write. :>
No seriously does anyone else want this?
> Additional comments
> Lexicograhical ordering is not the only useful ordering model. Other
> frequently useful models include:
> - ordering based on only a subset of elements (e.g. key-value pair)
> - note: std::map<K,V>::value_type suffers from this problem
> - for this reason, I use neither tuple nor pair in my container
> - dominance:
> A<B if a(i)<b(i) for all i
I'm not sure how to address this for all other models. Suggestions?
And again thanks for all the comments. If I have muddied the water, just
throw these back at me with more elaboration.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk