Move alloc_of in traits

Author: lucic71

rules/algorithm/src.cpp

@@ -9,7 +9,6 @@
 #include <type_traits>
 #include <vector>
 
-#include "../common/alloc_of.h"
 #include "../common/traits.h"
 
 template <typename T1> void f1(T1 first, T1 last) {

rules/common/alloc_of.h

@@ -23,6 +23,27 @@ template <typename T> struct RemoveConst<const T> {
   using type = T;
 };
 
+template <typename T, typename D, typename... Args> struct FindAlloc {
+  using type = D;
+};
+
+template <typename T, typename D, template <typename, typename> class C,
+          typename A, typename... Args>
+struct FindAlloc<T, D, C<T, A>, Args...> {
+  using type = A;
+};
+
+template <typename T, typename D, typename Arg, typename... Args>
+struct FindAlloc<T, D, Arg, Args...> : FindAlloc<T, D, Args...> {};
+
+template <typename It, typename T, typename D> struct AllocOf {
+  using type = D;
+};
+
+template <template <typename...> class I, typename... Args, typename T,
+          typename D>
+struct AllocOf<I<Args...>, T, D> : FindAlloc<T, D, Args...> {};
+
 template <typename It, typename T>
 using SameAs = typename EnableIf<IsSame<It, T>::value>::type;
 

rules/common/traits.h

@@ -6,7 +6,6 @@
 #include <type_traits>
 #include <utility>
 
-#include "../common/alloc_of.h"
 #include "../common/traits.h"
 
 template <typename T1, typename T2> using t1 = std::map<T1, T2>;

rules/map/src.cpp

@@ -8,7 +8,6 @@
 #include <type_traits>
 #include <vector>
 
-#include "../common/alloc_of.h"
 #include "../common/init.h"
 #include "../common/traits.h"