diff options
| author | Jonathan Wakely <jwakely@redhat.com> | 2016-10-07 19:02:43 +0100 |
|---|---|---|
| committer | Jonathan Wakely <redi@gcc.gnu.org> | 2016-10-07 19:02:43 +0100 |
| commit | 873c7d5ade8c018b0b2ab50c0ba232473bbf86ed (patch) | |
| tree | e71c6c46a79ba8f847e8df15286bd5a09d096a79 /libstdc++-v3/include/std | |
| parent | c09c4992ac138656415fc108edcab8d643fc89bb (diff) | |
| download | gcc-873c7d5ade8c018b0b2ab50c0ba232473bbf86ed.zip gcc-873c7d5ade8c018b0b2ab50c0ba232473bbf86ed.tar.gz gcc-873c7d5ade8c018b0b2ab50c0ba232473bbf86ed.tar.bz2 | |
Implement std::has_unique_object_representations
* doc/xml/manual/status_cxx2017.xml: Update status.
* include/std/type_traits (has_unique_object_representations): Define.
* testsuite/20_util/has_unique_object_representations/value.cc: New.
* testsuite/20_util/has_unique_object_representations/requirements/
explicit_instantiation.cc: New.
* testsuite/20_util/has_unique_object_representations/requirements/
typedefs.cc: New.
From-SVN: r240868
Diffstat (limited to 'libstdc++-v3/include/std')
| -rw-r--r-- | libstdc++-v3/include/std/type_traits | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/libstdc++-v3/include/std/type_traits b/libstdc++-v3/include/std/type_traits index cd0ba99..d402b5b 100644 --- a/libstdc++-v3/include/std/type_traits +++ b/libstdc++-v3/include/std/type_traits @@ -3040,6 +3040,16 @@ template <typename _Base, typename _Derived> constexpr bool is_base_of_v = is_base_of<_Base, _Derived>::value; template <typename _From, typename _To> constexpr bool is_convertible_v = is_convertible<_From, _To>::value; + +# define __cpp_lib_has_unique_object_representations 201606 + /// has_unique_object_representations + template<typename _Tp> + struct has_unique_object_representations + : bool_constant<__has_unique_object_representations( + remove_cv_t<remove_all_extents_t<_Tp>> + )> + { }; + #endif // C++17 _GLIBCXX_END_NAMESPACE_VERSION |