Tuple types of arbitrary length

Classes
struct	tag::T_list< C, D >
struct	tag::V_list< C, D >
struct	tag::V_tuple< A, B, C, >
Defines
#define	make_tuple()   ((tag::TupleHead, ## __VA_ARGS__))
#define	make_vtuple()   ((tag::V_TupleHead, ## __VA_ARGS__))
#define	make_rtuple()   ((tag::R_TupleHead, ## __VA_ARGS__))
Typedefs
typedef T_list< Internal::null, Internal::null >	tag::T_ListEnd
Variables
const T_ListEnd	tag::TupleHead = T_ListEnd(Internal::null(), Internal::null())

---

Detailed Description

This group containg classes for dealing with tuples (or typelists) of arbitrary length.

There are two types:

• tag::T_list: Typelist with const& mebers.
  • Fully functional type list which supports static indexing of both values and types.
  • Used for typesafe variadic functions such as Printf
  • See tag::T_list for a usage example.

• tag::V_list: Typelist with value members.
  • Used for returning tuples from functions, since references can not be used.
  • tag::V_tuple is a convinience class for generating the types.
  • Supports basic functionality, but not indexing.

V_list is designed primarily to allow multiple return values from functions (see also tag::rpair) and can be uses as follows:

            V_tuple<int, float, char>::type func()
            {
                int i;
                float f;
                char c;

                //Function body goes here
                return make_vtuple(i, f, c);
            }

            void foo()
            {
                int a;
                float b;
                char c;

                //Call func() and collect all return values
                make_rtuple(a,b,c) = func();
                
                //a,b,c are now set.
            }

---

Define Documentation

#define make_rtuple (   )     ((tag::R_TupleHead, ## __VA_ARGS__))

This macro is used to collect multiple return values from a function.

#define make_tuple (   )     ((tag::TupleHead, ## __VA_ARGS__))

This is a variadic ``function'' which creates and returns a tuple.

#define make_vtuple (   )     ((tag::V_TupleHead, ## __VA_ARGS__))

This macro is used to return multiple values from a function.

---

Typedef Documentation

typedef T_list<Internal::null,Internal::null> tag::T_ListEnd

Guard type to mark the end of the list

---

Variable Documentation

const T_ListEnd tag::TupleHead = T_ListEnd(Internal::null(), Internal::null()) [static]

The value of the end of a list

---