/* -*- mode: C++; indent-tabs-mode: nil; -*-

  *

  * This file is a part of LEMON, a generic C++ optimization library.

  *

  * Copyright (C) 2003-2008

  * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport

  * (Egervary Research Group on Combinatorial Optimization, EGRES).

  *

  * Permission to use, modify and distribute this software is granted

  * provided that this copyright notice appears in all copies. For

  * precise terms see the accompanying LICENSE file.

  *

  * This software is provided "AS IS" with no warranty of any kind,

  * express or implied, and with no claim as to its suitability for any

  * purpose.

  *

  */

 #ifndef LEMON_BITS_VARIANT_H

 #define LEMON_BITS_VARIANT_H

 #include <lemon/assert.h>

 /// \file

 /// \brief Variant types

 namespace lemon {

   namespace _variant_bits {

     template <int left, int right>

     struct CTMax {

       static const int value = left < right ? right : left;

     };

   }

   /// \brief Simple Variant type for two types

   ///

   /// Simple Variant type for two types. The Variant type is a type

   /// safe union. The C++ has strong limitations for using unions, by

   /// example we can not store type with non default constructor or

   /// destructor in an union. This class always knowns the current

   /// state of the variant and it cares for the proper construction

   /// and destruction.

   template <typename _First, typename _Second>

   class BiVariant {

   public:

     /// \brief The \c First type.

     typedef _First First;

     /// \brief The \c Second type.

     typedef _Second Second;

     /// \brief Constructor

     ///

     /// This constructor initalizes to the default value of the \c First

     /// type.

     BiVariant() {

       flag = true;

       new(reinterpret_cast<First*>(data)) First();

     }

     /// \brief Constructor

     ///

     /// This constructor initalizes to the given value of the \c First

     /// type.

     BiVariant(const First& f) {

       flag = true;

       new(reinterpret_cast<First*>(data)) First(f);

     }

     /// \brief Constructor

     ///

     /// This constructor initalizes to the given value of the \c

     /// Second type.

     BiVariant(const Second& s) {

       flag = false;

       new(reinterpret_cast<Second*>(data)) Second(s);

     }

     /// \brief Copy constructor

     ///

     /// Copy constructor

     BiVariant(const BiVariant& bivariant) {

       flag = bivariant.flag;

       if (flag) {

         new(reinterpret_cast<First*>(data)) First(bivariant.first());

       } else {

         new(reinterpret_cast<Second*>(data)) Second(bivariant.second());

       }

     }

     /// \brief Destrcutor

     ///

     /// Destructor

     ~BiVariant() {

       destroy();

     }

     /// \brief Set to the default value of the \c First type.

     ///

     /// This function sets the variant to the default value of the \c

     /// First type.

     BiVariant& setFirst() {

       destroy();

       flag = true;

       new(reinterpret_cast<First*>(data)) First();

       return *this;

     }

     /// \brief Set to the given value of the \c First type.

     ///

     /// This function sets the variant to the given value of the \c

     /// First type.

     BiVariant& setFirst(const First& f) {

       destroy();

       flag = true;

       new(reinterpret_cast<First*>(data)) First(f);

       return *this;

     }

     /// \brief Set to the default value of the \c Second type.

     ///

     /// This function sets the variant to the default value of the \c

     /// Second type.

     BiVariant& setSecond() {

       destroy();

       flag = false;

       new(reinterpret_cast<Second*>(data)) Second();

       return *this;

     }

     /// \brief Set to the given value of the \c Second type.

     ///

     /// This function sets the variant to the given value of the \c

     /// Second type.

     BiVariant& setSecond(const Second& s) {

       destroy();

       flag = false;

       new(reinterpret_cast<Second*>(data)) Second(s);

       return *this;

     }

     /// \brief Operator form of the \c setFirst()

     BiVariant& operator=(const First& f) {

       return setFirst(f);

     }

     /// \brief Operator form of the \c setSecond()

     BiVariant& operator=(const Second& s) {

       return setSecond(s);

     }

     /// \brief Assign operator

     BiVariant& operator=(const BiVariant& bivariant) {

       if (this == &bivariant) return *this;

       destroy();

       flag = bivariant.flag;

       if (flag) {

         new(reinterpret_cast<First*>(data)) First(bivariant.first());

       } else {

         new(reinterpret_cast<Second*>(data)) Second(bivariant.second());

       }

       return *this;

     }

     /// \brief Reference to the value

     ///

     /// Reference to the value of the \c First type.

     /// \pre The BiVariant should store value of \c First type.

     First& first() {

       LEMON_DEBUG(flag, "Variant wrong state");

       return *reinterpret_cast<First*>(data); 

     }

     /// \brief Const reference to the value

     ///

     /// Const reference to the value of the \c First type.

     /// \pre The BiVariant should store value of \c First type.

     const First& first() const { 

       LEMON_DEBUG(flag, "Variant wrong state");

       return *reinterpret_cast<const First*>(data); 

     }

     /// \brief Operator form of the \c first()

     operator First&() { return first(); }

     /// \brief Operator form of the const \c first()

     operator const First&() const { return first(); }

     /// \brief Reference to the value

     ///

     /// Reference to the value of the \c Second type.

     /// \pre The BiVariant should store value of \c Second type.

     Second& second() { 

       LEMON_DEBUG(!flag, "Variant wrong state");

       return *reinterpret_cast<Second*>(data); 

     }

     /// \brief Const reference to the value

     ///

     /// Const reference to the value of the \c Second type.

     /// \pre The BiVariant should store value of \c Second type.

     const Second& second() const { 

       LEMON_DEBUG(!flag, "Variant wrong state");

       return *reinterpret_cast<const Second*>(data); 

     }

     /// \brief Operator form of the \c second()

     operator Second&() { return second(); }

     /// \brief Operator form of the const \c second()

     operator const Second&() const { return second(); }

     /// \brief %True when the variant is in the first state

     ///

     /// %True when the variant stores value of the \c First type.

     bool firstState() const { return flag; }

     /// \brief %True when the variant is in the second state

     ///

     /// %True when the variant stores value of the \c Second type.

     bool secondState() const { return !flag; }

   private:

     void destroy() {

       if (flag) {

         reinterpret_cast<First*>(data)->~First();

       } else {

         reinterpret_cast<Second*>(data)->~Second();

       }

     }

     char data[_variant_bits::CTMax<sizeof(First), sizeof(Second)>::value];

     bool flag;

   };

   namespace _variant_bits {

     template <int _idx, typename _TypeMap>

     struct Memory {

       typedef typename _TypeMap::template Map<_idx>::Type Current;

       static void destroy(int index, char* place) {

         if (index == _idx) {

           reinterpret_cast<Current*>(place)->~Current();

         } else {

           Memory<_idx - 1, _TypeMap>::destroy(index, place);

         }

       }

       static void copy(int index, char* to, const char* from) {

         if (index == _idx) {

           new (reinterpret_cast<Current*>(to))

             Current(reinterpret_cast<const Current*>(from));

         } else {

           Memory<_idx - 1, _TypeMap>::copy(index, to, from);

         }

       }

     };

     template <typename _TypeMap>

     struct Memory<-1, _TypeMap> {

       static void destroy(int, char*) {

         LEMON_DEBUG(false, "Variant wrong index.");

       }

       static void copy(int, char*, const char*) {

         LEMON_DEBUG(false, "Variant wrong index.");

       }

     };

     template <int _idx, typename _TypeMap>

     struct Size {

       static const int value =

       CTMax<sizeof(typename _TypeMap::template Map<_idx>::Type),

             Size<_idx - 1, _TypeMap>::value>::value;

     };

     template <typename _TypeMap>

     struct Size<0, _TypeMap> {

       static const int value =

       sizeof(typename _TypeMap::template Map<0>::Type);

     };

   }

   /// \brief Variant type

   ///

   /// Simple Variant type. The Variant type is a type safe union. The

   /// C++ has strong limitations for using unions, for example we

   /// cannot store type with non default constructor or destructor in

   /// a union. This class always knowns the current state of the

   /// variant and it cares for the proper construction and

   /// destruction.

   ///

   /// \param _num The number of the types which can be stored in the

   /// variant type.

   /// \param _TypeMap This class describes the types of the Variant. The

   /// _TypeMap::Map<index>::Type should be a valid type for each index

   /// in the range {0, 1, ..., _num - 1}. The \c VariantTypeMap is helper

   /// class to define such type mappings up to 10 types.

   ///

   /// And the usage of the class:

   ///\code

   /// typedef Variant<3, VariantTypeMap<int, std::string, double> > MyVariant;

   /// MyVariant var;

   /// var.set<0>(12);

   /// std::cout << var.get<0>() << std::endl;

   /// var.set<1>("alpha");

   /// std::cout << var.get<1>() << std::endl;

   /// var.set<2>(0.75);

   /// std::cout << var.get<2>() << std::endl;

   ///\endcode

   ///

   /// The result of course:

   ///\code

   /// 12

   /// alpha

   /// 0.75

   ///\endcode

   template <int _num, typename _TypeMap>

   class Variant {

   public:

     static const int num = _num;

     typedef _TypeMap TypeMap;

     /// \brief Constructor

     ///

     /// This constructor initalizes to the default value of the \c type

     /// with 0 index.

     Variant() {

       flag = 0;

       new(reinterpret_cast<typename TypeMap::template Map<0>::Type*>(data))

         typename TypeMap::template Map<0>::Type();

     }

     /// \brief Copy constructor

     ///

     /// Copy constructor

     Variant(const Variant& variant) {

       flag = variant.flag;

       _variant_bits::Memory<num - 1, TypeMap>::copy(flag, data, variant.data);

     }

     /// \brief Assign operator

     ///

     /// Assign operator

     Variant& operator=(const Variant& variant) {

       if (this == &variant) return *this;

       _variant_bits::Memory<num - 1, TypeMap>::

         destroy(flag, data);

       flag = variant.flag;

       _variant_bits::Memory<num - 1, TypeMap>::

         copy(flag, data, variant.data);

       return *this;

     }

     /// \brief Destrcutor

     ///

     /// Destructor

     ~Variant() {

       _variant_bits::Memory<num - 1, TypeMap>::destroy(flag, data);

     }

     /// \brief Set to the default value of the type with \c _idx index.

     ///

     /// This function sets the variant to the default value of the

     /// type with \c _idx index.

     template <int _idx>

     Variant& set() {

       _variant_bits::Memory<num - 1, TypeMap>::destroy(flag, data);

       flag = _idx;

       new(reinterpret_cast<typename TypeMap::template Map<_idx>::Type*>(data))

         typename TypeMap::template Map<_idx>::Type();

       return *this;

     }

     /// \brief Set to the given value of the type with \c _idx index.

     ///

     /// This function sets the variant to the given value of the type

     /// with \c _idx index.

     template <int _idx>

     Variant& set(const typename _TypeMap::template Map<_idx>::Type& init) {

       _variant_bits::Memory<num - 1, TypeMap>::destroy(flag, data);

       flag = _idx;

       new(reinterpret_cast<typename TypeMap::template Map<_idx>::Type*>(data))

         typename TypeMap::template Map<_idx>::Type(init);

       return *this;

     }

     /// \brief Gets the current value of the type with \c _idx index.

     ///

     /// Gets the current value of the type with \c _idx index.

     template <int _idx>

     const typename TypeMap::template Map<_idx>::Type& get() const {

       LEMON_DEBUG(_idx == flag, "Variant wrong index");

       return *reinterpret_cast<const typename TypeMap::

         template Map<_idx>::Type*>(data);

     }

     /// \brief Gets the current value of the type with \c _idx index.

     ///

     /// Gets the current value of the type with \c _idx index.

     template <int _idx>

     typename _TypeMap::template Map<_idx>::Type& get() {

       LEMON_DEBUG(_idx == flag, "Variant wrong index");

       return *reinterpret_cast<typename TypeMap::template Map<_idx>::Type*>

         (data);

     }

     /// \brief Returns the current state of the variant.

     ///

     /// Returns the current state of the variant.

     int state() const {

       return flag;

     }

   private:

     char data[_variant_bits::Size<num - 1, TypeMap>::value];

     int flag;

   };

   namespace _variant_bits {

     template <int _index, typename _List>

     struct Get {

       typedef typename Get<_index - 1, typename _List::Next>::Type Type;

     };

     template <typename _List>

     struct Get<0, _List> {

       typedef typename _List::Type Type;

     };

     struct List {};

     template <typename _Type, typename _List>

     struct Insert {

       typedef _List Next;

       typedef _Type Type;

     };

     template <int _idx, typename _T0, typename _T1, typename _T2,

               typename _T3, typename _T4, typename _T5, typename _T6,

               typename _T7, typename _T8, typename _T9>

     struct Mapper {

       typedef List L10;

       typedef Insert<_T9, L10> L9;

       typedef Insert<_T8, L9> L8;

       typedef Insert<_T7, L8> L7;

       typedef Insert<_T6, L7> L6;

       typedef Insert<_T5, L6> L5;

       typedef Insert<_T4, L5> L4;

       typedef Insert<_T3, L4> L3;

       typedef Insert<_T2, L3> L2;

       typedef Insert<_T1, L2> L1;

       typedef Insert<_T0, L1> L0;

       typedef typename Get<_idx, L0>::Type Type;

     };

   }

   /// \brief Helper class for Variant

   ///

   /// Helper class to define type mappings for Variant. This class

   /// converts the template parameters to be mappable by integer.

   /// \see Variant

   template <

     typename _T0,

     typename _T1 = void, typename _T2 = void, typename _T3 = void,

     typename _T4 = void, typename _T5 = void, typename _T6 = void,

     typename _T7 = void, typename _T8 = void, typename _T9 = void>

   struct VariantTypeMap {

     template <int _idx>

     struct Map {

       typedef typename _variant_bits::

       Mapper<_idx, _T0, _T1, _T2, _T3, _T4, _T5, _T6, _T7, _T8, _T9>::Type

       Type;

     };

   };

 }

 #endif