xref: /llvm-project/libcxx/test/std/utilities/expected/expected.bad/void-specialization.pass.cpp (revision 6a54dfbfe534276d644d7f9c027f0deeb748dd53)
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, c++17, c++20
10 
11 // template<>
12 // class bad_expected_access<void> : public exception {
13 // protected:
14 //   bad_expected_access() noexcept;
15 //   bad_expected_access(const bad_expected_access&) noexcept;
16 //   bad_expected_access(bad_expected_access&&) noexcept;
17 //   bad_expected_access& operator=(const bad_expected_access&) noexcept;
18 //   bad_expected_access& operator=(bad_expected_access&&) noexcept;
19 //   ~bad_expected_access();
20 //
21 // public:
22 //   const char* what() const noexcept override;
23 // };
24 
25 #include <cassert>
26 #include <exception>
27 #include <expected>
28 #include <type_traits>
29 #include <utility>
30 
31 #include "test_macros.h"
32 
33 struct Inherit : std::bad_expected_access<void> {};
34 
35 int main(int, char**) {
36   // base class
37   static_assert(std::is_base_of_v<std::exception, std::bad_expected_access<void>>);
38 
39   // default constructor
40   {
41     Inherit exc;
42     ASSERT_NOEXCEPT(Inherit());
43   }
44 
45   // copy constructor
46   {
47     Inherit exc;
48     Inherit copy(exc);
49     ASSERT_NOEXCEPT(Inherit(exc));
50   }
51 
52   // move constructor
53   {
54     Inherit exc;
55     Inherit copy(std::move(exc));
56     ASSERT_NOEXCEPT(Inherit(std::move(exc)));
57   }
58 
59   // copy assignment
60   {
61     Inherit exc;
62     Inherit copy;
63     [[maybe_unused]] Inherit& result = (copy = exc);
64     ASSERT_NOEXCEPT(copy = exc);
65   }
66 
67   // move assignment
68   {
69     Inherit exc;
70     Inherit copy;
71     [[maybe_unused]] Inherit& result = (copy = std::move(exc));
72     ASSERT_NOEXCEPT(copy = std::move(exc));
73   }
74 
75   // what()
76   {
77     Inherit exc;
78     char const* what = exc.what();
79     assert(what != nullptr);
80     ASSERT_NOEXCEPT(exc.what());
81   }
82 
83   return 0;
84 }
85