X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=source%2Ftype.h;h=fdd040d81adccd82b53b9e9509b48b4348b70ed8;hb=82d55799ee319bf2db357f2d5aded01ad0e2076f;hp=85cfec40f2afc9aa79f38d646baf64dea473cd0a;hpb=bdd957e58dc6fdaa3cac1202daf0d16d41491278;p=libs%2Fdatafile.git

diff --git a/source/type.h b/source/type.h
index 85cfec4..fdd040d 100644
--- a/source/type.h
+++ b/source/type.h
@@ -2,6 +2,7 @@
 #define MSP_DATAFILE_TYPE_H_
 
 #include <msp/core/inttypes.h>
+#include <msp/core/meta.h>
 #include <msp/strings/lexicalcast.h>
 
 namespace Msp {
@@ -11,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); }
 };
@@ -62,20 +65,16 @@ const char valid_signatures[] =
 	0
 };
 
-template<typename T>
-struct HasLoadType
+struct CheckLoadType: Sfinae
 {
-	struct Yes { char c[2]; };
-	struct No { char c; };
-
-	template<typename U>
-	static Yes f(typename U::LoadType *);
-	template<typename U>
-	static No f(...);
-
-	enum { value = (sizeof(f<T>(0))==sizeof(Yes)) };
+	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;