94 lines · cpp
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-exception6//7//===----------------------------------------------------------------------===//8//9// UNSUPPORTED: no-threads10// UNSUPPORTED: c++0311 12// <future>13 14// class promise<R>15 16// promise(promise&& rhs);17 18#include <future>19#include <cassert>20 21#include "test_macros.h"22#include "test_allocator.h"23 24int main(int, char**)25{26 test_allocator_statistics alloc_stats;27 assert(alloc_stats.alloc_count == 0);28 {29 std::promise<int> p0(std::allocator_arg, test_allocator<int>(&alloc_stats));30 std::promise<int> p(std::move(p0));31 assert(alloc_stats.alloc_count == 1);32 std::future<int> f = p.get_future();33 assert(alloc_stats.alloc_count == 1);34 assert(f.valid());35#ifndef TEST_HAS_NO_EXCEPTIONS36 try37 {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(alloc_stats.alloc_count == 1);46#endif47 }48 assert(alloc_stats.alloc_count == 0);49 {50 std::promise<int&> p0(std::allocator_arg, test_allocator<int>(&alloc_stats));51 std::promise<int&> p(std::move(p0));52 assert(alloc_stats.alloc_count == 1);53 std::future<int&> f = p.get_future();54 assert(alloc_stats.alloc_count == 1);55 assert(f.valid());56#ifndef TEST_HAS_NO_EXCEPTIONS57 try58 {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(alloc_stats.alloc_count == 1);67#endif68 }69 assert(alloc_stats.alloc_count == 0);70 {71 std::promise<void> p0(std::allocator_arg, test_allocator<void>(&alloc_stats));72 std::promise<void> p(std::move(p0));73 assert(alloc_stats.alloc_count == 1);74 std::future<void> f = p.get_future();75 assert(alloc_stats.alloc_count == 1);76 assert(f.valid());77#ifndef TEST_HAS_NO_EXCEPTIONS78 try79 {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(alloc_stats.alloc_count == 1);88#endif89 }90 assert(alloc_stats.alloc_count == 0);91 92 return 0;93}94