X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=source%2Ftype.h;h=fdd040d81adccd82b53b9e9509b48b4348b70ed8;hb=b3b3fc2caf409f8c8ba523bbb3519af13b17e66e;hp=242a9e11d1bed7c30cf8bbc978ff1b001133d74b;hpb=e5d760ccfaaa01884be2424b62e47a24466e0c4b;p=libs%2Fdatafile.git

diff --git a/source/type.h b/source/type.h
index 242a9e1..fdd040d 100644
--- a/source/type.h
+++ b/source/type.h
@@ -1,13 +1,8 @@
-/* $Id$
-
-This file is part of libmspdatafile
-Copyright © 2010  Mikko Rasa, Mikkosoft Productions
-Distributed under the LGPL
-*/
-
 #ifndef MSP_DATAFILE_TYPE_H_
 #define MSP_DATAFILE_TYPE_H_
 
+#include <msp/core/inttypes.h>
+#include <msp/core/meta.h>
 #include <msp/strings/lexicalcast.h>
 
 namespace Msp {
@@ -17,8 +12,10 @@ struct Symbol
 {
 	std::string name;
 
+	Symbol() { }
+
 	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); }
 };
@@ -26,25 +23,29 @@ struct Symbol
 struct IntType
 {
 	static const char signature = 'i';
-	typedef long long int Store;
+	typedef Int64 Store;
+	typedef Store Load;
 };
 
 struct FloatType
 {
 	static const char signature = 'f';
 	typedef double Store;
+	typedef Store Load;
 };
 
 struct BoolType
 {
 	static const char signature = 'b';
 	typedef bool Store;
+	typedef Store Load;
 };
 
 struct StringType
 {
 	static const char signature = 's';
 	typedef std::string Store;
+	typedef Store Load;
 };
 
 struct SymbolType
@@ -54,50 +55,92 @@ struct SymbolType
 	typedef Symbol Store;
 };
 
+const char valid_signatures[] =
+{
+	IntType::signature,
+	FloatType::signature,
+	BoolType::signature,
+	StringType::signature,
+	SymbolType::signature,
+	0
+};
+
+struct CheckLoadType: Sfinae
+{
+	template<typename T>
+	static Yes f(typename T::LoadType *);
+	using Sfinae::f;
+};
+
 template<typename T>
-struct TypeInfo: SymbolType { };
+struct HasLoadType: Sfinae::Evaluate<CheckLoadType, T> { };
+
+template<typename T, bool lt = HasLoadType<T>::value>
+struct TypeInfo;
 
 template<>
-struct TypeInfo<short int>: IntType { };
+struct TypeInfo<short int, false>: IntType { };
 
 template<>
-struct TypeInfo<unsigned short int>: IntType { };
+struct TypeInfo<unsigned short int, false>: IntType { };
 
 template<>
-struct TypeInfo<int>: IntType { };
+struct TypeInfo<int, false>: IntType { };
 
 template<>
-struct TypeInfo<unsigned int>: IntType { };
+struct TypeInfo<unsigned int, false>: IntType { };
 
 template<>
-struct TypeInfo<long int>: IntType { };
+struct TypeInfo<long int, false>: IntType { };
 
 template<>
-struct TypeInfo<unsigned long int>: IntType { };
+struct TypeInfo<unsigned long int, false>: IntType { };
 
+#if defined(_MSC_VER)
 template<>
-struct TypeInfo<long long int>: IntType { };
+struct TypeInfo<__int64, false>: IntType { };
 
 template<>
-struct TypeInfo<unsigned long long int>: IntType { };
+struct TypeInfo<unsigned __int64, false>: IntType { };
+#elif defined(__GNUC__)
+template<>
+struct TypeInfo<long long int, false>: IntType { };
 
 template<>
-struct TypeInfo<float>: FloatType { };
+struct TypeInfo<unsigned long long int, false>: IntType { };
+#endif
+
+template<>
+struct TypeInfo<float, false>: FloatType { };
 
 template<>
-struct TypeInfo<double>: FloatType { };
+struct TypeInfo<double, false>: FloatType { };
 
 template<>
-struct TypeInfo<bool>: BoolType { };
+struct TypeInfo<bool, false>: BoolType { };
 
 template<>
-struct TypeInfo<std::string>: StringType { };
+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> { };
+
+template<typename T>
+struct TypeInfo<T &, false>: TypeInfo<T> { };
 
 template<typename T>
-struct TypeInfo<const T>: TypeInfo<T> { };
+struct TypeInfo<T, true>: TypeInfo<typename T::LoadType>
+{ typedef typename T::LoadType Load; };
 
 template<typename T>
-struct TypeInfo<T &>: TypeInfo<T> { };
+struct TypeInfo<T, false>: SymbolType
+{ typedef T Load; };
 
 } // namespace DataFile
 } // namespace Msp