1 |
root |
1.1 |
/* |
2 |
|
|
* utilities... |
3 |
|
|
*/ |
4 |
|
|
|
5 |
|
|
#ifndef UTIL_H |
6 |
|
|
#define UTIL_H |
7 |
|
|
|
8 |
|
|
#include <cmath> |
9 |
|
|
#include <string> |
10 |
|
|
#include <sstream> |
11 |
|
|
#include <iostream> |
12 |
|
|
#include <vector> |
13 |
|
|
#include <exception> |
14 |
|
|
|
15 |
|
|
using namespace std; |
16 |
|
|
|
17 |
|
|
/* these defines belongs into config.h */ |
18 |
|
|
#define abstract = 0 |
19 |
|
|
|
20 |
|
|
#define t_no throw () |
21 |
|
|
#define t_err throw (error) |
22 |
|
|
|
23 |
|
|
inline bool equal (double a, double b) |
24 |
|
|
{ |
25 |
|
|
return abs (a - b) <= a * 1e-6; |
26 |
|
|
} |
27 |
|
|
|
28 |
|
|
template<typename T> |
29 |
|
|
class shared; |
30 |
|
|
|
31 |
|
|
template<typename T> |
32 |
|
|
bool operator <(const shared<T> &a, const shared<T> &b) t_no; |
33 |
|
|
|
34 |
|
|
template<typename T> |
35 |
|
|
class shared { |
36 |
|
|
struct storage : T { |
37 |
|
|
int shared; |
38 |
|
|
|
39 |
|
|
storage () t_no : shared(0) {}; |
40 |
|
|
storage (const storage &s) t_no : T(s), shared(0) {}; |
41 |
|
|
}; |
42 |
|
|
|
43 |
|
|
protected: |
44 |
|
|
mutable storage *obj; |
45 |
|
|
|
46 |
|
|
void unshare() const t_no |
47 |
|
|
{ if (obj->shared) { obj->shared--; obj = new storage(*obj); } }; |
48 |
|
|
|
49 |
|
|
public: |
50 |
|
|
typedef typename T::value_type data_type; |
51 |
|
|
typedef typename T::const_iterator const_iterator; |
52 |
|
|
typedef typename T::iterator iterator; |
53 |
|
|
typedef typename T::const_reference const_reference; |
54 |
|
|
typedef typename T::reference reference; |
55 |
|
|
typedef typename T::size_type size_type; |
56 |
|
|
|
57 |
|
|
shared() t_no |
58 |
|
|
{ obj = new storage; }; |
59 |
|
|
|
60 |
|
|
shared(const shared<T> &v) t_no |
61 |
|
|
{ obj = v.obj; obj->shared++; }; |
62 |
|
|
|
63 |
|
|
shared<T> &operator =(const shared<T> &v) t_no |
64 |
|
|
{ |
65 |
|
|
v.obj->shared++; |
66 |
|
|
if (obj->shared) |
67 |
|
|
obj->shared--; |
68 |
|
|
else |
69 |
|
|
delete obj; |
70 |
|
|
|
71 |
|
|
obj = v.obj; |
72 |
|
|
return *this; |
73 |
|
|
}; |
74 |
|
|
|
75 |
|
|
~shared() t_no |
76 |
|
|
{ if (obj->shared) obj->shared--; else delete obj; }; |
77 |
|
|
|
78 |
|
|
void erase () t_no |
79 |
|
|
{ |
80 |
|
|
if (obj->shared) |
81 |
|
|
{ |
82 |
|
|
obj->shared--; |
83 |
|
|
obj = new storage; |
84 |
|
|
} |
85 |
|
|
else |
86 |
|
|
obj->erase (obj->begin(), obj->end ()); |
87 |
|
|
}; |
88 |
|
|
|
89 |
|
|
const_iterator begin () const t_no { return obj->begin (); }; |
90 |
|
|
const_iterator end () const t_no { return obj->end (); }; |
91 |
|
|
iterator begin () t_no { unshare (); return obj->begin (); }; |
92 |
|
|
iterator end () t_no { unshare (); return obj->end (); }; |
93 |
|
|
size_type size () const t_no { return obj->size (); }; |
94 |
|
|
bool empty () const t_no { return obj->empty (); }; |
95 |
|
|
|
96 |
|
|
const T& operator ->() const t_no { return *obj; }; |
97 |
|
|
T& operator ->() t_no { unshare (); return *obj; }; |
98 |
|
|
const T& operator * () const t_no { return *obj; }; |
99 |
|
|
T& operator * () t_no { unshare (); return *obj; }; |
100 |
|
|
operator const T& () const t_no { return *obj; }; |
101 |
|
|
operator T& () t_no { unshare (); return *obj; }; |
102 |
|
|
|
103 |
|
|
void insert (iterator a, iterator b, iterator c) t_no |
104 |
|
|
{ unshare (); obj->insert (a, b, c); }; |
105 |
|
|
|
106 |
|
|
friend bool operator < <>(const shared<T> &a, const shared<T> &b) t_no; |
107 |
|
|
}; |
108 |
|
|
|
109 |
|
|
template<typename T> |
110 |
|
|
bool operator <(const shared<T> &a, const shared<T> &b) t_no |
111 |
|
|
{ |
112 |
|
|
if (a.obj == b.obj) |
113 |
|
|
return false; |
114 |
|
|
else if (a.size () < b.size ()) |
115 |
|
|
return true; |
116 |
|
|
else if (a.size () == b.size ()) |
117 |
|
|
{ |
118 |
|
|
typename shared<T>::const_iterator i, j; |
119 |
|
|
|
120 |
|
|
for (i = a.begin (), j = b.begin (); i != a.end (); ++i, ++j) |
121 |
|
|
if (*i < *j) |
122 |
|
|
return true; |
123 |
|
|
} |
124 |
|
|
|
125 |
|
|
return false; |
126 |
|
|
} |
127 |
|
|
|
128 |
|
|
template<typename T> |
129 |
|
|
struct shared_vector : public shared< vector<T> > { |
130 |
|
|
T &operator [](int idx) t_no |
131 |
|
|
{ shared< vector<T> >::unshare (); return shared< vector<T> >::obj->begin()+idx; }; |
132 |
|
|
|
133 |
|
|
void push_back (typename shared_vector<T>::const_reference arg) t_no |
134 |
|
|
{ shared< vector<T> >::unshare (); shared< vector<T> >::obj->push_back (arg); }; |
135 |
|
|
|
136 |
|
|
}; |
137 |
|
|
|
138 |
|
|
struct error : exception { |
139 |
|
|
string msg; |
140 |
|
|
|
141 |
|
|
const char *what () const t_no |
142 |
|
|
{ return msg.c_str (); }; |
143 |
|
|
|
144 |
|
|
error (const string &s) t_no : msg(s) {}; |
145 |
|
|
error (const string &s, int line) t_no; |
146 |
|
|
error (const string &s, const class module &m) t_no; |
147 |
|
|
|
148 |
|
|
~error () t_no |
149 |
|
|
{ }; |
150 |
|
|
|
151 |
|
|
template<typename T> |
152 |
|
|
error &operator <<(const T &s) const t_no |
153 |
|
|
{ msg.append (s); return *this; }; |
154 |
|
|
}; |
155 |
|
|
|
156 |
|
|
inline ostream &operator <<(ostream &o, const error &e) t_no |
157 |
|
|
{ return o << e.what () << endl; } |
158 |
|
|
|
159 |
|
|
#endif |
160 |
|
|
|