Re: [Boost-Users] Suggest: tuple base class

On Thursday 20 March 2003 01:50 pm, Bryan Silverthorn wrote:

So: I need a way to determine if a particular type is a tuple type, which would allow me to do the following:

template class FooIf {}; template<class T> class Foo : public FooIf {}; template<class T> class FooIf { /* tuple implementation */ }; template<class T> class FooIf { /* non-tuple implementation */ };

AFAICT, there's no way to do so at present. I'd like to suggest a way to add this functionality: have cons<> (or tuple<>) inherit from a blank "tuple_base" class. This would let us use boost::is_base_and_derived to provide the is_tuple_type functionality for the code block above.

You can determine if a type T is a cons<...> or has a cons<...> base with: namespace boost { namespace tuples { template type_traits::yes_type is_cons_or_derived_helper(cons const volatile*); type_traits::no_type is_cons_or_derived_helper(void const volatile*); template<typename T> struct is_cons_or_derived { BOOST_STATIC_CONSTANT(bool, value = (sizeof(is_cons_or_derived_helper((T*)0)) == sizeof(type_traits::yes_type)); }; } } Doug