libcxx/test/std/utilities/optional/optional.relops/not_equal.pass.cpp

   1 //===----------------------------------------------------------------------===//
   2 //
   3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 // See https://llvm.org/LICENSE.txt for license information.
   5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8
   9 // UNSUPPORTED: c++03, c++11, c++14
  10 // <optional>
  11
  12 // template <class T, class U> constexpr bool operator!=(const optional<T>& x, const optional<U>& y);
  13
  14 #include <optional>
  15 #include <type_traits>
  16 #include <cassert>
  17
  18 #include "test_macros.h"
  19
  20 using std::optional;
  21
  22 struct X {
  23   int i_;
  24
  25   constexpr X(int i) : i_(i) {}
  26 };
  27
  28 constexpr bool operator!=(const X& lhs, const X& rhs) {
  29   return lhs.i_ != rhs.i_;
  30 }
  31
  32 int main(int, char**) {
  33   {
  34     typedef X T;
  35     typedef optional<T> O;
  36
  37     constexpr O o1;    // disengaged
  38     constexpr O o2;    // disengaged
  39     constexpr O o3{1}; // engaged
  40     constexpr O o4{2}; // engaged
  41     constexpr O o5{1}; // engaged
  42
  43     static_assert(!(o1 != o1), "");
  44     static_assert(!(o1 != o2), "");
  45     static_assert((o1 != o3), "");
  46     static_assert((o1 != o4), "");
  47     static_assert((o1 != o5), "");
  48
  49     static_assert(!(o2 != o1), "");
  50     static_assert(!(o2 != o2), "");
  51     static_assert((o2 != o3), "");
  52     static_assert((o2 != o4), "");
  53     static_assert((o2 != o5), "");
  54
  55     static_assert((o3 != o1), "");
  56     static_assert((o3 != o2), "");
  57     static_assert(!(o3 != o3), "");
  58     static_assert((o3 != o4), "");
  59     static_assert(!(o3 != o5), "");
  60
  61     static_assert((o4 != o1), "");
  62     static_assert((o4 != o2), "");
  63     static_assert((o4 != o3), "");
  64     static_assert(!(o4 != o4), "");
  65     static_assert((o4 != o5), "");
  66
  67     static_assert((o5 != o1), "");
  68     static_assert((o5 != o2), "");
  69     static_assert(!(o5 != o3), "");
  70     static_assert((o5 != o4), "");
  71     static_assert(!(o5 != o5), "");
  72   }
  73   {
  74     using O1 = optional<int>;
  75     using O2 = optional<long>;
  76     constexpr O1 o1(42);
  77     static_assert(o1 != O2(101), "");
  78     static_assert(!(O2(42) != o1), "");
  79   }
  80   {
  81     using O1 = optional<int>;
  82     using O2 = optional<const int>;
  83     constexpr O1 o1(42);
  84     static_assert(o1 != O2(101), "");
  85     static_assert(!(O2(42) != o1), "");
  86   }
  87
  88   return 0;
  89 }