#include <future>
#include <cassert>
int main()
{
{
typedef int T;
std::future<T> f;
{
std::promise<T> p;
f = p.get_future();
p.set_value(3);
}
assert(f.get() == 3);
}
{
typedef int T;
std::future<T> f;
{
std::promise<T> p;
f = p.get_future();
}
try
{
T i = f.get();
assert(false);
}
catch (const std::future_error& e)
{
assert(e.code() == make_error_code(std::future_errc::broken_promise));
}
}
{
typedef int& T;
int i = 4;
std::future<T> f;
{
std::promise<T> p;
f = p.get_future();
p.set_value(i);
}
assert(&f.get() == &i);
}
{
typedef int& T;
std::future<T> f;
{
std::promise<T> p;
f = p.get_future();
}
try
{
T i = f.get();
assert(false);
}
catch (const std::future_error& e)
{
assert(e.code() == make_error_code(std::future_errc::broken_promise));
}
}
{
typedef void T;
std::future<T> f;
{
std::promise<T> p;
f = p.get_future();
p.set_value();
}
f.get();
assert(true);
}
{
typedef void T;
std::future<T> f;
{
std::promise<T> p;
f = p.get_future();
}
try
{
f.get();
assert(false);
}
catch (const std::future_error& e)
{
assert(e.code() == make_error_code(std::future_errc::broken_promise));
}
}
}