X-Git-Url: http://git.tdb.fi/?p=libs%2Fcore.git;a=blobdiff_plain;f=source%2Fcore%2Fmeta.h;h=8015f42370837e2ba6633acb0ee9b50a87ca9273;hp=0034512b6ec2bea573ffbcc34115fc8562a5cac8;hb=292aed8e23ea543b089d5f2a73000de4640befe7;hpb=c7afef88380ebebc8c2b04e48664d73281ec8848

diff --git a/source/core/meta.h b/source/core/meta.h
index 0034512..8015f42 100644
--- a/source/core/meta.h
+++ b/source/core/meta.h
@@ -1,6 +1,8 @@
 #ifndef MSP_CORE_META_H_
 #define MSP_CORE_META_H_
 
+#include <cstddef>
+
 namespace Msp {
 
 template<typename T>
@@ -11,6 +13,7 @@ template<typename T>
 struct RemoveConst<const T>
 { typedef T Type; };
 
+
 template<typename T>
 struct RemoveReference
 { typedef T Type; };
@@ -19,6 +22,42 @@ template<typename T>
 struct RemoveReference<T &>
 { typedef T Type; };
 
+
+template<typename T>
+struct RemoveConstReference
+{ typedef typename RemoveConst<typename RemoveReference<T>::Type>::Type Type; };
+
+
+template<bool c, typename R>
+struct EnableIf;
+
+template<typename R>
+struct EnableIf<true, R>
+{ typedef R Yes; };
+
+template<typename R>
+struct EnableIf<false, R>
+{ typedef R No; };
+
+
+/**
+Common fragments used in SFINAE-based decider constructs.
+*/
+struct Sfinae
+{
+	struct Yes { char c[2]; };
+	struct No { char c; };
+
+	template<typename T>
+	static No f(...);
+
+	template<typename C, typename T>
+	struct Evaluate
+	{
+		enum { value = (sizeof(C::template f<T>(0))==sizeof(Yes)) };
+	};
+};
+
 } // namespace Msp
 
 #endif