Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(108)

Side by Side Diff: base/callback_internal.h

Issue 8483003: Callback API Change: Reimplement Bind(); support IgnoreResult, full currying, and use less types (Closed) Base URL: svn://svn.chromium.org/chrome/trunk/src
Patch Set: rebased Created 9 years, 1 month ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
« no previous file with comments | « base/callback.h.pump ('k') | base/callback_internal.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright (c) 2011 The Chromium Authors. All rights reserved. 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 2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file. 3 // found in the LICENSE file.
4 4
5 // This file contains utility functions and classes that help the 5 // This file contains utility functions and classes that help the
6 // implementation, and management of the Callback objects. 6 // implementation, and management of the Callback objects.
7 7
8 #ifndef BASE_CALLBACK_INTERNAL_H_ 8 #ifndef BASE_CALLBACK_INTERNAL_H_
9 #define BASE_CALLBACK_INTERNAL_H_ 9 #define BASE_CALLBACK_INTERNAL_H_
10 #pragma once 10 #pragma once
11 11
12 #include <stddef.h> 12 #include <stddef.h>
13 13
14 #include "base/base_export.h" 14 #include "base/base_export.h"
15 #include "base/memory/ref_counted.h" 15 #include "base/memory/ref_counted.h"
16 16
17 namespace base { 17 namespace base {
18 namespace internal { 18 namespace internal {
19 19
20 // InvokerStorageBase is used to provide an opaque handle that the Callback 20 // BindStateBase is used to provide an opaque handle that the Callback
21 // class can use to represent a function object with bound arguments. It 21 // class can use to represent a function object with bound arguments. It
22 // behaves as an existential type that is used by a corresponding 22 // behaves as an existential type that is used by a corresponding
23 // DoInvoke function to perform the function execution. This allows 23 // DoInvoke function to perform the function execution. This allows
24 // us to shield the Callback class from the types of the bound argument via 24 // us to shield the Callback class from the types of the bound argument via
25 // "type erasure." 25 // "type erasure."
26 class InvokerStorageBase : public RefCountedThreadSafe<InvokerStorageBase> { 26 class BindStateBase : public RefCountedThreadSafe<BindStateBase> {
27 protected: 27 protected:
28 friend class RefCountedThreadSafe<InvokerStorageBase>; 28 friend class RefCountedThreadSafe<BindStateBase>;
29 virtual ~InvokerStorageBase() {} 29 virtual ~BindStateBase() {}
30 }; 30 };
31 31
32 // This structure exists purely to pass the returned |invoker_storage_| from 32 // This structure exists purely to pass the returned |bind_state_| from
33 // Bind() to Callback while avoiding an extra AddRef/Release() pair. 33 // Bind() to Callback while avoiding an extra AddRef/Release() pair.
34 // 34 //
35 // To do this, the constructor of Callback<> must take a const-ref. The 35 // To do this, the constructor of Callback<> must take a const-ref. The
36 // reference must be to a const object otherwise the compiler will emit a 36 // reference must be to a const object otherwise the compiler will emit a
37 // warning about taking a reference to a temporary. 37 // warning about taking a reference to a temporary.
38 // 38 //
39 // Unfortunately, this means that the internal |invoker_storage_| field must 39 // Unfortunately, this means that the internal |bind_state_| field must
40 // be made mutable. 40 // be made mutable.
41 template <typename T> 41 template <typename T>
42 struct InvokerStorageHolder { 42 struct BindStateHolder {
43 explicit InvokerStorageHolder(T* invoker_storage) 43 explicit BindStateHolder(T* bind_state)
44 : invoker_storage_(invoker_storage) { 44 : bind_state_(bind_state) {
45 } 45 }
46 46
47 mutable scoped_refptr<InvokerStorageBase> invoker_storage_; 47 mutable scoped_refptr<BindStateBase> bind_state_;
48 }; 48 };
49 49
50 template <typename T> 50 template <typename T>
51 InvokerStorageHolder<T> MakeInvokerStorageHolder(T* o) { 51 BindStateHolder<T> MakeBindStateHolder(T* o) {
52 return InvokerStorageHolder<T>(o); 52 return BindStateHolder<T>(o);
53 } 53 }
54 54
55 // Holds the Callback methods that don't require specialization to reduce 55 // Holds the Callback methods that don't require specialization to reduce
56 // template bloat. 56 // template bloat.
57 class BASE_EXPORT CallbackBase { 57 class BASE_EXPORT CallbackBase {
58 public: 58 public:
59 // Returns true if Callback is null (doesn't refer to anything). 59 // Returns true if Callback is null (doesn't refer to anything).
60 bool is_null() const; 60 bool is_null() const;
61 61
62 // Returns the Callback into an uninitialized state. 62 // Returns the Callback into an uninitialized state.
63 void Reset(); 63 void Reset();
64 64
65 protected: 65 protected:
66 // In C++, it is safe to cast function pointers to function pointers of 66 // In C++, it is safe to cast function pointers to function pointers of
67 // another type. It is not okay to use void*. We create a InvokeFuncStorage 67 // another type. It is not okay to use void*. We create a InvokeFuncStorage
68 // that that can store our function pointer, and then cast it back to 68 // that that can store our function pointer, and then cast it back to
69 // the original type on usage. 69 // the original type on usage.
70 typedef void(*InvokeFuncStorage)(void); 70 typedef void(*InvokeFuncStorage)(void);
71 71
72 // Returns true if this callback equals |other|. |other| may be null. 72 // Returns true if this callback equals |other|. |other| may be null.
73 bool Equals(const CallbackBase& other) const; 73 bool Equals(const CallbackBase& other) const;
74 74
75 CallbackBase(InvokeFuncStorage polymorphic_invoke, 75 CallbackBase(InvokeFuncStorage polymorphic_invoke,
76 scoped_refptr<InvokerStorageBase>* invoker_storage); 76 scoped_refptr<BindStateBase>* bind_state);
77 77
78 // Force the destructor to be instantiated inside this translation unit so 78 // Force the destructor to be instantiated inside this translation unit so
79 // that our subclasses will not get inlined versions. Avoids more template 79 // that our subclasses will not get inlined versions. Avoids more template
80 // bloat. 80 // bloat.
81 ~CallbackBase(); 81 ~CallbackBase();
82 82
83 scoped_refptr<InvokerStorageBase> invoker_storage_; 83 scoped_refptr<BindStateBase> bind_state_;
84 InvokeFuncStorage polymorphic_invoke_; 84 InvokeFuncStorage polymorphic_invoke_;
85 }; 85 };
86 86
87 // This is a typetraits object that's used to take an argument type, and 87 // This is a typetraits object that's used to take an argument type, and
88 // extract a suitable type for storing and forwarding arguments. 88 // extract a suitable type for storing and forwarding arguments.
89 // 89 //
90 // In particular, it strips off references, and converts arrays to 90 // In particular, it strips off references, and converts arrays to
91 // pointers for storage; and it avoids accidentally trying to create a 91 // pointers for storage; and it avoids accidentally trying to create a
92 // "reference of a reference" if the argument is a reference type. 92 // "reference of a reference" if the argument is a reference type.
93 // 93 //
94 // This array type becomes an issue for storage because we are passing bound 94 // This array type becomes an issue for storage because we are passing bound
95 // parameters by const reference. In this case, we end up passing an actual 95 // parameters by const reference. In this case, we end up passing an actual
96 // array type in the initializer list which C++ does not allow. This will 96 // array type in the initializer list which C++ does not allow. This will
97 // break passing of C-string literals. 97 // break passing of C-string literals.
98 template <typename T> 98 template <typename T>
99 struct ParamTraits { 99 struct CallbackParamTraits {
100 typedef const T& ForwardType; 100 typedef const T& ForwardType;
101 typedef T StorageType; 101 typedef T StorageType;
102 }; 102 };
103 103
104 // The Storage should almost be impossible to trigger unless someone manually 104 // The Storage should almost be impossible to trigger unless someone manually
105 // specifies type of the bind parameters. However, in case they do, 105 // specifies type of the bind parameters. However, in case they do,
106 // this will guard against us accidentally storing a reference parameter. 106 // this will guard against us accidentally storing a reference parameter.
107 // 107 //
108 // The ForwardType should only be used for unbound arguments. 108 // The ForwardType should only be used for unbound arguments.
109 template <typename T> 109 template <typename T>
110 struct ParamTraits<T&> { 110 struct CallbackParamTraits<T&> {
111 typedef T& ForwardType; 111 typedef T& ForwardType;
112 typedef T StorageType; 112 typedef T StorageType;
113 }; 113 };
114 114
115 // Note that for array types, we implicitly add a const in the conversion. This 115 // Note that for array types, we implicitly add a const in the conversion. This
116 // means that it is not possible to bind array arguments to functions that take 116 // means that it is not possible to bind array arguments to functions that take
117 // a non-const pointer. Trying to specialize the template based on a "const 117 // a non-const pointer. Trying to specialize the template based on a "const
118 // T[n]" does not seem to match correctly, so we are stuck with this 118 // T[n]" does not seem to match correctly, so we are stuck with this
119 // restriction. 119 // restriction.
120 template <typename T, size_t n> 120 template <typename T, size_t n>
121 struct ParamTraits<T[n]> { 121 struct CallbackParamTraits<T[n]> {
122 typedef const T* ForwardType; 122 typedef const T* ForwardType;
123 typedef const T* StorageType; 123 typedef const T* StorageType;
124 }; 124 };
125 125
126 // See comment for ParamTraits<T[n]>. 126 // See comment for CallbackParamTraits<T[n]>.
127 template <typename T> 127 template <typename T>
128 struct ParamTraits<T[]> { 128 struct CallbackParamTraits<T[]> {
129 typedef const T* ForwardType; 129 typedef const T* ForwardType;
130 typedef const T* StorageType; 130 typedef const T* StorageType;
131 }; 131 };
132 132
133 } // namespace internal 133 } // namespace internal
134 } // namespace base 134 } // namespace base
135 135
136 #endif // BASE_CALLBACK_INTERNAL_H_ 136 #endif // BASE_CALLBACK_INTERNAL_H_
OLDNEW
« no previous file with comments | « base/callback.h.pump ('k') | base/callback_internal.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698