From 27d5041e06f42b980da33da66ccde2a21f711bfe Mon Sep 17 00:00:00 2001
From: Martchus <martchus@gmx.net>
Date: Sun, 24 Jun 2018 20:06:01 +0200
Subject: [PATCH] Add Traits::IsSpecializingAnyOf

---
 misc/traits.h         | 6 ++++++
 tests/traitstests.cpp | 5 +++++
 2 files changed, 11 insertions(+)

diff --git a/misc/traits.h b/misc/traits.h
index b956ab7..382d255 100644
--- a/misc/traits.h
+++ b/misc/traits.h
@@ -45,6 +45,12 @@ template <typename T, template <typename...> class Template> struct IsSpecializa
 };
 template <template <typename...> class Template, typename... Args> struct IsSpecializationOf<Template<Args...>, Template> : Bool<true> {
 };
+template <typename Type, template <typename...> class... TemplateTypes> struct IsSpecializingAnyOf : Bool<false> {
+};
+template <typename Type, template <typename...> class TemplateType, template <typename...> class... RemainingTemplateTypes>
+struct IsSpecializingAnyOf<Type, TemplateType, RemainingTemplateTypes...>
+    : Conditional<IsSpecializationOf<Type, TemplateType>, Bool<true>, IsSpecializingAnyOf<Type, RemainingTemplateTypes...>> {
+};
 
 template <typename... T> struct IsAnyOf : Bool<false> {
 };
diff --git a/tests/traitstests.cpp b/tests/traitstests.cpp
index 23ddb13..92c4bc3 100644
--- a/tests/traitstests.cpp
+++ b/tests/traitstests.cpp
@@ -34,6 +34,11 @@ static_assert(None<Bool<false>, Bool<false>>::value, "None: positive case");
 
 static_assert(!IsSpecializationOf<string, basic_stringbuf>::value, "IsSpecializationOf: negative case");
 static_assert(IsSpecializationOf<string, basic_string>::value, "IsSpecializationOf: positive case");
+static_assert(!IsSpecializingAnyOf<string, basic_stringbuf, vector>::value, "IsSpecializingAnyOf: negative case");
+static_assert(!IsSpecializingAnyOf<string, basic_stringbuf, list, vector>::value, "IsSpecializingAnyOf: negative case");
+static_assert(IsSpecializingAnyOf<string, basic_stringbuf, basic_string, vector>::value, "IsSpecializingAnyOf: positive case");
+static_assert(IsSpecializingAnyOf<string, basic_stringbuf, vector, basic_string>::value, "IsSpecializingAnyOf: positive case");
+static_assert(IsSpecializingAnyOf<string, basic_string>::value, "IsSpecializingAnyOf: positive case");
 
 static_assert(IsAnyOf<string, string, int, bool>::value, "IsAnyOf: positive case");
 static_assert(IsAnyOf<int, string, int, bool>::value, "IsAnyOf: positive case");