|
|
@@ -562,30 +562,6 @@ 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.
|