1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
// PR c++/66962
// { dg-do compile { target c++20 } }
template <typename> struct remove_cv;
template <typename> struct is_reference;
template <typename> void declval();
template <typename> struct is_constructible;
template <typename> struct is_nothrow_constructible;
template <typename _Tp> using remove_cv_t = typename remove_cv<_Tp>::type;
template <typename> struct Trans_NS_extension_apply_list;
template <typename T> using _t = typename T::type;
template <class> void ImplicitlyConvertibleTo();
template <class> void Assignable();
template <class T, class... Args> int ConstructibleObject = requires { T{}; };
template <class T, class... Args>
concept BindableReference =
is_reference<T>::value && is_constructible<T>::value;
template <class T, class... Args>
concept Constructible =
ConstructibleObject<T> || BindableReference<T, Args...>;
template <class T>
concept DefaultConstructible =
Constructible<T> && requires { new T[0]; };
template <class T>
concept MoveConstructible =
Constructible<T> && ImplicitlyConvertibleTo<T>;
template <class T>
concept Movable =
MoveConstructible<T> && Assignable<T &&>;
template <class, class>
int Swappable_ = requires { 0; };
template <class T, class U>
int Swappable();
template <class T>
concept Dereferencable = requires{{0};};
template <Dereferencable R>
using RvalueReferenceType = decltype(0);
template <class T>
int IsValueType;
template <class>
struct value_type;
template <class T>
requires IsValueType<_t<value_type<remove_cv_t<T>>>>
using ValueType = _t<value_type<remove_cv_t<T>>>;
template <class I>
concept Readable =
Movable<I> && DefaultConstructible<I> && Dereferencable<const I> && requires{{0};};
template <class Out, class T>
concept MoveWritable =
Movable<Out> && DefaultConstructible<Out> && Dereferencable<Out>;
template <class In, class Out>
concept IndirectlyMovable =
Readable<In> &&
Movable<ValueType<In>> &&
Constructible<ValueType<In>> &&
MoveWritable<Out, RvalueReferenceType<In>> &&
MoveWritable<Out, ValueType<In>>;
template<typename In, typename Out>
requires IndirectlyMovable<In, Out>
int is_nothrow_indirectly_movable_v = is_nothrow_constructible<ValueType<In>>::value;
template <Readable R1, Readable R2>
requires IndirectlyMovable<R1, R2> && IndirectlyMovable<R2, R1>
void iter_swap2();
|
