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 packaged_task<R(ArgTypes...)>
16
17 // void make_ready_at_thread_exit(ArgTypes... args);
18
19 #include <future>
20 #include <cassert>
21
22 class A
23 {
24 long data_;
25
26 public:
A(long i)27 explicit A(long i) : data_(i) {}
28
operator ()(long i,long j) const29 long operator()(long i, long j) const
30 {
31 if (j == 'z')
32 throw A(6);
33 return data_ + i + j;
34 }
35 };
36
func0(std::packaged_task<double (int,char)> p)37 void func0(std::packaged_task<double(int, char)> p)
38 {
39 std::this_thread::sleep_for(std::chrono::milliseconds(500));
40 p.make_ready_at_thread_exit(3, 'a');
41 }
42
func1(std::packaged_task<double (int,char)> p)43 void func1(std::packaged_task<double(int, char)> p)
44 {
45 std::this_thread::sleep_for(std::chrono::milliseconds(500));
46 p.make_ready_at_thread_exit(3, 'z');
47 }
48
func2(std::packaged_task<double (int,char)> p)49 void func2(std::packaged_task<double(int, char)> p)
50 {
51 p.make_ready_at_thread_exit(3, 'a');
52 try
53 {
54 p.make_ready_at_thread_exit(3, 'c');
55 }
56 catch (const std::future_error& e)
57 {
58 assert(e.code() == make_error_code(std::future_errc::promise_already_satisfied));
59 }
60 }
61
func3(std::packaged_task<double (int,char)> p)62 void func3(std::packaged_task<double(int, char)> p)
63 {
64 try
65 {
66 p.make_ready_at_thread_exit(3, 'a');
67 }
68 catch (const std::future_error& e)
69 {
70 assert(e.code() == make_error_code(std::future_errc::no_state));
71 }
72 }
73
main()74 int main()
75 {
76 {
77 std::packaged_task<double(int, char)> p(A(5));
78 std::future<double> f = p.get_future();
79 std::thread(func0, std::move(p)).detach();
80 assert(f.get() == 105.0);
81 }
82 {
83 std::packaged_task<double(int, char)> p(A(5));
84 std::future<double> f = p.get_future();
85 std::thread(func1, std::move(p)).detach();
86 try
87 {
88 f.get();
89 assert(false);
90 }
91 catch (const A& e)
92 {
93 assert(e(3, 'a') == 106);
94 }
95 }
96 {
97 std::packaged_task<double(int, char)> p(A(5));
98 std::future<double> f = p.get_future();
99 std::thread(func2, std::move(p)).detach();
100 assert(f.get() == 105.0);
101 }
102 {
103 std::packaged_task<double(int, char)> p;
104 std::thread t(func3, std::move(p));
105 t.join();
106 }
107 }
108