common/meta/typelisttest.cpp

/*
  TypeList(Test)  -  check the typelist metaprogramming facility
 
  Copyright (C)         Lumiera.org
    2008,               Hermann Vosseler <Ichthyostega@web.de>
 
  This program is free software; you can redistribute it and/or
  modify it under the terms of the GNU General Public License as
  published by the Free Software Foundation; either version 2 of the
  License, or (at your option) any later version.
 
  This program is distributed in the hope that it will be useful,
  but WITHOUT ANY WARRANTY; without even the implied warranty of
  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  GNU General Public License for more details.
 
  You should have received a copy of the GNU General Public License
  along with this program; if not, write to the Free Software
  Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
 
* *****************************************************/


#include "common/test/run.hpp"
#include "common/meta/typelist.hpp"

#include <iostream>

using std::string;
using std::cout;


namespace lumiera
  {
  namespace typelist
    {
    namespace test
      {
      
      template<int I>
      struct Block    
        { 
          Block() { cout << "- "<<I<<" -"; }  
        };
      struct Zero 
        { 
          Zero()  { cout << "- The End -"; }
        };

      
      typedef Types< Block<1>
                   , Block<2>
                   , Block<3>
                   , Block<5>
                   , Block<8>
                   , Block<13>
                   >::List     TheList;
      
      
      template<class X, class P>
      class Chain 
        : X, P
      { }
      ;
      template<class H, class T, class P>
      class Chain<Node<H,T>, P>
        : H, Chain<T,P>
      { }
      ;
      
      typedef Chain<TheList,Zero> AssembledClass;
      
      /*************************************************************************
       * @test try out Loki-style typelist metaprogramming.
       *       Assembles a Class definition from parts specified as collection
       *       of types. The elementary building block has an talking ctor, so
       *       by automatic ctor chaining we get a message of each part.
       */
      class TypeList_test : public Test
        {
          virtual void run(Arg arg) 
            {
              AssembledClass wow_me_has_numbers;
              
              cout << "\n..Size of = " 
                   << sizeof(wow_me_has_numbers) <<"\n";
            } 
        };
      
      
      LAUNCHER (TypeList_test, "unit common");
      
      
      
    } // namespace test
    
  } // namespace typelist

} // namespace lumiera

---