Home | History | Annotate | Download | only in base
      1 // Copyright (c) 2011 The Chromium Authors. All rights reserved.
      2 // Use of this source code is governed by a BSD-style license that can be
      3 // found in the LICENSE file.
      4 
      5 #ifndef BASE_BIND_H_
      6 #define BASE_BIND_H_
      7 
      8 #include <utility>
      9 
     10 #include "base/bind_internal.h"
     11 #include "base/compiler_specific.h"
     12 #include "build/build_config.h"
     13 
     14 #if defined(OS_MACOSX) && !HAS_FEATURE(objc_arc)
     15 #include "base/mac/scoped_block.h"
     16 #endif
     17 
     18 // -----------------------------------------------------------------------------
     19 // Usage documentation
     20 // -----------------------------------------------------------------------------
     21 //
     22 // Overview:
     23 // base::BindOnce() and base::BindRepeating() are helpers for creating
     24 // base::OnceCallback and base::RepeatingCallback objects respectively.
     25 //
     26 // For a runnable object of n-arity, the base::Bind*() family allows partial
     27 // application of the first m arguments. The remaining n - m arguments must be
     28 // passed when invoking the callback with Run().
     29 //
     30 //   // The first argument is bound at callback creation; the remaining
     31 //   // two must be passed when calling Run() on the callback object.
     32 //   base::OnceCallback<void(int, long)> cb = base::BindOnce(
     33 //       [](short x, int y, long z) { return x * y * z; }, 42);
     34 //
     35 // When binding to a method, the receiver object must also be specified at
     36 // callback creation time. When Run() is invoked, the method will be invoked on
     37 // the specified receiver object.
     38 //
     39 //   class C : public base::RefCounted<C> { void F(); };
     40 //   auto instance = base::MakeRefCounted<C>();
     41 //   auto cb = base::BindOnce(&C::F, instance);
     42 //   cb.Run();  // Identical to instance->F()
     43 //
     44 // base::Bind is currently a type alias for base::BindRepeating(). In the
     45 // future, we expect to flip this to default to base::BindOnce().
     46 //
     47 // See //docs/callback.md for the full documentation.
     48 //
     49 // -----------------------------------------------------------------------------
     50 // Implementation notes
     51 // -----------------------------------------------------------------------------
     52 //
     53 // If you're reading the implementation, before proceeding further, you should
     54 // read the top comment of base/bind_internal.h for a definition of common
     55 // terms and concepts.
     56 
     57 namespace base {
     58 
     59 namespace internal {
     60 
     61 // IsOnceCallback<T> is a std::true_type if |T| is a OnceCallback.
     62 template <typename T>
     63 struct IsOnceCallback : std::false_type {};
     64 
     65 template <typename Signature>
     66 struct IsOnceCallback<OnceCallback<Signature>> : std::true_type {};
     67 
     68 // Helper to assert that parameter |i| of type |Arg| can be bound, which means:
     69 // - |Arg| can be retained internally as |Storage|.
     70 // - |Arg| can be forwarded as |Unwrapped| to |Param|.
     71 template <size_t i,
     72           typename Arg,
     73           typename Storage,
     74           typename Unwrapped,
     75           typename Param>
     76 struct AssertConstructible {
     77  private:
     78   static constexpr bool param_is_forwardable =
     79       std::is_constructible<Param, Unwrapped>::value;
     80   // Unlike the check for binding into storage below, the check for
     81   // forwardability drops the const qualifier for repeating callbacks. This is
     82   // to try to catch instances where std::move()--which forwards as a const
     83   // reference with repeating callbacks--is used instead of base::Passed().
     84   static_assert(
     85       param_is_forwardable ||
     86           !std::is_constructible<Param, std::decay_t<Unwrapped>&&>::value,
     87       "Bound argument |i| is move-only but will be forwarded by copy. "
     88       "Ensure |Arg| is bound using base::Passed(), not std::move().");
     89   static_assert(
     90       param_is_forwardable,
     91       "Bound argument |i| of type |Arg| cannot be forwarded as "
     92       "|Unwrapped| to the bound functor, which declares it as |Param|.");
     93 
     94   static constexpr bool arg_is_storable =
     95       std::is_constructible<Storage, Arg>::value;
     96   static_assert(arg_is_storable ||
     97                     !std::is_constructible<Storage, std::decay_t<Arg>&&>::value,
     98                 "Bound argument |i| is move-only but will be bound by copy. "
     99                 "Ensure |Arg| is mutable and bound using std::move().");
    100   static_assert(arg_is_storable,
    101                 "Bound argument |i| of type |Arg| cannot be converted and "
    102                 "bound as |Storage|.");
    103 };
    104 
    105 // Takes three same-length TypeLists, and applies AssertConstructible for each
    106 // triples.
    107 template <typename Index,
    108           typename Args,
    109           typename UnwrappedTypeList,
    110           typename ParamsList>
    111 struct AssertBindArgsValidity;
    112 
    113 template <size_t... Ns,
    114           typename... Args,
    115           typename... Unwrapped,
    116           typename... Params>
    117 struct AssertBindArgsValidity<std::index_sequence<Ns...>,
    118                               TypeList<Args...>,
    119                               TypeList<Unwrapped...>,
    120                               TypeList<Params...>>
    121     : AssertConstructible<Ns, Args, std::decay_t<Args>, Unwrapped, Params>... {
    122   static constexpr bool ok = true;
    123 };
    124 
    125 // The implementation of TransformToUnwrappedType below.
    126 template <bool is_once, typename T>
    127 struct TransformToUnwrappedTypeImpl;
    128 
    129 template <typename T>
    130 struct TransformToUnwrappedTypeImpl<true, T> {
    131   using StoredType = std::decay_t<T>;
    132   using ForwardType = StoredType&&;
    133   using Unwrapped = decltype(Unwrap(std::declval<ForwardType>()));
    134 };
    135 
    136 template <typename T>
    137 struct TransformToUnwrappedTypeImpl<false, T> {
    138   using StoredType = std::decay_t<T>;
    139   using ForwardType = const StoredType&;
    140   using Unwrapped = decltype(Unwrap(std::declval<ForwardType>()));
    141 };
    142 
    143 // Transform |T| into `Unwrapped` type, which is passed to the target function.
    144 // Example:
    145 //   In is_once == true case,
    146 //     `int&&` -> `int&&`,
    147 //     `const int&` -> `int&&`,
    148 //     `OwnedWrapper<int>&` -> `int*&&`.
    149 //   In is_once == false case,
    150 //     `int&&` -> `const int&`,
    151 //     `const int&` -> `const int&`,
    152 //     `OwnedWrapper<int>&` -> `int* const &`.
    153 template <bool is_once, typename T>
    154 using TransformToUnwrappedType =
    155     typename TransformToUnwrappedTypeImpl<is_once, T>::Unwrapped;
    156 
    157 // Transforms |Args| into `Unwrapped` types, and packs them into a TypeList.
    158 // If |is_method| is true, tries to dereference the first argument to support
    159 // smart pointers.
    160 template <bool is_once, bool is_method, typename... Args>
    161 struct MakeUnwrappedTypeListImpl {
    162   using Type = TypeList<TransformToUnwrappedType<is_once, Args>...>;
    163 };
    164 
    165 // Performs special handling for this pointers.
    166 // Example:
    167 //   int* -> int*,
    168 //   std::unique_ptr<int> -> int*.
    169 template <bool is_once, typename Receiver, typename... Args>
    170 struct MakeUnwrappedTypeListImpl<is_once, true, Receiver, Args...> {
    171   using UnwrappedReceiver = TransformToUnwrappedType<is_once, Receiver>;
    172   using Type = TypeList<decltype(&*std::declval<UnwrappedReceiver>()),
    173                         TransformToUnwrappedType<is_once, Args>...>;
    174 };
    175 
    176 template <bool is_once, bool is_method, typename... Args>
    177 using MakeUnwrappedTypeList =
    178     typename MakeUnwrappedTypeListImpl<is_once, is_method, Args...>::Type;
    179 
    180 }  // namespace internal
    181 
    182 // Bind as OnceCallback.
    183 template <typename Functor, typename... Args>
    184 inline OnceCallback<MakeUnboundRunType<Functor, Args...>>
    185 BindOnce(Functor&& functor, Args&&... args) {
    186   static_assert(!internal::IsOnceCallback<std::decay_t<Functor>>() ||
    187                     (std::is_rvalue_reference<Functor&&>() &&
    188                      !std::is_const<std::remove_reference_t<Functor>>()),
    189                 "BindOnce requires non-const rvalue for OnceCallback binding."
    190                 " I.e.: base::BindOnce(std::move(callback)).");
    191 
    192   // This block checks if each |args| matches to the corresponding params of the
    193   // target function. This check does not affect the behavior of Bind, but its
    194   // error message should be more readable.
    195   using Helper = internal::BindTypeHelper<Functor, Args...>;
    196   using FunctorTraits = typename Helper::FunctorTraits;
    197   using BoundArgsList = typename Helper::BoundArgsList;
    198   using UnwrappedArgsList =
    199       internal::MakeUnwrappedTypeList<true, FunctorTraits::is_method,
    200                                       Args&&...>;
    201   using BoundParamsList = typename Helper::BoundParamsList;
    202   static_assert(internal::AssertBindArgsValidity<
    203                     std::make_index_sequence<Helper::num_bounds>, BoundArgsList,
    204                     UnwrappedArgsList, BoundParamsList>::ok,
    205                 "The bound args need to be convertible to the target params.");
    206 
    207   using BindState = internal::MakeBindStateType<Functor, Args...>;
    208   using UnboundRunType = MakeUnboundRunType<Functor, Args...>;
    209   using Invoker = internal::Invoker<BindState, UnboundRunType>;
    210   using CallbackType = OnceCallback<UnboundRunType>;
    211 
    212   // Store the invoke func into PolymorphicInvoke before casting it to
    213   // InvokeFuncStorage, so that we can ensure its type matches to
    214   // PolymorphicInvoke, to which CallbackType will cast back.
    215   using PolymorphicInvoke = typename CallbackType::PolymorphicInvoke;
    216   PolymorphicInvoke invoke_func = &Invoker::RunOnce;
    217 
    218   using InvokeFuncStorage = internal::BindStateBase::InvokeFuncStorage;
    219   return CallbackType(new BindState(
    220       reinterpret_cast<InvokeFuncStorage>(invoke_func),
    221       std::forward<Functor>(functor),
    222       std::forward<Args>(args)...));
    223 }
    224 
    225 // Bind as RepeatingCallback.
    226 template <typename Functor, typename... Args>
    227 inline RepeatingCallback<MakeUnboundRunType<Functor, Args...>>
    228 BindRepeating(Functor&& functor, Args&&... args) {
    229   static_assert(
    230       !internal::IsOnceCallback<std::decay_t<Functor>>(),
    231       "BindRepeating cannot bind OnceCallback. Use BindOnce with std::move().");
    232 
    233   // This block checks if each |args| matches to the corresponding params of the
    234   // target function. This check does not affect the behavior of Bind, but its
    235   // error message should be more readable.
    236   using Helper = internal::BindTypeHelper<Functor, Args...>;
    237   using FunctorTraits = typename Helper::FunctorTraits;
    238   using BoundArgsList = typename Helper::BoundArgsList;
    239   using UnwrappedArgsList =
    240       internal::MakeUnwrappedTypeList<false, FunctorTraits::is_method,
    241                                       Args&&...>;
    242   using BoundParamsList = typename Helper::BoundParamsList;
    243   static_assert(internal::AssertBindArgsValidity<
    244                     std::make_index_sequence<Helper::num_bounds>, BoundArgsList,
    245                     UnwrappedArgsList, BoundParamsList>::ok,
    246                 "The bound args need to be convertible to the target params.");
    247 
    248   using BindState = internal::MakeBindStateType<Functor, Args...>;
    249   using UnboundRunType = MakeUnboundRunType<Functor, Args...>;
    250   using Invoker = internal::Invoker<BindState, UnboundRunType>;
    251   using CallbackType = RepeatingCallback<UnboundRunType>;
    252 
    253   // Store the invoke func into PolymorphicInvoke before casting it to
    254   // InvokeFuncStorage, so that we can ensure its type matches to
    255   // PolymorphicInvoke, to which CallbackType will cast back.
    256   using PolymorphicInvoke = typename CallbackType::PolymorphicInvoke;
    257   PolymorphicInvoke invoke_func = &Invoker::Run;
    258 
    259   using InvokeFuncStorage = internal::BindStateBase::InvokeFuncStorage;
    260   return CallbackType(new BindState(
    261       reinterpret_cast<InvokeFuncStorage>(invoke_func),
    262       std::forward<Functor>(functor),
    263       std::forward<Args>(args)...));
    264 }
    265 
    266 // Unannotated Bind.
    267 // TODO(tzik): Deprecate this and migrate to OnceCallback and
    268 // RepeatingCallback, once they get ready.
    269 template <typename Functor, typename... Args>
    270 inline Callback<MakeUnboundRunType<Functor, Args...>>
    271 Bind(Functor&& functor, Args&&... args) {
    272   return base::BindRepeating(std::forward<Functor>(functor),
    273                              std::forward<Args>(args)...);
    274 }
    275 
    276 // Special cases for binding to a base::Callback without extra bound arguments.
    277 template <typename Signature>
    278 OnceCallback<Signature> BindOnce(OnceCallback<Signature> closure) {
    279   return closure;
    280 }
    281 
    282 template <typename Signature>
    283 RepeatingCallback<Signature> BindRepeating(
    284     RepeatingCallback<Signature> closure) {
    285   return closure;
    286 }
    287 
    288 template <typename Signature>
    289 Callback<Signature> Bind(Callback<Signature> closure) {
    290   return closure;
    291 }
    292 
    293 // Unretained() allows Bind() to bind a non-refcounted class, and to disable
    294 // refcounting on arguments that are refcounted objects.
    295 //
    296 // EXAMPLE OF Unretained():
    297 //
    298 //   class Foo {
    299 //    public:
    300 //     void func() { cout << "Foo:f" << endl; }
    301 //   };
    302 //
    303 //   // In some function somewhere.
    304 //   Foo foo;
    305 //   Closure foo_callback =
    306 //       Bind(&Foo::func, Unretained(&foo));
    307 //   foo_callback.Run();  // Prints "Foo:f".
    308 //
    309 // Without the Unretained() wrapper on |&foo|, the above call would fail
    310 // to compile because Foo does not support the AddRef() and Release() methods.
    311 template <typename T>
    312 static inline internal::UnretainedWrapper<T> Unretained(T* o) {
    313   return internal::UnretainedWrapper<T>(o);
    314 }
    315 
    316 // RetainedRef() accepts a ref counted object and retains a reference to it.
    317 // When the callback is called, the object is passed as a raw pointer.
    318 //
    319 // EXAMPLE OF RetainedRef():
    320 //
    321 //    void foo(RefCountedBytes* bytes) {}
    322 //
    323 //    scoped_refptr<RefCountedBytes> bytes = ...;
    324 //    Closure callback = Bind(&foo, base::RetainedRef(bytes));
    325 //    callback.Run();
    326 //
    327 // Without RetainedRef, the scoped_refptr would try to implicitly convert to
    328 // a raw pointer and fail compilation:
    329 //
    330 //    Closure callback = Bind(&foo, bytes); // ERROR!
    331 template <typename T>
    332 static inline internal::RetainedRefWrapper<T> RetainedRef(T* o) {
    333   return internal::RetainedRefWrapper<T>(o);
    334 }
    335 template <typename T>
    336 static inline internal::RetainedRefWrapper<T> RetainedRef(scoped_refptr<T> o) {
    337   return internal::RetainedRefWrapper<T>(std::move(o));
    338 }
    339 
    340 // ConstRef() allows binding a constant reference to an argument rather
    341 // than a copy.
    342 //
    343 // EXAMPLE OF ConstRef():
    344 //
    345 //   void foo(int arg) { cout << arg << endl }
    346 //
    347 //   int n = 1;
    348 //   Closure no_ref = Bind(&foo, n);
    349 //   Closure has_ref = Bind(&foo, ConstRef(n));
    350 //
    351 //   no_ref.Run();  // Prints "1"
    352 //   has_ref.Run();  // Prints "1"
    353 //
    354 //   n = 2;
    355 //   no_ref.Run();  // Prints "1"
    356 //   has_ref.Run();  // Prints "2"
    357 //
    358 // Note that because ConstRef() takes a reference on |n|, |n| must outlive all
    359 // its bound callbacks.
    360 template <typename T>
    361 static inline internal::ConstRefWrapper<T> ConstRef(const T& o) {
    362   return internal::ConstRefWrapper<T>(o);
    363 }
    364 
    365 // Owned() transfers ownership of an object to the Callback resulting from
    366 // bind; the object will be deleted when the Callback is deleted.
    367 //
    368 // EXAMPLE OF Owned():
    369 //
    370 //   void foo(int* arg) { cout << *arg << endl }
    371 //
    372 //   int* pn = new int(1);
    373 //   Closure foo_callback = Bind(&foo, Owned(pn));
    374 //
    375 //   foo_callback.Run();  // Prints "1"
    376 //   foo_callback.Run();  // Prints "1"
    377 //   *n = 2;
    378 //   foo_callback.Run();  // Prints "2"
    379 //
    380 //   foo_callback.Reset();  // |pn| is deleted.  Also will happen when
    381 //                          // |foo_callback| goes out of scope.
    382 //
    383 // Without Owned(), someone would have to know to delete |pn| when the last
    384 // reference to the Callback is deleted.
    385 template <typename T>
    386 static inline internal::OwnedWrapper<T> Owned(T* o) {
    387   return internal::OwnedWrapper<T>(o);
    388 }
    389 
    390 // Passed() is for transferring movable-but-not-copyable types (eg. unique_ptr)
    391 // through a Callback. Logically, this signifies a destructive transfer of
    392 // the state of the argument into the target function.  Invoking
    393 // Callback::Run() twice on a Callback that was created with a Passed()
    394 // argument will CHECK() because the first invocation would have already
    395 // transferred ownership to the target function.
    396 //
    397 // Note that Passed() is not necessary with BindOnce(), as std::move() does the
    398 // same thing. Avoid Passed() in favor of std::move() with BindOnce().
    399 //
    400 // EXAMPLE OF Passed():
    401 //
    402 //   void TakesOwnership(std::unique_ptr<Foo> arg) { }
    403 //   std::unique_ptr<Foo> CreateFoo() { return std::make_unique<Foo>();
    404 //   }
    405 //
    406 //   auto f = std::make_unique<Foo>();
    407 //
    408 //   // |cb| is given ownership of Foo(). |f| is now NULL.
    409 //   // You can use std::move(f) in place of &f, but it's more verbose.
    410 //   Closure cb = Bind(&TakesOwnership, Passed(&f));
    411 //
    412 //   // Run was never called so |cb| still owns Foo() and deletes
    413 //   // it on Reset().
    414 //   cb.Reset();
    415 //
    416 //   // |cb| is given a new Foo created by CreateFoo().
    417 //   cb = Bind(&TakesOwnership, Passed(CreateFoo()));
    418 //
    419 //   // |arg| in TakesOwnership() is given ownership of Foo(). |cb|
    420 //   // no longer owns Foo() and, if reset, would not delete Foo().
    421 //   cb.Run();  // Foo() is now transferred to |arg| and deleted.
    422 //   cb.Run();  // This CHECK()s since Foo() already been used once.
    423 //
    424 // We offer 2 syntaxes for calling Passed().  The first takes an rvalue and
    425 // is best suited for use with the return value of a function or other temporary
    426 // rvalues. The second takes a pointer to the scoper and is just syntactic sugar
    427 // to avoid having to write Passed(std::move(scoper)).
    428 //
    429 // Both versions of Passed() prevent T from being an lvalue reference. The first
    430 // via use of enable_if, and the second takes a T* which will not bind to T&.
    431 template <typename T,
    432           std::enable_if_t<!std::is_lvalue_reference<T>::value>* = nullptr>
    433 static inline internal::PassedWrapper<T> Passed(T&& scoper) {
    434   return internal::PassedWrapper<T>(std::move(scoper));
    435 }
    436 template <typename T>
    437 static inline internal::PassedWrapper<T> Passed(T* scoper) {
    438   return internal::PassedWrapper<T>(std::move(*scoper));
    439 }
    440 
    441 // IgnoreResult() is used to adapt a function or Callback with a return type to
    442 // one with a void return. This is most useful if you have a function with,
    443 // say, a pesky ignorable bool return that you want to use with PostTask or
    444 // something else that expect a Callback with a void return.
    445 //
    446 // EXAMPLE OF IgnoreResult():
    447 //
    448 //   int DoSomething(int arg) { cout << arg << endl; }
    449 //
    450 //   // Assign to a Callback with a void return type.
    451 //   Callback<void(int)> cb = Bind(IgnoreResult(&DoSomething));
    452 //   cb->Run(1);  // Prints "1".
    453 //
    454 //   // Prints "1" on |ml|.
    455 //   ml->PostTask(FROM_HERE, Bind(IgnoreResult(&DoSomething), 1);
    456 template <typename T>
    457 static inline internal::IgnoreResultHelper<T> IgnoreResult(T data) {
    458   return internal::IgnoreResultHelper<T>(std::move(data));
    459 }
    460 
    461 #if defined(OS_MACOSX) && !HAS_FEATURE(objc_arc)
    462 
    463 // RetainBlock() is used to adapt an Objective-C block when Automated Reference
    464 // Counting (ARC) is disabled. This is unnecessary when ARC is enabled, as the
    465 // BindOnce and BindRepeating already support blocks then.
    466 //
    467 // EXAMPLE OF RetainBlock():
    468 //
    469 //   // Wrap the block and bind it to a callback.
    470 //   Callback<void(int)> cb = Bind(RetainBlock(^(int n) { NSLog(@"%d", n); }));
    471 //   cb.Run(1);  // Logs "1".
    472 template <typename R, typename... Args>
    473 base::mac::ScopedBlock<R (^)(Args...)> RetainBlock(R (^block)(Args...)) {
    474   return base::mac::ScopedBlock<R (^)(Args...)>(block,
    475                                                 base::scoped_policy::RETAIN);
    476 }
    477 
    478 #endif  // defined(OS_MACOSX) && !HAS_FEATURE(objc_arc)
    479 
    480 }  // namespace base
    481 
    482 #endif  // BASE_BIND_H_
    483