From 93652ed81fb1aca85eebed6027e5ff95bff56dcf Mon Sep 17 00:00:00 2001
From: q66 <daniel@octaforge.org>
Date: Sun, 7 Jun 2015 15:49:08 +0100
Subject: [PATCH] fix octa::MapRange func type checks for regular functors

---
 octa/algorithm.h | 19 ++++++++++---------
 1 file changed, 10 insertions(+), 9 deletions(-)

diff --git a/octa/algorithm.h b/octa/algorithm.h
index a712fb8..bcf2735 100644
--- a/octa/algorithm.h
+++ b/octa/algorithm.h
@@ -445,35 +445,36 @@ namespace detail {
     };
 
     template<typename T, typename R, typename F,
-        bool = octa::IsDefaultConstructible<F>::value &&
-        octa::IsMoveConstructible<F>::value
+        bool = MapFuncTest<T, F>::value
     > struct MapFuncTypeObjBase {
         typedef octa::Function<R(octa::RangeReference<T>)> Type;
     };
 
     template<typename T, typename R, typename F>
     struct MapFuncTypeObjBase<T, R, F, true> {
-        typedef F Type;
+        typedef MapLambdaRet<F>(*Type)(MapLambdaArg<F>);
     };
 
-    template<typename T, typename R, typename F, bool = MapFuncTest<T, F>::value>
-    struct MapFuncTypeObj {
+    template<typename T, typename R, typename F,
+        bool = octa::IsDefaultConstructible<F>::value &&
+               octa::IsMoveConstructible<F>::value
+    > struct MapFuncTypeObj {
         typedef typename MapFuncTypeObjBase<T, R, F>::Type Type;
     };
 
     template<typename T, typename R, typename F>
     struct MapFuncTypeObj<T, R, F, true> {
-        typedef MapLambdaRet<F>(*Type)(MapLambdaArg<F>);
+        typedef F Type;
     };
 
     template<typename T, typename R, typename F, bool = octa::IsClass<F>::value>
     struct MapFuncType {
-        typedef typename MapFuncTypeObj<T, R, F>::Type Type;
+        typedef F Type;
     };
 
     template<typename T, typename R, typename F>
-    struct MapFuncType<T, R, F, false> {
-        typedef F Type;
+    struct MapFuncType<T, R, F, true> {
+        typedef typename MapFuncTypeObj<T, R, F>::Type Type;
     };
 }