You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
73 lines
1.9 KiB
73 lines
1.9 KiB
3 years ago
|
#ifndef _TYPES_H
|
||
|
|
#define _TYPES_H
|
||
|
|
#include <typeinfo>
|
||
|
|
#include <functional>
|
||
|
|
#include <cstdint>
|
||
|
|
#include <type_traits>
|
||
|
|
#include "table.h"
|
||
|
|
|
||
|
|
namespace types {
|
||
|
|
enum Type_t {
|
||
|
|
AINT, AFLOAT, ASTR, ADOUBLE, ALDOUBLE, ALONG, ASHORT, ADATE, ATIME, ACHAR, NONE,
|
||
|
|
AUINT, AULONG, AUSHORT, AUCHAR
|
||
|
|
};
|
||
|
|
|
||
|
|
// TODO: deal with data/time <=> str/uint conversion
|
||
|
|
struct date_t {
|
||
|
|
uint32_t val;
|
||
|
|
date_t(const char* d) {
|
||
|
|
|
||
|
|
}
|
||
|
|
const char* toString() const{
|
||
|
|
return "";
|
||
|
|
}
|
||
|
|
};
|
||
|
|
struct time_t {
|
||
|
|
uint32_t val;
|
||
|
|
time_t(const char* d) {
|
||
|
|
|
||
|
|
}
|
||
|
|
const char* toString() const {
|
||
|
|
return "";
|
||
|
|
}
|
||
|
|
};
|
||
|
|
template <typename T>
|
||
|
|
struct Types {
|
||
|
|
typedef T type;
|
||
|
|
constexpr Types() noexcept = default;
|
||
|
|
#define ConnectTypes(f, x, y) \
|
||
|
|
f(int, AINT) \
|
||
|
|
f(float, AFLOAT) \
|
||
|
|
f(const char*, ASTR) \
|
||
|
|
f(double, ADOUBLE) \
|
||
|
|
f(long double, ALDOUBLE) \
|
||
|
|
f(long, ALONG) \
|
||
|
|
f(short, ASHORT) \
|
||
|
|
f(date_t, ADATE) \
|
||
|
|
f(time_t, ATIME) \
|
||
|
|
f(unsigned short, AUSHORT) \
|
||
|
|
f(unsigned long, AULONG) \
|
||
|
|
f(unsigned int, AUINT) \
|
||
|
|
f(unsigned char, ACHAR) \
|
||
|
|
f(void, NONE)
|
||
|
|
|
||
|
|
constexpr Type_t getType() const {
|
||
|
|
#define TypeConnect(x, y) if(typeid(T) == typeid(x)) return y; else
|
||
|
|
ConnectTypes(TypeConnect, x, y)
|
||
|
|
return NONE;
|
||
|
|
}
|
||
|
|
};
|
||
|
|
#define Cond(c, x, y) typename std::conditional<c, x, y>::type
|
||
|
|
#define Comp(o) (sizeof(T1) o sizeof(T2))
|
||
|
|
#define Same(x, y) (std::is_same_v<x, y>)
|
||
|
|
#define _U(x) std::is_unsigned<x>::value
|
||
|
|
#define Fp(x) std::is_floating_point<x>::value
|
||
|
|
template <class T1, class T2>
|
||
|
|
struct Coercion {
|
||
|
|
using t1 = Cond(Comp(<=), Cond(Comp(==), Cond(Fp(T1), T1, Cond(Fp(T2), T2, Cond(_U(T1), T2, T1))), T2), T1);
|
||
|
|
using t2 = Cond(Same(T1, T2), T1, Cond(Same(T1, const char*) || Same(T2, const char*), const char*, void));
|
||
|
|
using type = Cond(Same(t2, void), Cond(Same(T1, date_t) && Same(T2, time_t) || Same(T1, time_t) && Same(T2, time_t), void, t1), t2);
|
||
|
|
};
|
||
|
|
}
|
||
|
|
#endif // !_TYPES_H
|