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 // <optional>
11 
12 // constexpr optional(T&& v);
13 
14 #include <experimental/optional>
15 #include <type_traits>
16 #include <cassert>
17 
18 #if _LIBCPP_STD_VER > 11
19 
20 using std::experimental::optional;
21 
22 class X
23 {
24     int i_;
25 public:
26     X(int i) : i_(i) {}
27     X(X&& x) : i_(x.i_) {}
28 
29     friend bool operator==(const X& x, const X& y) {return x.i_ == y.i_;}
30 };
31 
32 class Y
33 {
34     int i_;
35 public:
36     constexpr Y(int i) : i_(i) {}
37     constexpr Y(Y&& x) : i_(x.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     int i_;
45 public:
46     Z(int i) : i_(i) {}
47     Z(Z&&) {throw 6;}
48 };
49 
50 #endif  // _LIBCPP_STD_VER > 11
51 
52 int main()
53 {
54 #if _LIBCPP_STD_VER > 11
55     {
56         typedef int T;
57         constexpr optional<T> opt(T(5));
58         static_assert(static_cast<bool>(opt) == true, "");
59         static_assert(*opt == 5, "");
60 
61         struct test_constexpr_ctor
62             : public optional<T>
63         {
64             constexpr test_constexpr_ctor(T&&) {}
65         };
66     }
67     {
68         typedef double T;
69         constexpr optional<T> opt(T(3));
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(T&&) {}
77         };
78     }
79     {
80         typedef X T;
81         optional<T> opt(T(3));
82         assert(static_cast<bool>(opt) == true);
83         assert(*opt == 3);
84     }
85     {
86         typedef Y T;
87         constexpr optional<T> opt(T(3));
88         static_assert(static_cast<bool>(opt) == true, "");
89         static_assert(*opt == 3, "");
90 
91         struct test_constexpr_ctor
92             : public optional<T>
93         {
94             constexpr test_constexpr_ctor(T&&) {}
95         };
96     }
97     {
98         typedef Z T;
99         try
100         {
101             optional<T> opt(T(3));
102             assert(false);
103         }
104         catch (int i)
105         {
106             assert(i == 6);
107         }
108     }
109 #endif  // _LIBCPP_STD_VER > 11
110 }
111