diff options
| author | Jonathan Wakely <jwakely@redhat.com> | 2022-09-01 21:12:40 +0100 |
|---|---|---|
| committer | Jonathan Wakely <jwakely@redhat.com> | 2022-09-05 15:58:51 +0100 |
| commit | 7b3587b3c25d1ff806b43357132af352ea734f9c (patch) | |
| tree | 6074b8d936b3a51a2df106bcd8afa3857c43e9ed | |
| parent | 0a9c0d4ae5519c404682425da9522c46c38712fd (diff) | |
| download | gcc-7b3587b3c25d1ff806b43357132af352ea734f9c.zip gcc-7b3587b3c25d1ff806b43357132af352ea734f9c.tar.gz gcc-7b3587b3c25d1ff806b43357132af352ea734f9c.tar.bz2 | |
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.
| -rw-r--r-- | libstdc++-v3/include/std/type_traits | 26 |
1 files changed, 14 insertions, 12 deletions
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 <typename _Tp> inline constexpr bool is_volatile_v = false; template <typename _Tp> inline constexpr bool is_volatile_v<volatile _Tp> = true; + template <typename _Tp> - inline constexpr bool is_trivial_v = is_trivial<_Tp>::value; + inline constexpr bool is_trivial_v = __is_trivial(_Tp); template <typename _Tp> - inline constexpr bool is_trivially_copyable_v = - is_trivially_copyable<_Tp>::value; + inline constexpr bool is_trivially_copyable_v = __is_trivially_copyable(_Tp); template <typename _Tp> - 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 <typename _Tp> _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 <typename _Tp> _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 <typename _Tp> inline constexpr bool is_empty_v = __is_empty(_Tp); template <typename _Tp> @@ -3101,6 +3098,7 @@ template <typename _Tp> inline constexpr bool is_abstract_v = __is_abstract(_Tp); template <typename _Tp> inline constexpr bool is_final_v = __is_final(_Tp); + template <typename _Tp> inline constexpr bool is_signed_v = is_signed<_Tp>::value; template <typename _Tp> @@ -3183,9 +3181,11 @@ template <typename _Tp> template <typename _Tp> inline constexpr bool is_nothrow_destructible_v = is_nothrow_destructible<_Tp>::value; + template <typename _Tp> - inline constexpr bool has_virtual_destructor_v = - has_virtual_destructor<_Tp>::value; + inline constexpr bool has_virtual_destructor_v + = __has_virtual_destructor(_Tp); + template <typename _Tp> inline constexpr size_t alignment_of_v = alignment_of<_Tp>::value; @@ -3212,7 +3212,9 @@ template <typename _Tp, typename _Up> inline constexpr bool is_same_v = __is_same(_Tp, _Up); #else template <typename _Tp, typename _Up> - inline constexpr bool is_same_v = std::is_same<_Tp, _Up>::value; + inline constexpr bool is_same_v = false; +template <typename _Tp> + inline constexpr bool is_same_v<_Tp, _Tp> = true; #endif template <typename _Base, typename _Derived> inline constexpr bool is_base_of_v = __is_base_of(_Base, _Derived); |