1 // -*- C++ -*- 2 //===----------------------------------------------------------------------===// 3 // 4 // The LLVM Compiler Infrastructure 5 // 6 // This file is dual licensed under the MIT and the University of Illinois Open 7 // Source Licenses. See LICENSE.TXT for details. 8 // 9 //===----------------------------------------------------------------------===// 10 11 // UNSUPPORTED: c++98, c++03, c++11, c++14 12 13 // <variant> 14 15 // template <class ...Types> 16 // constexpr bool 17 // operator==(variant<Types...> const&, variant<Types...> const&) noexcept; 18 // 19 // template <class ...Types> 20 // constexpr bool 21 // operator!=(variant<Types...> const&, variant<Types...> const&) noexcept; 22 // 23 // template <class ...Types> 24 // constexpr bool 25 // operator<(variant<Types...> const&, variant<Types...> const&) noexcept; 26 // 27 // template <class ...Types> 28 // constexpr bool 29 // operator>(variant<Types...> const&, variant<Types...> const&) noexcept; 30 // 31 // template <class ...Types> 32 // constexpr bool 33 // operator<=(variant<Types...> const&, variant<Types...> const&) noexcept; 34 // 35 // template <class ...Types> 36 // constexpr bool 37 // operator>=(variant<Types...> const&, variant<Types...> const&) noexcept; 38 39 #include <cassert> 40 #include <type_traits> 41 #include <utility> 42 #include <variant> 43 44 #include "test_macros.h" 45 46 47 struct MyBoolExplicit { 48 bool value; 49 constexpr explicit MyBoolExplicit(bool v) : value(v) {} 50 constexpr explicit operator bool() const noexcept { return value; } 51 }; 52 53 struct ComparesToMyBoolExplicit { 54 int value = 0; 55 }; 56 inline constexpr MyBoolExplicit operator==(const ComparesToMyBoolExplicit& LHS, const ComparesToMyBoolExplicit& RHS) noexcept { 57 return MyBoolExplicit(LHS.value == RHS.value); 58 } 59 inline constexpr MyBoolExplicit operator!=(const ComparesToMyBoolExplicit& LHS, const ComparesToMyBoolExplicit& RHS) noexcept { 60 return MyBoolExplicit(LHS.value != RHS.value); 61 } 62 inline constexpr MyBoolExplicit operator<(const ComparesToMyBoolExplicit& LHS, const ComparesToMyBoolExplicit& RHS) noexcept { 63 return MyBoolExplicit(LHS.value < RHS.value); 64 } 65 inline constexpr MyBoolExplicit operator<=(const ComparesToMyBoolExplicit& LHS, const ComparesToMyBoolExplicit& RHS) noexcept { 66 return MyBoolExplicit(LHS.value <= RHS.value); 67 } 68 inline constexpr MyBoolExplicit operator>(const ComparesToMyBoolExplicit& LHS, const ComparesToMyBoolExplicit& RHS) noexcept { 69 return MyBoolExplicit(LHS.value > RHS.value); 70 } 71 inline constexpr MyBoolExplicit operator>=(const ComparesToMyBoolExplicit& LHS, const ComparesToMyBoolExplicit& RHS) noexcept { 72 return MyBoolExplicit(LHS.value >= RHS.value); 73 } 74 75 76 int main() { 77 using V = std::variant<int, ComparesToMyBoolExplicit>; 78 V v1(42); 79 V v2(101); 80 // expected-error-re@variant:* 6 {{static_assert failed {{.*}}"the relational operator does not return a type which is implicitly convertible to bool"}} 81 // expected-error@variant:* 6 {{no viable conversion}} 82 (void)(v1 == v2); // expected-note {{here}} 83 (void)(v1 != v2); // expected-note {{here}} 84 (void)(v1 < v2); // expected-note {{here}} 85 (void)(v1 <= v2); // expected-note {{here}} 86 (void)(v1 > v2); // expected-note {{here}} 87 (void)(v1 >= v2); // expected-note {{here}} 88 } 89
