]> git.tdb.fi Git - libs/core.git/blob - source/core/variant.h
Merge branch 'fs-master'
[libs/core.git] / source / core / variant.h
1 #ifndef MSP_CORE_VARIANT_H_
2 #define MSP_CORE_VARIANT_H_
3
4 #include <stdexcept>
5 #include <typeinfo>
6 #include "meta.h"
7
8 namespace Msp {
9
10 class type_mismatch: public std::runtime_error
11 {
12 public:
13         type_mismatch(const std::type_info &, const std::type_info &);
14         ~type_mismatch() throw() { }
15 };
16
17
18 class Variant
19 {
20 private:
21         struct StoreBase
22         {
23                 virtual ~StoreBase() { }
24
25                 virtual const std::type_info &type_id() const = 0;
26                 virtual StoreBase *clone() const = 0;
27         };
28
29         template<typename T>
30         struct Store: public StoreBase
31         {
32                 T data;
33
34                 Store(T d): data(d) { }
35
36                 virtual const std::type_info &type_id() const { return typeid(T); }
37                 virtual StoreBase *clone() const { return new Store<T>(data); }
38         };
39
40         StoreBase *store;
41
42 public:
43         Variant(): store(0) { }
44         template<typename T>
45         Variant(const T &v): store(new Store<typename RemoveConst<T>::Type>(v)) { }
46         Variant(const Variant &v): store(v.store ? v.store->clone() : 0) { }
47         ~Variant() { delete store; }
48
49         template<typename T>
50         Variant &operator=(const T &v)
51         {
52                 delete store;
53                 store = new Store<typename RemoveConst<T>::Type>(v);
54                 return *this;
55         }
56
57         Variant &operator=(const Variant &v)
58         {
59                 delete store;
60                 store = (v.store ? v.store->clone() : 0);
61                 return *this;
62         }
63
64         template<typename T>
65         T &value() const
66         {
67                 typedef typename RemoveConst<T>::Type NCT;
68                 Store<NCT> *s = dynamic_cast<Store<NCT> *>(store);
69                 if(!s)
70                         throw type_mismatch(typeid(T), (store ? store->type_id() : typeid(void)));
71                 return s->data;
72         }
73
74         template<typename T>
75         bool check_type() const
76         {
77                 return dynamic_cast<Store<typename RemoveConst<T>::Type> *>(store)!=0;
78         }
79
80         template<typename T>
81         operator T() const
82         { return value<T>(); }
83 };
84
85 } // namespace Msp
86
87 #endif