From 7b3587b3c25d1ff806b43357132af352ea734f9c Mon Sep 17 00:00:00 2001 From: Jonathan Wakely Date: Thu, 1 Sep 2022 21:12:40 +0100 Subject: libstdc++: Use built-ins for more variable templates libstdc++-v3/ChangeLog: * include/std/type_traits (is_trivial_v, is_trivially_copyable_v) (is_standard_layout_v, is_pod_v, is_literal_type_v): Use built-in instead of class template. (is_same_v): Add partial specialization for true case. --- libstdc++-v3/include/std/type_traits | 26 ++++++++++++++------------ 1 file changed, 14 insertions(+), 12 deletions(-) (limited to 'libstdc++-v3') diff --git a/libstdc++-v3/include/std/type_traits b/libstdc++-v3/include/std/type_traits index c7a9607..e19d964 100644 --- a/libstdc++-v3/include/std/type_traits +++ b/libstdc++-v3/include/std/type_traits @@ -3077,22 +3077,19 @@ template inline constexpr bool is_volatile_v = false; template inline constexpr bool is_volatile_v = true; + template - inline constexpr bool is_trivial_v = is_trivial<_Tp>::value; + inline constexpr bool is_trivial_v = __is_trivial(_Tp); template - inline constexpr bool is_trivially_copyable_v = - is_trivially_copyable<_Tp>::value; + inline constexpr bool is_trivially_copyable_v = __is_trivially_copyable(_Tp); template - inline constexpr bool is_standard_layout_v = is_standard_layout<_Tp>::value; -#pragma GCC diagnostic push -#pragma GCC diagnostic ignored "-Wdeprecated-declarations" + inline constexpr bool is_standard_layout_v = __is_standard_layout(_Tp); template _GLIBCXX20_DEPRECATED("use is_standard_layout_v && is_trivial_v instead") - inline constexpr bool is_pod_v = is_pod<_Tp>::value; + inline constexpr bool is_pod_v = __is_pod(_Tp); template _GLIBCXX17_DEPRECATED - inline constexpr bool is_literal_type_v = is_literal_type<_Tp>::value; -#pragma GCC diagnostic pop + inline constexpr bool is_literal_type_v = __is_literal_type(_Tp); template inline constexpr bool is_empty_v = __is_empty(_Tp); template @@ -3101,6 +3098,7 @@ template inline constexpr bool is_abstract_v = __is_abstract(_Tp); template inline constexpr bool is_final_v = __is_final(_Tp); + template inline constexpr bool is_signed_v = is_signed<_Tp>::value; template @@ -3183,9 +3181,11 @@ template template inline constexpr bool is_nothrow_destructible_v = is_nothrow_destructible<_Tp>::value; + template - inline constexpr bool has_virtual_destructor_v = - has_virtual_destructor<_Tp>::value; + inline constexpr bool has_virtual_destructor_v + = __has_virtual_destructor(_Tp); + template inline constexpr size_t alignment_of_v = alignment_of<_Tp>::value; @@ -3212,7 +3212,9 @@ template inline constexpr bool is_same_v = __is_same(_Tp, _Up); #else template - inline constexpr bool is_same_v = std::is_same<_Tp, _Up>::value; + inline constexpr bool is_same_v = false; +template + inline constexpr bool is_same_v<_Tp, _Tp> = true; #endif template inline constexpr bool is_base_of_v = __is_base_of(_Base, _Derived); -- cgit v1.1 From 8492f7dd51aff17fd755c9f9dd4dc5874ddd6dec Mon Sep 17 00:00:00 2001 From: Jonathan Wakely Date: Mon, 5 Sep 2022 15:52:34 +0100 Subject: libstdc++: Move __success_type and __failure_type later in file libstdc++-v3/ChangeLog: * include/std/type_traits (__success_type, __failure_type): Move definitions later in the file. --- libstdc++-v3/include/std/type_traits | 25 +++++++++++++------------ 1 file changed, 13 insertions(+), 12 deletions(-) (limited to 'libstdc++-v3') diff --git a/libstdc++-v3/include/std/type_traits b/libstdc++-v3/include/std/type_traits index e19d964..e4d1679 100644 --- a/libstdc++-v3/include/std/type_traits +++ b/libstdc++-v3/include/std/type_traits @@ -286,18 +286,6 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION >::type __is_complete_or_unbounded(_TypeIdentity) { return {}; } - // For several sfinae-friendly trait implementations we transport both the - // result information (as the member type) and the failure information (no - // member type). This is very similar to std::enable_if, but we cannot use - // them, because we need to derive from them as an implementation detail. - - template - struct __success_type - { typedef _Tp type; }; - - struct __failure_type - { }; - // __remove_cv_t (std::remove_cv_t for C++11). template using __remove_cv_t = typename remove_cv<_Tp>::type; @@ -2162,6 +2150,19 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION // Sfinae-friendly common_type implementation: /// @cond undocumented + + // For several sfinae-friendly trait implementations we transport both the + // result information (as the member type) and the failure information (no + // member type). This is very similar to std::enable_if, but we cannot use + // that, because we need to derive from them as an implementation detail. + + template + struct __success_type + { typedef _Tp type; }; + + struct __failure_type + { }; + struct __do_common_type_impl { template -- cgit v1.1 From 47d2dcd1397bf02b79515c39438e0ea9898f9056 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Tue, 6 Sep 2022 00:17:07 +0000 Subject: Daily bump. --- libstdc++-v3/ChangeLog | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'libstdc++-v3') diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index d905767..c9a7f35 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,15 @@ +2022-09-05 Jonathan Wakely + + * include/std/type_traits (__success_type, __failure_type): Move + definitions later in the file. + +2022-09-05 Jonathan Wakely + + * include/std/type_traits (is_trivial_v, is_trivially_copyable_v) + (is_standard_layout_v, is_pod_v, is_literal_type_v): Use + built-in instead of class template. + (is_same_v): Add partial specialization for true case. + 2022-09-02 Patrick Palka * include/std/tuple (tuple::_UseOtherCtor): Use ::type when -- cgit v1.1