[Hashable] hana::integral_constant with an enum value implements Hash…

…able
boostorg · Feb 22, 2019 · 64a9a40 · 64a9a40
1 parent 4536973
commit 64a9a40
Show file tree

Hide file tree

Showing 2 changed files with 32 additions and 0 deletions.
diff --git a/include/boost/hana/hash.hpp b/include/boost/hana/hash.hpp
@@ -80,6 +80,16 @@ BOOST_HANA_NAMESPACE_BEGIN
             }
         };
 
+        template <typename T>
+        struct hash_integral_helper<T,
+            typename std::enable_if<std::is_enum<T>::value>::type
+        > {
+            template <typename X>
+            static constexpr auto apply(X const&) {
+                return hana::type_c<X>;
+            }
+        };
+
         template <>
         struct hash_integral_helper<bool> {
             template <typename X>

diff --git a/test/integral_constant/hash.cpp b/test/integral_constant/hash.cpp
@@ -107,4 +107,26 @@ int main() {
             hana::type_c<hana::false_>
         ));
     }
+
+    // Enumeration constants should hash to themselves
+    {
+        enum enum_1                  { zero };
+        enum class enum_2            { zero };
+        enum class enum_3 : unsigned { zero };
+
+        BOOST_HANA_CONSTANT_ASSERT(hana::equal(
+            hana::hash(hana::integral_c<enum_1, zero>),
+            hana::type_c<hana::integral_constant<enum_1, zero>>
+        ));
+
+        BOOST_HANA_CONSTANT_ASSERT(hana::equal(
+            hana::hash(hana::integral_c<enum_2, enum_2::zero>),
+            hana::type_c<hana::integral_constant<enum_2, enum_2::zero>>
+        ));
+
+        BOOST_HANA_CONSTANT_ASSERT(hana::equal(
+            hana::hash(hana::integral_c<enum_3, enum_3::zero>),
+            hana::type_c<hana::integral_constant<enum_3, enum_3::zero>>
+        ));
+    }
 }