2 * Copyright 2017 Facebook, Inc.
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
8 * http://www.apache.org/licenses/LICENSE-2.0
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
23 #include <type_traits>
26 #include <folly/Optional.h>
27 #include <folly/Portability.h>
28 #include <folly/ScopeGuard.h>
29 #include <folly/Try.h>
30 #include <folly/Utility.h>
31 #include <folly/executors/DrivableExecutor.h>
32 #include <folly/futures/FutureException.h>
33 #include <folly/futures/Promise.h>
34 #include <folly/futures/detail/Types.h>
36 // boring predeclarations and details
37 #include <folly/futures/Future-pre.h>
39 // not-boring helpers, e.g. all in folly::futures, makeFuture variants, etc.
40 // Needs to be included after Future-pre.h and before Future-inl.h
41 #include <folly/futures/helpers.h>
58 /// Construct a Future from a value (perfect forwarding)
61 typename = typename std::enable_if<
62 !isFuture<typename std::decay<T2>::type>::value &&
63 !isSemiFuture<typename std::decay<T2>::type>::value>::type>
64 /* implicit */ FutureBase(T2&& val);
66 template <class T2 = T>
67 /* implicit */ FutureBase(
68 typename std::enable_if<std::is_same<Unit, T2>::value>::type*);
72 typename std::enable_if<std::is_constructible<T, Args&&...>::value, int>::
74 explicit FutureBase(in_place_t, Args&&... args);
76 FutureBase(FutureBase<T> const&) = delete;
77 FutureBase(SemiFuture<T>&&) noexcept;
78 FutureBase(Future<T>&&) noexcept;
81 FutureBase(Future<T> const&) = delete;
82 FutureBase(SemiFuture<T> const&) = delete;
86 /// Returns a reference to the result, with a reference category and const-
87 /// qualification equivalent to the reference category and const-qualification
90 /// If moved-from, throws NoState.
92 /// If !isReady(), throws FutureNotReady.
94 /// If an exception has been captured, throws that exception.
96 T const& value() const&;
98 T const&& value() const&&;
100 /** True when the result (or exception) is ready. */
101 bool isReady() const;
103 /// sugar for getTry().hasValue()
106 /// sugar for getTry().hasException()
109 /** A reference to the Try of the value */
112 /// If the promise has been fulfilled, return an Optional with the Try<T>.
113 /// Otherwise return an empty Optional.
114 /// Note that this moves the Try<T> out.
115 Optional<Try<T>> poll();
117 /// This is not the method you're looking for.
119 /// This needs to be public because it's used by make* and when*, and it's
120 /// not worth listing all those and their fancy template signatures as
121 /// friends. But it's not for public consumption.
123 void setCallback_(F&& func);
126 return core_->isActive();
130 void raise(E&& exception) {
131 raise(make_exception_wrapper<typename std::remove_reference<E>::type>(
132 std::forward<E>(exception)));
135 /// Raise an interrupt. If the promise holder has an interrupt
136 /// handler it will be called and potentially stop asynchronous work from
137 /// being done. This is advisory only - a promise holder may not set an
138 /// interrupt handler, or may do anything including ignore. But, if you know
139 /// your future supports this the most likely result is stopping or
140 /// preventing the asynchronous operation (if in time), and the promise
141 /// holder setting an exception on the future. (That may happen
142 /// asynchronously, of course.)
143 void raise(exception_wrapper interrupt);
146 raise(FutureCancellation());
150 friend class Promise<T>;
152 friend class SemiFuture;
156 using corePtr = futures::detail::Core<T>*;
158 // shared core state object
161 explicit FutureBase(corePtr obj) : core_(obj) {}
163 explicit FutureBase(futures::detail::EmptyConstruct) noexcept;
167 void throwIfInvalid() const;
169 template <class FutureType>
170 void assign(FutureType&) noexcept;
172 Executor* getExecutor() {
173 return core_->getExecutor();
176 void setExecutor(Executor* x, int8_t priority = Executor::MID_PRI) {
177 core_->setExecutor(x, priority);
180 // Variant: returns a value
181 // e.g. f.then([](Try<T> t){ return t.value(); });
182 template <typename F, typename R, bool isTry, typename... Args>
183 typename std::enable_if<!R::ReturnsFuture::value, typename R::Return>::type
184 thenImplementation(F&& func, futures::detail::argResult<isTry, F, Args...>);
186 // Variant: returns a Future
187 // e.g. f.then([](Try<T> t){ return makeFuture<T>(t); });
188 template <typename F, typename R, bool isTry, typename... Args>
189 typename std::enable_if<R::ReturnsFuture::value, typename R::Return>::type
190 thenImplementation(F&& func, futures::detail::argResult<isTry, F, Args...>);
192 } // namespace detail
193 } // namespace futures
196 class SemiFuture : private futures::detail::FutureBase<T> {
198 using Base = futures::detail::FutureBase<T>;
199 using DeferredExecutor = futures::detail::DeferredExecutor;
202 static SemiFuture<T> makeEmpty(); // equivalent to moved-from
204 // Export public interface of FutureBase
205 // FutureBase is inherited privately to avoid subclasses being cast to
206 // a FutureBase pointer
207 using typename Base::value_type;
209 /// Construct a Future from a value (perfect forwarding)
212 typename = typename std::enable_if<
213 !isFuture<typename std::decay<T2>::type>::value &&
214 !isSemiFuture<typename std::decay<T2>::type>::value>::type>
215 /* implicit */ SemiFuture(T2&& val) : Base(std::forward<T2>(val)) {}
217 template <class T2 = T>
218 /* implicit */ SemiFuture(
219 typename std::enable_if<std::is_same<Unit, T2>::value>::type* p = nullptr)
224 typename std::enable_if<std::is_constructible<T, Args&&...>::value, int>::
226 explicit SemiFuture(in_place_t, Args&&... args)
227 : Base(in_place, std::forward<Args>(args)...) {}
229 SemiFuture(SemiFuture<T> const&) = delete;
231 SemiFuture(SemiFuture<T>&&) noexcept;
232 // safe move-constructabilty from Future
233 /* implicit */ SemiFuture(Future<T>&&) noexcept;
237 using Base::hasException;
238 using Base::hasValue;
239 using Base::isActive;
243 using Base::setCallback_;
246 SemiFuture& operator=(SemiFuture const&) = delete;
247 SemiFuture& operator=(SemiFuture&&) noexcept;
248 SemiFuture& operator=(Future<T>&&) noexcept;
250 /// Block until the future is fulfilled. Returns the value (moved out), or
251 /// throws the exception. The future must not already have a callback.
254 /// Block until the future is fulfilled, or until timed out. Returns the
255 /// value (moved out), or throws the exception (which might be a TimedOut
257 T get(Duration dur) &&;
259 /// Block until this Future is complete. Returns a reference to this Future.
260 SemiFuture<T>& wait() &;
262 /// Overload of wait() for rvalue Futures
263 SemiFuture<T>&& wait() &&;
265 /// Block until this Future is complete or until the given Duration passes.
266 /// Returns a reference to this Future
267 SemiFuture<T>& wait(Duration) &;
269 /// Overload of wait(Duration) for rvalue Futures
270 SemiFuture<T>&& wait(Duration) &&;
272 /// Returns an inactive Future which will call back on the other side of
273 /// executor (when it is activated).
275 /// NB remember that Futures activate when they destruct. This is good,
276 /// it means that this will work:
278 /// f.via(e).then(a).then(b);
280 /// a and b will execute in the same context (the far side of e), because
281 /// the Future (temporary variable) created by via(e) does not call back
282 /// until it destructs, which is after then(a) and then(b) have been wired
285 /// But this is still racy:
287 /// f = f.via(e).then(a);
289 // The ref-qualifier allows for `this` to be moved out so we
290 // don't get access-after-free situations in chaining.
291 // https://akrzemi1.wordpress.com/2014/06/02/ref-qualifiers/
292 inline Future<T> via(
294 int8_t priority = Executor::MID_PRI) &&;
297 * Defer work to run on the consumer of the future.
298 * This work will be run eithe ron an executor that the caller sets on the
299 * SemiFuture, or inline with the call to .get().
300 * NB: This is a custom method because boost-blocking executors is a
301 * special-case for work deferral in folly. With more general boost-blocking
302 * support all executors would boost block and we would simply use some form
303 * of driveable executor here.
305 template <typename F>
306 SemiFuture<typename futures::detail::callableResult<T, F>::Return::value_type>
309 // Public as for setCallback_
310 // Ensure that a boostable executor performs work to chain deferred work
316 friend class futures::detail::FutureBase;
318 friend class SemiFuture;
320 using typename Base::corePtr;
321 using Base::setExecutor;
322 using Base::throwIfInvalid;
325 friend SemiFuture<T2> makeSemiFuture(Try<T2>&&);
327 explicit SemiFuture(corePtr obj) : Base(obj) {}
329 explicit SemiFuture(futures::detail::EmptyConstruct) noexcept
330 : Base(futures::detail::EmptyConstruct{}) {}
334 class Future : private futures::detail::FutureBase<T> {
336 using Base = futures::detail::FutureBase<T>;
339 // Export public interface of FutureBase
340 // FutureBase is inherited privately to avoid subclasses being cast to
341 // a FutureBase pointer
342 using typename Base::value_type;
344 /// Construct a Future from a value (perfect forwarding)
347 typename = typename std::enable_if<
348 !isFuture<typename std::decay<T2>::type>::value &&
349 !isSemiFuture<typename std::decay<T2>::type>::value>::type>
350 /* implicit */ Future(T2&& val) : Base(std::forward<T2>(val)) {}
352 template <class T2 = T>
353 /* implicit */ Future(
354 typename std::enable_if<std::is_same<Unit, T2>::value>::type* p = nullptr)
359 typename std::enable_if<std::is_constructible<T, Args&&...>::value, int>::
361 explicit Future(in_place_t, Args&&... args)
362 : Base(in_place, std::forward<Args>(args)...) {}
364 Future(Future<T> const&) = delete;
366 Future(Future<T>&&) noexcept;
371 typename std::enable_if<
372 !std::is_same<T, typename std::decay<T2>::type>::value &&
373 std::is_constructible<T, T2&&>::value &&
374 std::is_convertible<T2&&, T>::value,
376 /* implicit */ Future(Future<T2>&&);
379 typename std::enable_if<
380 !std::is_same<T, typename std::decay<T2>::type>::value &&
381 std::is_constructible<T, T2&&>::value &&
382 !std::is_convertible<T2&&, T>::value,
384 explicit Future(Future<T2>&&);
387 typename std::enable_if<
388 !std::is_same<T, typename std::decay<T2>::type>::value &&
389 std::is_constructible<T, T2&&>::value,
391 Future& operator=(Future<T2>&&);
395 using Base::hasException;
396 using Base::hasValue;
397 using Base::isActive;
401 using Base::setCallback_;
404 static Future<T> makeEmpty(); // equivalent to moved-from
407 Future& operator=(Future const&) = delete;
410 Future& operator=(Future&&) noexcept;
412 /// Call e->drive() repeatedly until the future is fulfilled. Examples
413 /// of DrivableExecutor include EventBase and ManualExecutor. Returns a
414 /// reference to the Try of the value.
415 Try<T>& getTryVia(DrivableExecutor* e);
417 /// Call e->drive() repeatedly until the future is fulfilled. Examples
418 /// of DrivableExecutor include EventBase and ManualExecutor. Returns the
419 /// value (moved out), or throws the exception.
420 T getVia(DrivableExecutor* e);
422 /// Unwraps the case of a Future<Future<T>> instance, and returns a simple
423 /// Future<T> instance.
424 template <class F = T>
426 enable_if<isFuture<F>::value, Future<typename isFuture<T>::Inner>>::type
429 /// Returns an inactive Future which will call back on the other side of
430 /// executor (when it is activated).
432 /// NB remember that Futures activate when they destruct. This is good,
433 /// it means that this will work:
435 /// f.via(e).then(a).then(b);
437 /// a and b will execute in the same context (the far side of e), because
438 /// the Future (temporary variable) created by via(e) does not call back
439 /// until it destructs, which is after then(a) and then(b) have been wired
442 /// But this is still racy:
444 /// f = f.via(e).then(a);
446 // The ref-qualifier allows for `this` to be moved out so we
447 // don't get access-after-free situations in chaining.
448 // https://akrzemi1.wordpress.com/2014/06/02/ref-qualifiers/
449 inline Future<T> via(
451 int8_t priority = Executor::MID_PRI) &&;
453 /// This variant creates a new future, where the ref-qualifier && version
454 /// moves `this` out. This one is less efficient but avoids confusing users
455 /// when "return f.via(x);" fails.
456 inline Future<T> via(
458 int8_t priority = Executor::MID_PRI) &;
460 /** When this Future has completed, execute func which is a function that
470 Func shall return either another Future or a value.
472 A Future for the return type of func is returned.
474 Future<string> f2 = f1.then([](Try<T>&&) { return string("foo"); });
476 The Future given to the functor is ready, and the functor may call
477 value(), which may rethrow if this has captured an exception. If func
478 throws, the exception will be captured in the Future that is returned.
480 template <typename F, typename R = futures::detail::callableResult<T, F>>
481 typename R::Return then(F&& func) {
482 return this->template thenImplementation<F, R>(
483 std::forward<F>(func), typename R::Arg());
486 /// Variant where func is an member function
488 /// struct Worker { R doWork(Try<T>); }
491 /// Future<R> f2 = f1.then(&Worker::doWork, w);
493 /// This is just sugar for
495 /// f1.then(std::bind(&Worker::doWork, w));
496 template <typename R, typename Caller, typename... Args>
497 Future<typename isFuture<R>::Inner> then(
498 R (Caller::*func)(Args...),
501 /// Execute the callback via the given Executor. The executor doesn't stick.
505 /// f.via(x).then(b).then(c)
509 /// f.then(x, b).then(c)
511 /// In the former both b and c execute via x. In the latter, only b executes
512 /// via x, and c executes via the same executor (if any) that f had.
513 template <class Executor, class Arg, class... Args>
514 auto then(Executor* x, Arg&& arg, Args&&... args) {
515 auto oldX = this->getExecutor();
516 this->setExecutor(x);
517 return this->then(std::forward<Arg>(arg), std::forward<Args>(args)...)
521 /// Convenience method for ignoring the value and creating a Future<Unit>.
522 /// Exceptions still propagate.
523 /// This function is identical to .unit().
526 /// Convenience method for ignoring the value and creating a Future<Unit>.
527 /// Exceptions still propagate.
528 /// This function is identical to parameterless .then().
529 Future<Unit> unit() {
533 /// Set an error callback for this Future. The callback should take a single
534 /// argument of the type that you want to catch, and should return a value of
535 /// the same type as this Future, or a Future of that type (see overload
536 /// below). For instance,
540 /// throw std::runtime_error("oh no!");
543 /// .onError([] (std::runtime_error& e) {
544 /// LOG(INFO) << "std::runtime_error: " << e.what();
545 /// return -1; // or makeFuture<int>(-1)
548 typename std::enable_if<
549 !futures::detail::callableWith<F, exception_wrapper>::value &&
550 !futures::detail::callableWith<F, exception_wrapper&>::value &&
551 !futures::detail::Extract<F>::ReturnsFuture::value,
555 /// Overload of onError where the error callback returns a Future<T>
557 typename std::enable_if<
558 !futures::detail::callableWith<F, exception_wrapper>::value &&
559 !futures::detail::callableWith<F, exception_wrapper&>::value &&
560 futures::detail::Extract<F>::ReturnsFuture::value,
564 /// Overload of onError that takes exception_wrapper and returns Future<T>
566 typename std::enable_if<
567 futures::detail::callableWith<F, exception_wrapper>::value &&
568 futures::detail::Extract<F>::ReturnsFuture::value,
572 /// Overload of onError that takes exception_wrapper and returns T
574 typename std::enable_if<
575 futures::detail::callableWith<F, exception_wrapper>::value &&
576 !futures::detail::Extract<F>::ReturnsFuture::value,
580 /// func is like std::function<void()> and is executed unconditionally, and
581 /// the value/exception is passed through to the resulting Future.
582 /// func shouldn't throw, but if it does it will be captured and propagated,
583 /// and discard any value/exception that this Future has obtained.
585 Future<T> ensure(F&& func);
587 /// Like onError, but for timeouts. example:
589 /// Future<int> f = makeFuture<int>(42)
590 /// .delayed(long_time)
591 /// .onTimeout(short_time,
592 /// []() -> int{ return -1; });
596 /// Future<int> f = makeFuture<int>(42)
597 /// .delayed(long_time)
598 /// .onTimeout(short_time,
599 /// []() { return makeFuture<int>(some_exception); });
601 Future<T> onTimeout(Duration, F&& func, Timekeeper* = nullptr);
603 /// A Future's callback is executed when all three of these conditions have
604 /// become true: it has a value (set by the Promise), it has a callback (set
605 /// by then), and it is active (active by default).
607 /// Inactive Futures will activate upon destruction.
608 FOLLY_DEPRECATED("do not use") Future<T>& activate() & {
609 this->core_->activate();
612 FOLLY_DEPRECATED("do not use") Future<T>& deactivate() & {
613 this->core_->deactivate();
616 FOLLY_DEPRECATED("do not use") Future<T> activate() && {
617 this->core_->activate();
618 return std::move(*this);
620 FOLLY_DEPRECATED("do not use") Future<T> deactivate() && {
621 this->core_->deactivate();
622 return std::move(*this);
625 /// Throw TimedOut if this Future does not complete within the given
626 /// duration from now. The optional Timeekeeper is as with futures::sleep().
627 Future<T> within(Duration, Timekeeper* = nullptr);
629 /// Throw the given exception if this Future does not complete within the
630 /// given duration from now. The optional Timeekeeper is as with
631 /// futures::sleep().
633 Future<T> within(Duration, E exception, Timekeeper* = nullptr);
635 /// Delay the completion of this Future for at least this duration from
636 /// now. The optional Timekeeper is as with futures::sleep().
637 Future<T> delayed(Duration, Timekeeper* = nullptr);
639 /// Block until the future is fulfilled. Returns the value (moved out), or
640 /// throws the exception. The future must not already have a callback.
643 /// Block until the future is fulfilled, or until timed out. Returns the
644 /// value (moved out), or throws the exception (which might be a TimedOut
648 /// Block until this Future is complete. Returns a reference to this Future.
651 /// Overload of wait() for rvalue Futures
652 Future<T>&& wait() &&;
654 /// Block until this Future is complete or until the given Duration passes.
655 /// Returns a reference to this Future
656 Future<T>& wait(Duration) &;
658 /// Overload of wait(Duration) for rvalue Futures
659 Future<T>&& wait(Duration) &&;
661 /// Call e->drive() repeatedly until the future is fulfilled. Examples
662 /// of DrivableExecutor include EventBase and ManualExecutor. Returns a
663 /// reference to this Future so that you can chain calls if desired.
664 /// value (moved out), or throws the exception.
665 Future<T>& waitVia(DrivableExecutor* e) &;
667 /// Overload of waitVia() for rvalue Futures
668 Future<T>&& waitVia(DrivableExecutor* e) &&;
670 /// If the value in this Future is equal to the given Future, when they have
671 /// both completed, the value of the resulting Future<bool> will be true. It
672 /// will be false otherwise (including when one or both Futures have an
674 Future<bool> willEqual(Future<T>&);
676 /// predicate behaves like std::function<bool(T const&)>
677 /// If the predicate does not obtain with the value, the result
678 /// is a folly::PredicateDoesNotObtain exception
680 Future<T> filter(F&& predicate);
682 /// Like reduce, but works on a Future<std::vector<T / Try<T>>>, for example
683 /// the result of collect or collectAll
684 template <class I, class F>
685 Future<I> reduce(I&& initial, F&& func);
687 /// Create a Future chain from a sequence of callbacks. i.e.
689 /// f.then(a).then(b).then(c)
691 /// where f is a Future<A> and the result of the chain is a Future<D>
694 /// f.thenMulti(a, b, c);
695 template <class Callback, class... Callbacks>
696 auto thenMulti(Callback&& fn, Callbacks&&... fns) {
697 // thenMulti with two callbacks is just then(a).thenMulti(b, ...)
698 return then(std::forward<Callback>(fn))
699 .thenMulti(std::forward<Callbacks>(fns)...);
702 template <class Callback>
703 auto thenMulti(Callback&& fn) {
704 // thenMulti with one callback is just a then
705 return then(std::forward<Callback>(fn));
708 /// Create a Future chain from a sequence of callbacks. i.e.
710 /// f.via(executor).then(a).then(b).then(c).via(oldExecutor)
712 /// where f is a Future<A> and the result of the chain is a Future<D>
715 /// f.thenMultiWithExecutor(executor, a, b, c);
716 template <class Callback, class... Callbacks>
717 auto thenMultiWithExecutor(Executor* x, Callback&& fn, Callbacks&&... fns) {
718 // thenMultiExecutor with two callbacks is
719 // via(x).then(a).thenMulti(b, ...).via(oldX)
720 auto oldX = this->getExecutor();
721 this->setExecutor(x);
722 return then(std::forward<Callback>(fn))
723 .thenMulti(std::forward<Callbacks>(fns)...)
727 template <class Callback>
728 auto thenMultiWithExecutor(Executor* x, Callback&& fn) {
729 // thenMulti with one callback is just a then with an executor
730 return then(x, std::forward<Callback>(fn));
733 // Convert this Future to a SemiFuture to safely export from a library
734 // without exposing a continuation interface
735 SemiFuture<T> semi() {
736 return SemiFuture<T>{std::move(*this)};
740 friend class Promise<T>;
742 friend class futures::detail::FutureBase;
746 friend class SemiFuture;
748 using Base::setExecutor;
749 using Base::throwIfInvalid;
750 using typename Base::corePtr;
752 explicit Future(corePtr obj) : Base(obj) {}
754 explicit Future(futures::detail::EmptyConstruct) noexcept
755 : Base(futures::detail::EmptyConstruct{}) {}
758 friend Future<T2> makeFuture(Try<T2>&&);
760 /// Repeat the given future (i.e., the computation it contains)
763 /// thunk behaves like std::function<Future<T2>(void)>
765 friend Future<Unit> times(int n, F&& thunk);
767 /// Carry out the computation contained in the given future if
768 /// the predicate holds.
770 /// thunk behaves like std::function<Future<T2>(void)>
772 friend Future<Unit> when(bool p, F&& thunk);
774 /// Carry out the computation contained in the given future if
775 /// while the predicate continues to hold.
777 /// thunk behaves like std::function<Future<T2>(void)>
779 /// predicate behaves like std::function<bool(void)>
780 template <class P, class F>
781 friend Future<Unit> whileDo(P&& predicate, F&& thunk);
786 #include <folly/futures/Future-inl.h>