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 future<R> 16 17// shared_future<R> share() &&; 18 19#include <future> 20#include <cassert> 21 22int main() 23{ 24 { 25 typedef int T; 26 std::promise<T> p; 27 std::future<T> f0 = p.get_future(); 28 static_assert( noexcept(f0.share()), ""); 29 std::shared_future<T> f = f0.share(); 30 assert(!f0.valid()); 31 assert(f.valid()); 32 } 33 { 34 typedef int T; 35 std::future<T> f0; 36 static_assert( noexcept(f0.share()), ""); 37 std::shared_future<T> f = f0.share(); 38 assert(!f0.valid()); 39 assert(!f.valid()); 40 } 41 { 42 typedef int& T; 43 std::promise<T> p; 44 std::future<T> f0 = p.get_future(); 45 static_assert( noexcept(f0.share()), ""); 46 std::shared_future<T> f = f0.share(); 47 assert(!f0.valid()); 48 assert(f.valid()); 49 } 50 { 51 typedef int& T; 52 std::future<T> f0; 53 static_assert( noexcept(f0.share()), ""); 54 std::shared_future<T> f = f0.share(); 55 assert(!f0.valid()); 56 assert(!f.valid()); 57 } 58 { 59 typedef void T; 60 std::promise<T> p; 61 std::future<T> f0 = p.get_future(); 62 static_assert( noexcept(f0.share()), ""); 63 std::shared_future<T> f = f0.share(); 64 assert(!f0.valid()); 65 assert(f.valid()); 66 } 67 { 68 typedef void T; 69 std::future<T> f0; 70 static_assert( noexcept(f0.share()), ""); 71 std::shared_future<T> f = f0.share(); 72 assert(!f0.valid()); 73 assert(!f.valid()); 74 } 75} 76