Commit: 3c4fb39a483a150f8a1b203db8fd5e112d8ef323 - FlyingHttpServer (git)

C++ベースのLightweightなHTTPサーバー

Commit MetaInfo

• Revision: 3c4fb39a483a150f8a1b203db8fd5e112d8ef323 (tree)
• Time: 2013-03-17 13:48:50
• Author: Michio Hirai <smg_ykz@user...>
• Commiter: Michio Hirai

Log Message

[Refactor] Addition of mt:Select metafunction
[Refactor] Further refinement of mt::Append metafunction

Change Summary

• modified: inc/mt_mpl.h
• modified: inc/mt_sfinae.h
• modified: inc/mt_typelist.h

Incremental Difference

--- a/inc/mt_mpl.h
+++ b/inc/mt_mpl.h
@@ -26,6 +26,18 @@ struct StaticValue
     static const T value = val;
 };
 
+template <bool cond, typename Then, typename Else>
+struct Select
+{
+    typedef Else Result;
+};
+
+template <typename Then, typename Else>
+struct Select<true, Then, Else>
+{
+    typedef Then Result;
+};
+
 } // namespace mt
 
 #endif // INC_MT_MPL_H_

--- a/inc/mt_sfinae.h
+++ b/inc/mt_sfinae.h
@@ -17,6 +17,12 @@ struct YesTypeWith1TemplateParam
     YesType dummy;
 };
 
+template <typename T, typename ARG1, typename ARG2>
+struct YesTypeWith2TemplateParam
+{
+    YesType dummy;
+};
+
 template <typename T, typename R, R (T::*)()>
 struct YesTypeWithNonConstMemberMethodNoArg
 {

--- a/inc/mt_typelist.h
+++ b/inc/mt_typelist.h
@@ -39,15 +39,18 @@ struct MakeTypelist<T, NullType>
 };
 
 template <typename TL, typename T>
-struct Append
+struct Append;
+
+template <typename T, typename U, typename V>
+struct Append<Typelist<T, U>, V>
 {
-    typedef Typelist<typename TL::Head, typename Append<typename TL::Tail, T>::Result > Result;
+    typedef Typelist<T, typename Append<U, V>::Result > Result;
 };
 
-template <typename T, typename U>
-struct Append<Typelist<T, NullType>, U>
+template <typename T>
+struct Append<NullType, T>
 {
-    typedef Typelist<T, U> Result;
+    typedef Typelist<T, NullType> Result;
 };
 
 template <typename TL, typename T>