1 // Copyright (C) 2019-2020 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::regular<int> ); 24 static_assert( std::regular<int*> ); 25 static_assert( ! std::regular<int&> ); 26 static_assert( ! std::regular<void> ); 27 static_assert( ! std::regular<void()> ); 28 static_assert( ! std::regular<void() noexcept> ); 29 static_assert( ! std::regular<void() const> ); 30 31 struct Trivial { }; 32 static_assert( ! std::regular<Trivial> ); 33 34 struct NotTrivial 35 { NotTrivialNotTrivial36 NotTrivial() { } ~NotTrivialNotTrivial37 ~NotTrivial() { } 38 }; 39 static_assert( ! std::regular<NotTrivial> ); 40 41 struct NotDefaultConstructible 42 { NotDefaultConstructibleNotDefaultConstructible43 NotDefaultConstructible(int) { } 44 }; 45 static_assert( ! std::regular<NotDefaultConstructible> ); 46 47 struct HasReference 48 { 49 int& ref; 50 }; 51 static_assert( ! std::regular<HasReference> ); 52 53 struct HasEq { }; operator ==(HasEq,HasEq)54bool operator==(HasEq, HasEq) { return true; } 55 #ifdef __cpp_impl_three_way_comparison 56 static_assert( std::regular<HasEq> ); 57 #else 58 static_assert( ! std::regular<HasEq> ); 59 #endif 60 61 struct HasEqNeq { }; operator ==(HasEqNeq,HasEqNeq)62bool operator==(HasEqNeq, HasEqNeq) { return true; } operator !=(HasEqNeq,HasEqNeq)63bool operator!=(HasEqNeq, HasEqNeq) { return false; } 64 static_assert( std::regular<HasEqNeq> ); 65