TypeList.h

Go to the documentation of this file.

#ifndef X3DTK_TYPELIST_H
#define X3DTK_TYPELIST_H

#include "X3DBaseTypes.h"

namespace X3DTK {

#ifdef TEMPLATE_SPECIALIZATION_SUPPORTED


template<class H, class T = nil>
struct tlist
{
  typedef H head_type;
  typedef T tail_type;
};

#ifndef DOXYGEN


template<class TL, class F> struct findIn;

template<class H, class T, class F>
struct findIn<tlist<H, T>, F>
{
  enum {result = findIn<T, F>::result};
};

template<class T, class F>
struct findIn<tlist<F, T>, F>
{
  enum {result = true};
};

template<class T>
struct findIn<nil, T>
{
  enum {result = false};
};

#endif


template<class TL> class clist;

template<class H, class T>
class clist<tlist<H, T> > : public H, public clist<T>
{
public:
  template<class F, bool optional>  
  F &get();

  template<class F, bool optional>  
  const F &get() const;

  template<class F>  
  inline static bool find();
};

#ifndef DOXYGEN

template<class H>
class clist<tlist<H, nil> > : public H
{
public:
  template<class F, bool optional>  
  F &get();

  template<class F, bool optional>  
  const F &get() const;
  
  template<class F>  
  inline static bool find();
};

template<class T, class F, bool present, bool optional> struct Get;

template<class T, class F, bool optional>
struct Get<T, F, true, optional>
{
  inline static F &apply(clist<T> &t) 
  {
    return t;
  };
};

template<class T, class F>
struct Get<T, F, false, true>
{
  static F &apply(clist<T> &t) 
  {
    static F f;
    return f;
  };
};

template<class H, class T>
template<class F>
bool clist<tlist<H, T> >::find()
{
  return findIn<tlist<H, T>, F>::result;
}

template<class H, class T>
template<class F, bool optional>
F &clist<tlist<H, T> >::get()
{
  return Get<tlist<H, T>, F, findIn<tlist<H, T>, F>::result, optional>::apply(*this);
}

template<class H, class T>
template<class F, bool optional>
const F &clist<tlist<H, T> >::get() const
{
  return Get<tlist<H, T>, F, findIn<tlist<H, T>, F>::result, optional>::apply(*this);
}


template<class H>
template<class F>
bool clist<tlist<H, nil> >::find()
{
  return findIn<tlist<H, nil>, F>::result;
}

template<class H>
template<class F, bool optional>
F &clist<tlist<H, nil> >::get()
{
  return Get<tlist<H, nil>, F, findIn<tlist<H, nil>, F>::result, optional>::apply(*this);
}

template<class H>
template<class F, bool optional>
const F &clist<tlist<H, nil> >::get() const
{
  return Get<tlist<H, nil>, F, findIn<tlist<H, nil>, F>::result, optional>::apply(*this);
}

#endif
#endif

}

#endif

---