1 // Copyright (C) 2019-2021 Free Software Foundation, Inc.
2 //
3 // This file is part of the GNU ISO C++ Library.  This library is free
4 // software; you can redistribute it and/or modify it under the
5 // terms of the GNU General Public License as published by the
6 // Free Software Foundation; either version 3, or (at your option)
7 // any later version.
8 
9 // This library is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12 // GNU General Public License for more details.
13 
14 // You should have received a copy of the GNU General Public License along
15 // with this library; see the file COPYING3.  If not see
16 // <http://www.gnu.org/licenses/>.
17 
18 // { dg-options "-std=gnu++2a" }
19 // { dg-do compile { target c++2a } }
20 
21 #include <concepts>
22 
23 static_assert( std::movable<int> );
24 static_assert( std::movable<int*> );
25 static_assert( ! std::movable<int&> );
26 static_assert( ! std::movable<void> );
27 static_assert( ! std::movable<void()> );
28 static_assert( ! std::movable<void() noexcept> );
29 static_assert( ! std::movable<void() const> );
30 
31 struct Trivial { };
32 static_assert( std::movable<Trivial> );
33 
34 struct NotTrivial
35 {
NotTrivialNotTrivial36   NotTrivial(int) { }
NotTrivialNotTrivial37   NotTrivial(NotTrivial&&) { }
operator =NotTrivial38   NotTrivial& operator=(NotTrivial&&) { return *this; }
~NotTrivialNotTrivial39   ~NotTrivial() { }
40 };
41 static_assert( std::movable<NotTrivial> );
42 
43 namespace N1
44 {
45   struct Immovable
46   {
47     Immovable() = default;
48     Immovable(Immovable&&) = delete;
49   };
50 }
51 static_assert( ! std::movable<N1::Immovable> );
52 
53 namespace N2
54 {
55   struct Swappable
56   {
57     Swappable() = default;
58     Swappable(Swappable&&) = delete;
59     Swappable& operator=(Swappable&&) = default;
swap(Swappable &,Swappable &)60     friend void swap(Swappable&, Swappable&) { }
61   };
62 }
63 static_assert( ! std::movable<N2::Swappable> );
64 
65 struct NotAssignable
66 {
67   NotAssignable() = default;
68   NotAssignable(NotAssignable&&) = default;
69   NotAssignable& operator=(NotAssignable&&) = delete;
swap(NotAssignable &,NotAssignable &)70   friend void swap(NotAssignable&, NotAssignable&) { }
71 };
72 static_assert( ! std::movable<NotAssignable> );
73 
74 struct NotSwappable
75 {
76   NotSwappable() = default;
77   NotSwappable(NotSwappable&&) = default;
78   NotSwappable& operator=(NotSwappable&&) = default;
79 };
80 void swap(NotSwappable&, NotSwappable&) = delete;
81 static_assert( std::movable<NotSwappable> ); // ranges::swap still works!
82