• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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: libcpp-has-no-threads
11 // UNSUPPORTED: c++98, c++03
12 
13 // <future>
14 
15 // class promise<R>
16 
17 // promise(promise&& rhs);
18 
19 #include <future>
20 #include <cassert>
21 
22 #include "test_macros.h"
23 #include "test_allocator.h"
24 
main()25 int main()
26 {
27     assert(test_alloc_base::alloc_count == 0);
28     {
29         std::promise<int> p0(std::allocator_arg, test_allocator<int>());
30         std::promise<int> p(std::move(p0));
31         assert(test_alloc_base::alloc_count == 1);
32         std::future<int> f = p.get_future();
33         assert(test_alloc_base::alloc_count == 1);
34         assert(f.valid());
35 #ifndef TEST_HAS_NO_EXCEPTIONS
36         try
37         {
38             f = p0.get_future();
39             assert(false);
40         }
41         catch (const std::future_error& e)
42         {
43             assert(e.code() == make_error_code(std::future_errc::no_state));
44         }
45         assert(test_alloc_base::alloc_count == 1);
46 #endif
47     }
48     assert(test_alloc_base::alloc_count == 0);
49     {
50         std::promise<int&> p0(std::allocator_arg, test_allocator<int>());
51         std::promise<int&> p(std::move(p0));
52         assert(test_alloc_base::alloc_count == 1);
53         std::future<int&> f = p.get_future();
54         assert(test_alloc_base::alloc_count == 1);
55         assert(f.valid());
56 #ifndef TEST_HAS_NO_EXCEPTIONS
57         try
58         {
59             f = p0.get_future();
60             assert(false);
61         }
62         catch (const std::future_error& e)
63         {
64             assert(e.code() == make_error_code(std::future_errc::no_state));
65         }
66         assert(test_alloc_base::alloc_count == 1);
67 #endif
68     }
69     assert(test_alloc_base::alloc_count == 0);
70     {
71         std::promise<void> p0(std::allocator_arg, test_allocator<void>());
72         std::promise<void> p(std::move(p0));
73         assert(test_alloc_base::alloc_count == 1);
74         std::future<void> f = p.get_future();
75         assert(test_alloc_base::alloc_count == 1);
76         assert(f.valid());
77 #ifndef TEST_HAS_NO_EXCEPTIONS
78         try
79         {
80             f = p0.get_future();
81             assert(false);
82         }
83         catch (const std::future_error& e)
84         {
85             assert(e.code() == make_error_code(std::future_errc::no_state));
86         }
87         assert(test_alloc_base::alloc_count == 1);
88 #endif
89     }
90     assert(test_alloc_base::alloc_count == 0);
91 }
92