| //===----------------------------------------------------------------------===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| // |
| // UNSUPPORTED: libcpp-has-no-threads |
| // UNSUPPORTED: c++98, c++03 |
| |
| // <future> |
| |
| // class promise<R> |
| |
| // promise(promise&& rhs); |
| |
| #include <future> |
| #include <cassert> |
| |
| #include "test_macros.h" |
| #include "test_allocator.h" |
| |
| int main(int, char**) |
| { |
| assert(test_alloc_base::alloc_count == 0); |
| { |
| std::promise<int> p0(std::allocator_arg, test_allocator<int>()); |
| std::promise<int> p(std::move(p0)); |
| assert(test_alloc_base::alloc_count == 1); |
| std::future<int> f = p.get_future(); |
| assert(test_alloc_base::alloc_count == 1); |
| assert(f.valid()); |
| #ifndef TEST_HAS_NO_EXCEPTIONS |
| try |
| { |
| f = p0.get_future(); |
| assert(false); |
| } |
| catch (const std::future_error& e) |
| { |
| assert(e.code() == make_error_code(std::future_errc::no_state)); |
| } |
| assert(test_alloc_base::alloc_count == 1); |
| #endif |
| } |
| assert(test_alloc_base::alloc_count == 0); |
| { |
| std::promise<int&> p0(std::allocator_arg, test_allocator<int>()); |
| std::promise<int&> p(std::move(p0)); |
| assert(test_alloc_base::alloc_count == 1); |
| std::future<int&> f = p.get_future(); |
| assert(test_alloc_base::alloc_count == 1); |
| assert(f.valid()); |
| #ifndef TEST_HAS_NO_EXCEPTIONS |
| try |
| { |
| f = p0.get_future(); |
| assert(false); |
| } |
| catch (const std::future_error& e) |
| { |
| assert(e.code() == make_error_code(std::future_errc::no_state)); |
| } |
| assert(test_alloc_base::alloc_count == 1); |
| #endif |
| } |
| assert(test_alloc_base::alloc_count == 0); |
| { |
| std::promise<void> p0(std::allocator_arg, test_allocator<void>()); |
| std::promise<void> p(std::move(p0)); |
| assert(test_alloc_base::alloc_count == 1); |
| std::future<void> f = p.get_future(); |
| assert(test_alloc_base::alloc_count == 1); |
| assert(f.valid()); |
| #ifndef TEST_HAS_NO_EXCEPTIONS |
| try |
| { |
| f = p0.get_future(); |
| assert(false); |
| } |
| catch (const std::future_error& e) |
| { |
| assert(e.code() == make_error_code(std::future_errc::no_state)); |
| } |
| assert(test_alloc_base::alloc_count == 1); |
| #endif |
| } |
| assert(test_alloc_base::alloc_count == 0); |
| |
| return 0; |
| } |