Go to Overview over all GrAL packages.

---

                     

---

Container/heterogeneous-list.h

Go to the documentation of this file.

#ifndef GRAL_GB_HETEROGENEOUS_LIST_H
#define GRAL_GB_HETEROGENEOUS_LIST_H

// $LICENSE_NEC


namespace heterogeneous_list {

  struct END {};
  struct BEGIN {};

  template<class T, class TAIL>
    class List {
    public:
      typedef T value_type;
      typedef TAIL tail_type;
    private:
      T const* t_;
      TAIL     tail_;
    public:
      List(T const& t, TAIL const& tail1) : t_(&t), tail_(tail1) {}
      T const&    head()    const { return *t_;}
      TAIL const& tail() const { return tail_;}
    };


  // empty List
  template<class END>
    class List<END,END> {
    public:
      typedef END head_type;
      typedef END tail_type;
      END e;
      List() {}
      List(END,END) {}
      END head() { return e;}
      END tail() { return e;}
    };

  template<class T, class T2, class TAIL>
    List<T,List<T2,TAIL> > operator,(List<T2,TAIL> tail, T const& t)
    { return List<T,List<T2,TAIL> >(t,tail);}

  template<class T>
    List<T,List<END,END> > operator,(BEGIN b, T const& t)
    { return List<T,List<END,END> >(t,List<END,END>());}

} // namespace heterogeneous_list
#endif

---

Copyright (c) Guntram Berti 1997-2002. See the GrAL Homepage for up-to-date information.

---