Update type_traits.hpp

oktonion · Aug 21, 2023 · 3bb29bb · 3bb29bb
1 parent 2e507a0
commit 3bb29bb
Showing 1 changed file with 23 additions and 2 deletions.
diff --git a/stdex/include/type_traits.hpp b/stdex/include/type_traits.hpp
@@ -569,13 +569,34 @@ namespace stdex
             true_type
         { };
 
+#if _MSC_VER
+#define _STDEX_MSVC_SUPPRESS_WARNING_PUSH __pragma(warning(push))
+#define _STDEX_MSVC_SUPPRESS_WARNING(w) __pragma(warning(disable : w))
+#define _STDEX_MSVC_SUPPRESS_WARNING_POP __pragma(warning(pop))
+#define _STDEX_MSVC_SUPPRESS_WARNING_WITH_PUSH(w)\
+    _STDEX_MSVC_SUPPRESS_WARNING_PUSH _STDEX_MSVC_SUPPRESS_WARNING(w)
+#else // _MSC_VER
+#define _STDEX_MSVC_SUPPRESS_WARNING_PUSH
+#define _STDEX_MSVC_SUPPRESS_WARNING(w)
+#define _STDEX_MSVC_SUPPRESS_WARNING_POP
+#define _STDEX_MSVC_SUPPRESS_WARNING_WITH_PUSH(w)\
+    _STDEX_MSVC_SUPPRESS_WARNING_PUSH _STDEX_MSVC_SUPPRESS_WARNING(w)
+#endif // else _MSC_VER
+
+_STDEX_MSVC_SUPPRESS_WARNING_WITH_PUSH(4180) // suppress stupid warning C4180: qualifier applied to function type has no meaning; ignored
         template<class _FuncT>
         struct _canonical_is_function_const:
             bool_constant<( _canonical_is_const<const _FuncT>::value == bool(false) )> { };
 
         template<class _FuncT>
         struct _canonical_is_function_volatile:
             bool_constant<( _canonical_is_volatile<volatile _FuncT>::value == bool(false) )> { };
+_STDEX_MSVC_SUPPRESS_WARNING_POP // warning C4180
+
+#undef _STDEX_MSVC_SUPPRESS_WARNING_PUSH
+#undef _STDEX_MSVC_SUPPRESS_WARNING
+#undef _STDEX_MSVC_SUPPRESS_WARNING_POP
+#undef _STDEX_MSVC_SUPPRESS_WARNING_WITH_PUSH
     } // namespace detail
 
     namespace intern
@@ -3262,8 +3283,8 @@ namespace stdex
         };
 
         template<class _Tp, class _U,
-            int _Dummy = 
-                sizeof(int[1 + sizeof( false ? ( *(_declval<_Tp>()) ) : ( *(_declval<_U>()) ) ) / sizeof(false ? ( *(_declval<_Tp>()) ) : ( *(_declval<_U>()) ))])
+            class _Dummy = 
+                int[1 + sizeof( false ? ( *(_declval<_Tp>()) ) : ( *(_declval<_U>()) ) ) / sizeof(false ? ( *(_declval<_Tp>()) ) : ( *(_declval<_U>()) ))]
         >
         struct _common_other_type_impl1_any_value2 {
             _common_other_type_impl1_any_value2(_Tp) {}