X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=source%2Ftype.h;h=0e371e632a9bb4b66aee10520e5aab300726675e;hb=a2cce9e933089f483163456e9872e005c33dd678;hp=701a5dc9786533f930e6c49778988f6816f83189;hpb=10c7c4157f02e3abbb7a0505bfc2985b67e04043;p=libs%2Fdatafile.git

diff --git a/source/type.h b/source/type.h
index 701a5dc..0e371e6 100644
--- a/source/type.h
+++ b/source/type.h
@@ -1,7 +1,8 @@
 #ifndef MSP_DATAFILE_TYPE_H_
 #define MSP_DATAFILE_TYPE_H_
 
-#include <msp/core/inttypes.h>
+#include <cstdint>
+#include <msp/core/meta.h>
 #include <msp/strings/lexicalcast.h>
 
 namespace Msp {
@@ -11,8 +12,10 @@ struct Symbol
 {
 	std::string name;
 
+	Symbol() = default;
+
 	template<typename T>
-	Symbol(const T &n): name(lexical_cast(n)) { }
+	Symbol(const T &n): name(lexical_cast<std::string>(n)) { }
 
 	template<typename T> operator T() const { return lexical_cast<T>(name); }
 };
@@ -20,7 +23,7 @@ struct Symbol
 struct IntType
 {
 	static const char signature = 'i';
-	typedef Int64 Store;
+	typedef std::int64_t Store;
 	typedef Store Load;
 };
 
@@ -52,20 +55,26 @@ struct SymbolType
 	typedef Symbol Store;
 };
 
-template<typename T>
-struct HasLoadType
+const char valid_signatures[] =
 {
-	struct Yes { char c[2]; };
-	struct No { char c; };
-
-	template<typename U>
-	static Yes f(typename U::LoadType *);
-	template<typename U>
-	static No f(...);
+	IntType::signature,
+	FloatType::signature,
+	BoolType::signature,
+	StringType::signature,
+	SymbolType::signature,
+	0
+};
 
-	enum { value = (sizeof(f<T>(0))==sizeof(Yes)) };
+struct CheckLoadType: Sfinae
+{
+	template<typename T>
+	static Yes f(typename T::LoadType *);
+	using Sfinae::f;
 };
 
+template<typename T>
+struct HasLoadType: Sfinae::Evaluate<CheckLoadType, T> { };
+
 template<typename T, bool lt = HasLoadType<T>::value>
 struct TypeInfo;
 
@@ -87,19 +96,11 @@ struct TypeInfo<long int, false>: IntType { };
 template<>
 struct TypeInfo<unsigned long int, false>: IntType { };
 
-#if defined(_MSC_VER)
-template<>
-struct TypeInfo<__int64, false>: IntType { };
-
-template<>
-struct TypeInfo<unsigned __int64, false>: IntType { };
-#elif defined(__GNUC__)
 template<>
 struct TypeInfo<long long int, false>: IntType { };
 
 template<>
 struct TypeInfo<unsigned long long int, false>: IntType { };
-#endif
 
 template<>
 struct TypeInfo<float, false>: FloatType { };
@@ -113,6 +114,12 @@ struct TypeInfo<bool, false>: BoolType { };
 template<>
 struct TypeInfo<std::string, false>: StringType { };
 
+template<>
+struct TypeInfo<char *, false>: StringType { };
+
+template<>
+struct TypeInfo<const char *, false>: StringType { };
+
 template<typename T>
 struct TypeInfo<const T, false>: TypeInfo<T> { };