001:
002:
003:
004:
005:
006:
007:
008:
009:
010:
011:
012:
013:
014:
015:
016:
017:
018:
019:
020:
021:
022:
023:
024:
025:
026:
027:
028:
029:
030:
031:
032:
033:
034:
035:
036:
037:
038:
039:
040:
041:
042:
043:
044:
045:
046:
047:
048:
049:
050:
051:
052:
053:
054:
055:
056:
057:
058:
059:
060:
061:
062:
063:
064:
065:
066:
067:
068:
069:
070:
071:
072:
073:
074:
075:
076:
077:
078:
079:
080:
081:
082:
083:
084:
085:
086:
087:
088:
089:
090:
091:
092:
093:
094:
095:
096:
097:
098:
099:
100:
101:
102:
103:
104:
105:
106:
107:
108:
109:
110:
111:
112:
113:
114:
115:
116:
117:
118:
119:
120:
121:
122:
123:
124:
125:
126:
127:
128:
129:
130:
131:
132:
133:
134:
135:
136:
137:
138:
139:
140:
141:
142:
143:
144:
145:
146:
147:
148:
149:
150:
151:
152:
153:
154:
155:
156:
157:
158:
159:
160:
161:
162:
163:
164:
165:
166:
167:
168:
169:
170:
171:
172:
173:
174:
175:
176:
177:
178:
179:
180:
181:
182:
183:
184:
185:
186:
187:
188:
189:
190:
191:
192:
193:
194:
195:
196:
197:
198:
199:
200:
201:
202:
203:
204:
205:
206:
207:
208:
209:
210:
211:
212:
213:
214:
/*
* This file is part of the Omni C++ framework
*
* Copyright (c) 2016, Zeriph Enterprises, LLC
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
*
* - Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* - Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
* - Neither the name of Zeriph, Zeriph Enterprises, LLC, nor the names
* of its contributors may be used to endorse or promote products
* derived from this software without specific prior written permission.
*
* THIS SOFTWARE IS PROVIDED BY ZERIPH AND CONTRIBUTORS "AS IS" AND ANY
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
* WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
* DISCLAIMED. IN NO EVENT SHALL ZERIPH AND CONTRIBUTORS BE LIABLE FOR ANY
* DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
* (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
* LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
* ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
* SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
#if !defined(OMNI_TYPE_HPP)
#define OMNI_TYPE_HPP 1
#include <cstddef>
#define omni_typeid(T) omni::type_id<T>()
namespace omni {
template < typename T >
const std::size_t type_id()
{
static char tid;
return reinterpret_cast<std::size_t>(&tid);
}
template < typename T >
inline const std::size_t type_id(const T& t)
{
return omni::type_id<T>();
}
template < typename T >
inline const std::size_t type_id(const T *const t)
{
return omni::type_id<T>();
}
template < typename T, typename C >
inline bool type_of()
{
return omni::type_id<T>() == omni::type_id<C>();
}
template < typename T, typename C >
inline bool type_of(const C& c)
{
return omni::type_of<T, C>();
}
template < typename T, typename C >
inline bool type_of(const C *const c)
{
return omni::type_of<T, C>();
}
template < typename T, typename C >
inline bool type_of(const T& t, const C& c)
{
return omni::type_of<T, C>();
}
template < typename T, typename C >
inline bool type_of(const T *const t, const C *const c)
{
return omni::type_of<T, C>();
}
// type represents an immutable basic id type
template < typename T >
class type
{
public:
type() : m_id(omni::type_id<T>()) {}
type(const omni::type<T>& cp) : m_id(cp.m_id) {} // same types
~type() {}
template < typename C >
inline bool after(const omni::type<C>& o) const
{
return this->m_id > o.m_id;
}
inline bool after(const omni::type<T>& o) const
{
return this->m_id > o.m_id;
}
inline bool after(std::size_t id) const
{
return this->m_id > id;
}
template < typename C >
inline bool before(const omni::type<C>& o) const
{
return this->m_id < o.m_id;
}
inline bool before(const omni::type<T>& o) const
{
return this->m_id < o.m_id;
}
inline bool before(std::size_t id) const
{
return this->m_id < id;
}
inline std::size_t hash() const
{
return this->m_id;
}
omni::type<T>& operator=(const omni::type<T>& other)
{
/* no need to set this->m_id = other.m_id;
these are the same types and thus have the same ID.
so just return this */
return *this;
}
template < typename C >
bool operator<(const omni::type<C>& o) const
{
return this->m_id < o.m_id;
}
bool operator<(const omni::type<T>& o) const
{
return this->m_id < o.m_id;
}
bool operator<(std::size_t id) const
{
return this->m_id < id;
}
template < typename C >
bool operator>(const omni::type<C>& o) const
{
return this->m_id > o.m_id;
}
bool operator>(const omni::type<T>& o) const
{
return this->m_id > o.m_id;
}
bool operator>(std::size_t id) const
{
return this->m_id > id;
}
template < typename C >
bool operator==(const omni::type<C>& o) const
{
return this->m_id == o.m_id;
}
bool operator==(const omni::type<T>& o) const
{
return this->m_id == o.m_id;
}
bool operator==(std::size_t id) const
{
return this->m_id == id;
}
template < typename C >
bool operator!=(const omni::type<C>& o) const
{
return !(this->m_id == o.m_id);
}
bool operator!=(const omni::type<T>& o) const
{
return !(this->m_id == o.m_id);
}
bool operator!=(std::size_t id) const
{
return !(this->m_id == id);
}
private:
template < typename C >
type(const omni::type<C>& cp); // = delete
template < typename C >
omni::type<T>& operator=(const omni::type<C>& other); // = delete
std::size_t m_id;
};
}
#endif // OMNI_TYPE_HPP