test/std/experimental/optional/optional.object/optional.object.ctor/const_T.pass.cpp

   1 //===----------------------------------------------------------------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is dual licensed under the MIT and the University of Illinois Open
   6 // Source Licenses. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 // UNSUPPORTED: c++98, c++03, c++11
  11
  12 // <optional>
  13
  14 // constexpr optional(const T& v);
  15
  16 #include <experimental/optional>
  17 #include <type_traits>
  18 #include <cassert>
  19
  20 #include "test_macros.h"
  21
  22 using std::experimental::optional;
  23
  24 class X
  25 {
  26     int i_;
  27 public:
  28     X(int i) : i_(i) {}
  29
  30     friend bool operator==(const X& x, const X& y) {return x.i_ == y.i_;}
  31 };
  32
  33 class Y
  34 {
  35     int i_;
  36 public:
  37     constexpr Y(int i) : i_(i) {}
  38
  39     friend constexpr bool operator==(const Y& x, const Y& y) {return x.i_ == y.i_;}
  40 };
  41
  42 class Z
  43 {
  44 public:
  45     Z(int)  {}
  46     Z(const Z&) {TEST_THROW(6);}
  47 };
  48
  49
  50 int main()
  51 {
  52     {
  53         typedef int T;
  54         constexpr T t(5);
  55         constexpr optional<T> opt(t);
  56         static_assert(static_cast<bool>(opt) == true, "");
  57         static_assert(*opt == 5, "");
  58
  59         struct test_constexpr_ctor
  60             : public optional<T>
  61         {
  62             constexpr test_constexpr_ctor(const T&) {}
  63         };
  64
  65     }
  66     {
  67         typedef double T;
  68         constexpr T t(3);
  69         constexpr optional<T> opt(t);
  70         static_assert(static_cast<bool>(opt) == true, "");
  71         static_assert(*opt == 3, "");
  72
  73         struct test_constexpr_ctor
  74             : public optional<T>
  75         {
  76             constexpr test_constexpr_ctor(const T&) {}
  77         };
  78
  79     }
  80     {
  81         typedef X T;
  82         const T t(3);
  83         optional<T> opt(t);
  84         assert(static_cast<bool>(opt) == true);
  85         assert(*opt == 3);
  86     }
  87     {
  88         typedef Y T;
  89         constexpr T t(3);
  90         constexpr optional<T> opt(t);
  91         static_assert(static_cast<bool>(opt) == true, "");
  92         static_assert(*opt == 3, "");
  93
  94         struct test_constexpr_ctor
  95             : public optional<T>
  96         {
  97             constexpr test_constexpr_ctor(const T&) {}
  98         };
  99
 100     }
 101 #ifndef TEST_HAS_NO_EXCEPTIONS
 102     {
 103         typedef Z T;
 104         try
 105         {
 106             const T t(3);
 107             optional<T> opt(t);
 108             assert(false);
 109         }
 110         catch (int i)
 111         {
 112             assert(i == 6);
 113         }
 114     }
 115 #endif
 116 }