From 772c2dba2fe5cd6508ee95fc99386f43ad5a2a8d Mon Sep 17 00:00:00 2001
From: Michele Caini <michele.caini@gmail.com>
Date: Thu, 11 Feb 2021 11:57:55 +0100
Subject: [PATCH] type traits: add is_std_hashable[_v] (see #629)

---
 src/entt/core/type_traits.hpp  | 32 ++++++++++++++++++++++++++++----
 test/entt/core/type_traits.cpp |  5 +++++
 2 files changed, 33 insertions(+), 4 deletions(-)

diff --git a/src/entt/core/type_traits.hpp b/src/entt/core/type_traits.hpp
index ce51afe7b..f999e24e1 100644
--- a/src/entt/core/type_traits.hpp
+++ b/src/entt/core/type_traits.hpp
@@ -18,10 +18,10 @@ namespace entt {
  */
 template<std::size_t N>
 struct choice_t
-        // Unfortunately, doxygen cannot parse such a construct.
-        /*! @cond TURN_OFF_DOXYGEN */
-        : choice_t<N-1>
-        /*! @endcond */
+    // Unfortunately, doxygen cannot parse such a construct.
+    /*! @cond TURN_OFF_DOXYGEN */
+    : choice_t<N-1>
+    /*! @endcond */
 {};
 
 
@@ -562,6 +562,30 @@ template<typename Type>
 inline constexpr auto is_complete_v = is_complete<Type>::value;
 
 
+/**
+ * @brief Provides the member constant `value` to true if a given type is
+ * hashable, false otherwise.
+ * @tparam Type Potentially hashable type.
+ */
+template <typename Type, typename = void>
+struct is_std_hashable: std::false_type {};
+
+
+/*! @copydoc is_std_hashable */
+template <typename Type>
+struct is_std_hashable<Type, std::enable_if_t<std::is_convertible_v<decltype(std::declval<std::hash<Type>>()(std::declval<Type>())), std::size_t>>>
+    : std::true_type
+{};
+
+
+/**
+ * @brief Helper variable template.
+ * @tparam Type Potentially hashable type.
+ */
+template <typename Type>
+inline constexpr auto is_std_hashable_v = is_std_hashable<Type>::value;
+
+
 /**
  * @brief Provides the member constant `value` to true if a given type is empty
  * and the empty type optimization is enabled, false otherwise.
diff --git a/test/entt/core/type_traits.cpp b/test/entt/core/type_traits.cpp
index b06bdf882..0bb4b7472 100644
--- a/test/entt/core/type_traits.cpp
+++ b/test/entt/core/type_traits.cpp
@@ -119,6 +119,11 @@ TEST(TypeTraits, IsComplete) {
     static_assert(!entt::is_complete_v<void>);
 }
 
+TEST(TypeTraits, IsStdHashable) {
+    static_assert(entt::is_std_hashable_v<int>);
+    static_assert(!entt::is_std_hashable_v<not_comparable>);
+}
+
 TEST(TypeTraits, ConstnessAs) {
     static_assert(std::is_same_v<entt::constness_as_t<int, char>, int>);
     static_assert(std::is_same_v<entt::constness_as_t<const int, char>, int>);