diff options
author | Andrey Khalyavin <[email protected]> | 2022-02-10 16:46:30 +0300 |
---|---|---|
committer | Daniil Cherednik <[email protected]> | 2022-02-10 16:46:30 +0300 |
commit | 4b839d0704ee9be1dabb0310a1f03af24963637b (patch) | |
tree | 1a2c5ffcf89eb53ecd79dbc9bc0a195c27404d0c /contrib/libs/cxxsupp/libcxx/include/__iterator/incrementable_traits.h | |
parent | f773626848a7c7456803654292e716b83d69cc12 (diff) |
Restoring authorship annotation for Andrey Khalyavin <[email protected]>. Commit 2 of 2.
Diffstat (limited to 'contrib/libs/cxxsupp/libcxx/include/__iterator/incrementable_traits.h')
-rw-r--r-- | contrib/libs/cxxsupp/libcxx/include/__iterator/incrementable_traits.h | 144 |
1 files changed, 72 insertions, 72 deletions
diff --git a/contrib/libs/cxxsupp/libcxx/include/__iterator/incrementable_traits.h b/contrib/libs/cxxsupp/libcxx/include/__iterator/incrementable_traits.h index 90355b2893c..fd5015ddf1b 100644 --- a/contrib/libs/cxxsupp/libcxx/include/__iterator/incrementable_traits.h +++ b/contrib/libs/cxxsupp/libcxx/include/__iterator/incrementable_traits.h @@ -1,72 +1,72 @@ -// -*- C++ -*- -//===----------------------------------------------------------------------===// -// -// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. -// See https://llvm.org/LICENSE.txt for license information. -// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception -// -//===----------------------------------------------------------------------===// - -#ifndef _LIBCPP___ITERATOR_INCREMENTABLE_TRAITS_H -#define _LIBCPP___ITERATOR_INCREMENTABLE_TRAITS_H - -#include <__config> -#include <concepts> -#include <type_traits> - -#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) -#pragma GCC system_header -#endif - -_LIBCPP_BEGIN_NAMESPACE_STD - -#if !defined(_LIBCPP_HAS_NO_RANGES) - -// [incrementable.traits] -template<class> struct incrementable_traits {}; - -template<class _Tp> -requires is_object_v<_Tp> -struct incrementable_traits<_Tp*> { - using difference_type = ptrdiff_t; -}; - -template<class _Ip> -struct incrementable_traits<const _Ip> : incrementable_traits<_Ip> {}; - -template<class _Tp> -concept __has_member_difference_type = requires { typename _Tp::difference_type; }; - -template<__has_member_difference_type _Tp> -struct incrementable_traits<_Tp> { - using difference_type = typename _Tp::difference_type; -}; - -template<class _Tp> -concept __has_integral_minus = - requires(const _Tp& __x, const _Tp& __y) { - { __x - __y } -> integral; - }; - -template<__has_integral_minus _Tp> -requires (!__has_member_difference_type<_Tp>) -struct incrementable_traits<_Tp> { - using difference_type = make_signed_t<decltype(declval<_Tp>() - declval<_Tp>())>; -}; - -template <class> -struct iterator_traits; - -// Let `RI` be `remove_cvref_t<I>`. The type `iter_difference_t<I>` denotes -// `incrementable_traits<RI>::difference_type` if `iterator_traits<RI>` names a specialization -// generated from the primary template, and `iterator_traits<RI>::difference_type` otherwise. -template <class _Ip> -using iter_difference_t = typename conditional_t<__is_primary_template<iterator_traits<remove_cvref_t<_Ip> > >::value, - incrementable_traits<remove_cvref_t<_Ip> >, - iterator_traits<remove_cvref_t<_Ip> > >::difference_type; - -#endif // !defined(_LIBCPP_HAS_NO_RANGES) - -_LIBCPP_END_NAMESPACE_STD - -#endif // _LIBCPP___ITERATOR_INCREMENTABLE_TRAITS_H +// -*- C++ -*- +//===----------------------------------------------------------------------===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// + +#ifndef _LIBCPP___ITERATOR_INCREMENTABLE_TRAITS_H +#define _LIBCPP___ITERATOR_INCREMENTABLE_TRAITS_H + +#include <__config> +#include <concepts> +#include <type_traits> + +#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) +#pragma GCC system_header +#endif + +_LIBCPP_BEGIN_NAMESPACE_STD + +#if !defined(_LIBCPP_HAS_NO_RANGES) + +// [incrementable.traits] +template<class> struct incrementable_traits {}; + +template<class _Tp> +requires is_object_v<_Tp> +struct incrementable_traits<_Tp*> { + using difference_type = ptrdiff_t; +}; + +template<class _Ip> +struct incrementable_traits<const _Ip> : incrementable_traits<_Ip> {}; + +template<class _Tp> +concept __has_member_difference_type = requires { typename _Tp::difference_type; }; + +template<__has_member_difference_type _Tp> +struct incrementable_traits<_Tp> { + using difference_type = typename _Tp::difference_type; +}; + +template<class _Tp> +concept __has_integral_minus = + requires(const _Tp& __x, const _Tp& __y) { + { __x - __y } -> integral; + }; + +template<__has_integral_minus _Tp> +requires (!__has_member_difference_type<_Tp>) +struct incrementable_traits<_Tp> { + using difference_type = make_signed_t<decltype(declval<_Tp>() - declval<_Tp>())>; +}; + +template <class> +struct iterator_traits; + +// Let `RI` be `remove_cvref_t<I>`. The type `iter_difference_t<I>` denotes +// `incrementable_traits<RI>::difference_type` if `iterator_traits<RI>` names a specialization +// generated from the primary template, and `iterator_traits<RI>::difference_type` otherwise. +template <class _Ip> +using iter_difference_t = typename conditional_t<__is_primary_template<iterator_traits<remove_cvref_t<_Ip> > >::value, + incrementable_traits<remove_cvref_t<_Ip> >, + iterator_traits<remove_cvref_t<_Ip> > >::difference_type; + +#endif // !defined(_LIBCPP_HAS_NO_RANGES) + +_LIBCPP_END_NAMESPACE_STD + +#endif // _LIBCPP___ITERATOR_INCREMENTABLE_TRAITS_H |