// $Id$
//
-// Copyright (C) 2007
-// Fraunhofer Institut fuer offene Kommunikationssysteme (FOKUS)
-// Kompetenzzentrum fuer Satelitenkommunikation (SatCom)
+// Copyright (C) 2007
+// Fraunhofer Institute for Open Communication Systems (FOKUS)
+// Competence Center NETwork research (NET), St. Augustin, GERMANY
// Stefan Bund <g0dil@berlios.de>
//
// This program is free software; you can redistribute it and/or modify
#define HH_mpl_ 1
// Custom includes
+#include "../config.hh"
//#include "mpl.mpp"
#include "mpl.ih"
namespace senf {
namespace mpl {
- /** \defgroup senfmpl Low-level template meta programming helpers
+ /** \defgroup senfmpl Template meta programming helpers
*/
-# ifndef SENF_MPL_RV_ALIGNMENT
-# define SENF_MPL_RV_ALIGNMENT 16
-# endif
+ /** \brief Marker class for empty default values etc.
+
+ This is like Boosts \c boost::mpl::na just an empty class used as template default argument
+ to mark missing arguments
+
+ \note Don't use this as an empty base class. We may add some informative members to this.
+ */
+ struct nil {};
/** \brief Return-value type used to implement overload selection
never called.
This number is than forwarded as template argument to \c select which is specialized for
- each case. Therefore, <tt>choice<A></tt> has a \c frobble() member whereas
- <tt>choice<B></tt> has a \c dazzle() member.
+ each case. Therefore, <tt>choice\<A\></tt> has a \c frobble() member whereas
+ <tt>choice\<B\></tt> has a \c dazzle() member.
\see \ref SENF_MPL_RV
\ingroup senfmpl
*/
template <class _> struct take_class {};
- /** \brief Define 'previous value' slot
+ /** \brief Define MPL slot
- The 'previous value' macros \ref SENF_MPL_PREVV_DEF(), \ref SENF_MPL_PREVV_SET() and \ref
- SENF_MPL_PREVV_GET() provide a facility to get the last unsigned integer value assigned to
+ The slot macros \ref SENF_MPL_SLOT_DEF(), \ref SENF_MPL_SLOT_SET() and \ref
+ SENF_MPL_SLOT_GET() provide a facility to get the last unsigned integer value assigned to
the slot before the current point in the current class.
\code
struct Foo
{
- // Define PREVV slot named 'accum' initialized to 0
- SENF_MPL_PREVV_DEF(accum, 0);
+ // Define SLOT slot named 'accum' initialized to 0
+ SENF_MPL_SLOT_DEF(accum, 0);
// Add 2 to 'accum'
- SENF_MPL_PREVV_SET(accum, SENF_MPL_PREVV_GET(accum) + 2);
+ SENF_MPL_SLOT_SET(accum, SENF_MPL_SLOT_GET(accum) + 2);
// Multiply 'accum' by 3
- SENF_MPL_PREVV_SET(accum, SENF_MPL_PREVV_GET(accum) * 3);
+ SENF_MPL_SLOT_SET(accum, SENF_MPL_SLOT_GET(accum) * 3);
// Define the result as a constant expression. result is now 6
- static unsigned result = SENF_MPL_PREVV_GET(accum);
+ static unsigned result = SENF_MPL_SLOT_GET(accum);
};
\endcode
Of course, it does not make sense to use these macros for simple arithmetic as in the
- example. The SENF_MPL_PREVV macros allow to define macros which pass information from one
+ example. The SENF_MPL_SLOT macros allow to define macros which pass information from one
macro invocation to the next.
\implementation The implementation is based on __LINE__: We check backwards for a value
\ingroup senfmpl
\hideinitializer
*/
-# define SENF_MPL_PREVV_DEF(name,value) \
- template <unsigned _> \
- static senf::mpl::rv<0> _SENF_MPL_PREVV_ ## name (senf::mpl::rv<_> *); \
- SENF_MPL_PREVV_SET(name,value)
+# define SENF_MPL_SLOT_DEF(name,value) \
+ template <class _> \
+ static senf::mpl::rv<0> _SENF_MPL_SLOT_ ## name (_); \
+ SENF_MPL_SLOT_SET(name,value)
+
+ /** \brief Define MPL slot initialized to 0
+
+ This is like \ref SENF_MPL_SLOT_DEF() but initializes the slot to the fixed value 0. The
+ advantage over \ref SENF_MPL_SLOT_DEF() is, that this macro may be called from an include
+ file whereas all the other \\c SENF_MPL_SLOT_ macros must always be called from the relevant
+ file.
+ */
+# define SENF_MPL_SLOT_DEF_ZERO(name) \
+ template <class _> \
+ static senf::mpl::rv<0> _SENF_MPL_SLOT_ ## name (_);
- /** \brief Set 'prevision value' slot
- \see \ref SENF_MPL_PREVV_DEF()
+ /** \brief Set MPL slot
+ \see \ref SENF_MPL_SLOT_DEF()
\ingroup senfmpl
\hideinitializer
*/
-# define SENF_MPL_PREVV_SET(name,value) \
- static senf::mpl::rv<unsigned(value)+1> _SENF_MPL_PREVV_ ## name (senf::mpl::rv<__LINE__>*)
+# define SENF_MPL_SLOT_SET(name,value) \
+ static senf::mpl::rv<unsigned(value)+1> \
+ _SENF_MPL_SLOT_ ## name (senf::mpl::take_int<__LINE__>)
- /** \brief Get current 'previous value' slot value
- \see \ref SENF_MPL_PREVV_DEF()
+ /** \brief Get current MPL slot value
+ \see \ref SENF_MPL_SLOT_DEF()
\ingroup senfmpl
\hideinitializer
*/
-# define SENF_MPL_PREVV_GET(name) \
- SENF_MPL_PREVV_I_GET(name)
+# define SENF_MPL_SLOT_GET(name) \
+ SENF_MPL_SLOT_I_GET(name)
}}