Home | History | Annotate | Download | only in futures.promise 
      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 // <future>
     11 
     12 // class promise<R>
     13 
     14 // promise(const promise&) = delete;
     15 
     16 #include <future>
     17 #include <cassert>
     18 
     19 #include "../test_allocator.h"
     20 
     21 int main()
     22 {
     23     assert(test_alloc_base::count == 0);
     24     {
     25         std::promise<int> p0(std::allocator_arg, test_allocator<int>());
     26         std::promise<int> p(p0);
     27         assert(test_alloc_base::count == 1);
     28         std::future<int> f = p.get_future();
     29         assert(test_alloc_base::count == 1);
     30         assert(f.valid());
     31         try
     32         {
     33             f = p0.get_future();
     34             assert(false);
     35         }
     36         catch (const std::future_error& e)
     37         {
     38             assert(e.code() == make_error_code(std::future_errc::no_state));
     39         }
     40         assert(test_alloc_base::count == 1);
     41     }
     42     assert(test_alloc_base::count == 0);
     43     {
     44         std::promise<int&> p0(std::allocator_arg, test_allocator<int>());
     45         std::promise<int&> p(p0);
     46         assert(test_alloc_base::count == 1);
     47         std::future<int&> f = p.get_future();
     48         assert(test_alloc_base::count == 1);
     49         assert(f.valid());
     50         try
     51         {
     52             f = p0.get_future();
     53             assert(false);
     54         }
     55         catch (const std::future_error& e)
     56         {
     57             assert(e.code() == make_error_code(std::future_errc::no_state));
     58         }
     59         assert(test_alloc_base::count == 1);
     60     }
     61     assert(test_alloc_base::count == 0);
     62     {
     63         std::promise<void> p0(std::allocator_arg, test_allocator<void>());
     64         std::promise<void> p(p0);
     65         assert(test_alloc_base::count == 1);
     66         std::future<void> f = p.get_future();
     67         assert(test_alloc_base::count == 1);
     68         assert(f.valid());
     69         try
     70         {
     71             f = p0.get_future();
     72             assert(false);
     73         }
     74         catch (const std::future_error& e)
     75         {
     76             assert(e.code() == make_error_code(std::future_errc::no_state));
     77         }
     78         assert(test_alloc_base::count == 1);
     79     }
     80     assert(test_alloc_base::count == 0);
     81 }
     82