Feature/typelist

This adds template<class...T> struct TypeList {}; together with some utilities. It's e.g. used in the concept checking facility that I'll add soon.

Besides this it can be used to 'store' an argument pack and access its members. In contrast to a std::tuple<T...> which is a container of objects of types T... a TypeList<T...> only captures the types themselves . Hence one can easily create TypeList objects and use them to pass types around or, e.g., in overload resolution where they can be used for tag-dispatch.

Notice that adding a template packer<T...> doing exactly the same has been proposed for the standard in N4115. But in my opinion TypeList is a more instructive name.

dune/common/typelist.hh

@@ -35,7 +35,7 @@ namespace Dune {
   /**
    * \brief Check if given type is a TypeList
    *
-   * \ingroup Utility
+   * \ingroup TypeUtilities
    *
    * The result of the check is encoded in the
    * base class of type std::integral_constant<bool, result>.
@@ -43,6 +43,11 @@ namespace Dune {
   template<class T>
   struct IsTypeList : std::false_type {};
 
+  /**
+   * \copydoc IsTypeList
+   *
+   * \ingroup TypeUtilities
+   */
   template<class... T>
   struct IsTypeList<TypeList<T...> > : std::true_type {};
 
@@ -51,7 +56,7 @@ namespace Dune {
   /**
    * \brief Check if given type is an empty TypeList
    *
-   * \ingroup Utility
+   * \ingroup TypeUtilities
    *
    * The result of the check is encoded in the
    * base class of type std::integral_constant<bool, result>.
@@ -67,7 +72,7 @@ namespace Dune {
   /**
    * \brief Get size of TypeList
    *
-   * \ingroup Utility
+   * \ingroup TypeUtilities
    *
    * The result of is encoded in the base class of
    * type std::integral_constant<std::size_t, result>.
@@ -83,7 +88,7 @@ namespace Dune {
   /**
    * \brief Get element of TypeList
    *
-   * \ingroup Utility
+   * \ingroup TypeUtilities
    */
   template<std::size_t i, class... T>
   struct TypeListElement<i, TypeList<T...>>