kolczyk | 735c49b6 | 2014-10-24 13:06:04 | [diff] [blame] | 1 | // Copyright 2014 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. |
[email protected] | 37dacfa | 2013-11-26 03:31:04 | [diff] [blame] | 4 | |
[email protected] | b520e13 | 2013-11-29 03:21:48 | [diff] [blame] | 5 | #ifndef GIN_FUNCTION_TEMPLATE_H_ |
| 6 | #define GIN_FUNCTION_TEMPLATE_H_ |
| 7 | |
avi | 90e658dd | 2015-12-21 07:16:19 | [diff] [blame] | 8 | #include <stddef.h> |
Jeremy Roman | 6a1242b | 2019-02-04 17:51:57 | [diff] [blame] | 9 | #include <utility> |
avi | 90e658dd | 2015-12-21 07:16:19 | [diff] [blame] | 10 | |
[email protected] | 314cde1 | 2013-11-23 20:26:51 | [diff] [blame] | 11 | #include "base/callback.h" |
Hans Wennborg | c8b134b | 2020-06-19 21:15:39 | [diff] [blame] | 12 | #include "base/check.h" |
Keishi Hattori | 0e45c02 | 2021-11-27 09:25:52 | [diff] [blame] | 13 | #include "base/memory/raw_ptr.h" |
Devlin Cronin | e9db984 | 2018-04-09 17:51:05 | [diff] [blame] | 14 | #include "base/strings/strcat.h" |
[email protected] | 314cde1 | 2013-11-23 20:26:51 | [diff] [blame] | 15 | #include "gin/arguments.h" |
| 16 | #include "gin/converter.h" |
[email protected] | 48c2163 | 2013-12-12 21:32:34 | [diff] [blame] | 17 | #include "gin/gin_export.h" |
Dan Elphick | 05acd60 | 2021-08-30 15:22:07 | [diff] [blame] | 18 | #include "v8/include/v8-external.h" |
| 19 | #include "v8/include/v8-forward.h" |
| 20 | #include "v8/include/v8-persistent-handle.h" |
| 21 | #include "v8/include/v8-template.h" |
[email protected] | 314cde1 | 2013-11-23 20:26:51 | [diff] [blame] | 22 | |
| 23 | namespace gin { |
| 24 | |
Devlin Cronin | e9db984 | 2018-04-09 17:51:05 | [diff] [blame] | 25 | struct InvokerOptions { |
| 26 | bool holder_is_first_argument = false; |
| 27 | const char* holder_type = nullptr; // Null if unknown or not applicable. |
[email protected] | bf3dd3c | 2013-12-06 06:55:25 | [diff] [blame] | 28 | }; |
| 29 | |
[email protected] | 37dacfa | 2013-11-26 03:31:04 | [diff] [blame] | 30 | namespace internal { |
| 31 | |
[email protected] | 314cde1 | 2013-11-23 20:26:51 | [diff] [blame] | 32 | template<typename T> |
[email protected] | bf3dd3c | 2013-12-06 06:55:25 | [diff] [blame] | 33 | struct CallbackParamTraits { |
| 34 | typedef T LocalType; |
[email protected] | 314cde1 | 2013-11-23 20:26:51 | [diff] [blame] | 35 | }; |
| 36 | template<typename T> |
[email protected] | bf3dd3c | 2013-12-06 06:55:25 | [diff] [blame] | 37 | struct CallbackParamTraits<const T&> { |
| 38 | typedef T LocalType; |
| 39 | }; |
| 40 | template<typename T> |
| 41 | struct CallbackParamTraits<const T*> { |
| 42 | typedef T* LocalType; |
[email protected] | 314cde1 | 2013-11-23 20:26:51 | [diff] [blame] | 43 | }; |
| 44 | |
Colin Blundell | ea615d42 | 2021-05-12 09:35:41 | [diff] [blame] | 45 | // CallbackHolder and CallbackHolderBase are used to pass a |
| 46 | // base::RepeatingCallback from CreateFunctionTemplate through v8 (via |
| 47 | // v8::FunctionTemplate) to DispatchToCallback, where it is invoked. |
[email protected] | 6fe5610 | 2013-12-08 07:10:58 | [diff] [blame] | 48 | |
| 49 | // This simple base class is used so that we can share a single object template |
| 50 | // among every CallbackHolder instance. |
[email protected] | bf014290 | 2014-02-11 15:06:12 | [diff] [blame] | 51 | class GIN_EXPORT CallbackHolderBase { |
[email protected] | b4acaf8 | 2013-12-12 09:40:50 | [diff] [blame] | 52 | public: |
Daniel Hosseinian | 68c0798d | 2021-04-16 08:16:07 | [diff] [blame] | 53 | CallbackHolderBase(const CallbackHolderBase&) = delete; |
| 54 | CallbackHolderBase& operator=(const CallbackHolderBase&) = delete; |
| 55 | |
deepak.s | faaa1b6 | 2015-04-30 07:30:48 | [diff] [blame] | 56 | v8::Local<v8::External> GetHandle(v8::Isolate* isolate); |
[email protected] | bf014290 | 2014-02-11 15:06:12 | [diff] [blame] | 57 | |
[email protected] | 314cde1 | 2013-11-23 20:26:51 | [diff] [blame] | 58 | protected: |
[email protected] | bf014290 | 2014-02-11 15:06:12 | [diff] [blame] | 59 | explicit CallbackHolderBase(v8::Isolate* isolate); |
| 60 | virtual ~CallbackHolderBase(); |
| 61 | |
| 62 | private: |
dcarney | 99ade908 | 2015-04-22 09:55:42 | [diff] [blame] | 63 | static void FirstWeakCallback( |
| 64 | const v8::WeakCallbackInfo<CallbackHolderBase>& data); |
| 65 | static void SecondWeakCallback( |
| 66 | const v8::WeakCallbackInfo<CallbackHolderBase>& data); |
[email protected] | bf014290 | 2014-02-11 15:06:12 | [diff] [blame] | 67 | |
dcarney | 99ade908 | 2015-04-22 09:55:42 | [diff] [blame] | 68 | v8::Global<v8::External> v8_ref_; |
[email protected] | 314cde1 | 2013-11-23 20:26:51 | [diff] [blame] | 69 | }; |
| 70 | |
[email protected] | 314cde1 | 2013-11-23 20:26:51 | [diff] [blame] | 71 | template<typename Sig> |
| 72 | class CallbackHolder : public CallbackHolderBase { |
| 73 | public: |
[email protected] | bf014290 | 2014-02-11 15:06:12 | [diff] [blame] | 74 | CallbackHolder(v8::Isolate* isolate, |
tzik | c21a0dc | 2017-11-14 08:23:44 | [diff] [blame] | 75 | base::RepeatingCallback<Sig> callback, |
Devlin Cronin | e9db984 | 2018-04-09 17:51:05 | [diff] [blame] | 76 | InvokerOptions invoker_options) |
tzik | c21a0dc | 2017-11-14 08:23:44 | [diff] [blame] | 77 | : CallbackHolderBase(isolate), |
| 78 | callback(std::move(callback)), |
Devlin Cronin | e9db984 | 2018-04-09 17:51:05 | [diff] [blame] | 79 | invoker_options(std::move(invoker_options)) {} |
Daniel Hosseinian | 68c0798d | 2021-04-16 08:16:07 | [diff] [blame] | 80 | CallbackHolder(const CallbackHolder&) = delete; |
| 81 | CallbackHolder& operator=(const CallbackHolder&) = delete; |
Devlin Cronin | e9db984 | 2018-04-09 17:51:05 | [diff] [blame] | 82 | |
tzik | c21a0dc | 2017-11-14 08:23:44 | [diff] [blame] | 83 | base::RepeatingCallback<Sig> callback; |
Devlin Cronin | e9db984 | 2018-04-09 17:51:05 | [diff] [blame] | 84 | InvokerOptions invoker_options; |
| 85 | |
[email protected] | 314cde1 | 2013-11-23 20:26:51 | [diff] [blame] | 86 | private: |
Daniel Hosseinian | 68c0798d | 2021-04-16 08:16:07 | [diff] [blame] | 87 | ~CallbackHolder() override = default; |
[email protected] | 314cde1 | 2013-11-23 20:26:51 | [diff] [blame] | 88 | }; |
| 89 | |
Devlin Cronin | e9db984 | 2018-04-09 17:51:05 | [diff] [blame] | 90 | template <typename T> |
| 91 | bool GetNextArgument(Arguments* args, |
| 92 | const InvokerOptions& invoker_options, |
| 93 | bool is_first, |
[email protected] | bf3dd3c | 2013-12-06 06:55:25 | [diff] [blame] | 94 | T* result) { |
Devlin Cronin | e9db984 | 2018-04-09 17:51:05 | [diff] [blame] | 95 | if (is_first && invoker_options.holder_is_first_argument) { |
[email protected] | bf3dd3c | 2013-12-06 06:55:25 | [diff] [blame] | 96 | return args->GetHolder(result); |
| 97 | } else { |
| 98 | return args->GetNext(result); |
| 99 | } |
| 100 | } |
| 101 | |
| 102 | // For advanced use cases, we allow callers to request the unparsed Arguments |
| 103 | // object and poke around in it directly. |
Devlin Cronin | e9db984 | 2018-04-09 17:51:05 | [diff] [blame] | 104 | inline bool GetNextArgument(Arguments* args, |
| 105 | const InvokerOptions& invoker_options, |
| 106 | bool is_first, |
[email protected] | bf3dd3c | 2013-12-06 06:55:25 | [diff] [blame] | 107 | Arguments* result) { |
| 108 | *result = *args; |
| 109 | return true; |
| 110 | } |
Devlin Cronin | e9db984 | 2018-04-09 17:51:05 | [diff] [blame] | 111 | inline bool GetNextArgument(Arguments* args, |
| 112 | const InvokerOptions& invoker_options, |
| 113 | bool is_first, |
[email protected] | 5b971af | 2014-01-06 22:20:54 | [diff] [blame] | 114 | Arguments** result) { |
| 115 | *result = args; |
| 116 | return true; |
| 117 | } |
[email protected] | bf3dd3c | 2013-12-06 06:55:25 | [diff] [blame] | 118 | |
[email protected] | 2491f14 | 2013-12-21 17:54:37 | [diff] [blame] | 119 | // It's common for clients to just need the isolate, so we make that easy. |
Devlin Cronin | e9db984 | 2018-04-09 17:51:05 | [diff] [blame] | 120 | inline bool GetNextArgument(Arguments* args, |
| 121 | const InvokerOptions& invoker_options, |
| 122 | bool is_first, |
| 123 | v8::Isolate** result) { |
[email protected] | 2491f14 | 2013-12-21 17:54:37 | [diff] [blame] | 124 | *result = args->isolate(); |
| 125 | return true; |
| 126 | } |
| 127 | |
Devlin Cronin | e9db984 | 2018-04-09 17:51:05 | [diff] [blame] | 128 | // Throws an error indicating conversion failure. |
| 129 | GIN_EXPORT void ThrowConversionError(Arguments* args, |
| 130 | const InvokerOptions& invoker_options, |
| 131 | size_t index); |
| 132 | |
kolczyk | 735c49b6 | 2014-10-24 13:06:04 | [diff] [blame] | 133 | // Class template for extracting and storing single argument for callback |
| 134 | // at position |index|. |
| 135 | template <size_t index, typename ArgType> |
| 136 | struct ArgumentHolder { |
| 137 | using ArgLocalType = typename CallbackParamTraits<ArgType>::LocalType; |
| 138 | |
| 139 | ArgLocalType value; |
| 140 | bool ok; |
| 141 | |
Devlin Cronin | e9db984 | 2018-04-09 17:51:05 | [diff] [blame] | 142 | ArgumentHolder(Arguments* args, const InvokerOptions& invoker_options) |
| 143 | : ok(GetNextArgument(args, invoker_options, index == 0, &value)) { |
| 144 | if (!ok) |
| 145 | ThrowConversionError(args, invoker_options, index); |
kolczyk | 735c49b6 | 2014-10-24 13:06:04 | [diff] [blame] | 146 | } |
| 147 | }; |
| 148 | |
| 149 | // Class template for converting arguments from JavaScript to C++ and running |
| 150 | // the callback with them. |
| 151 | template <typename IndicesType, typename... ArgTypes> |
tzik | c21a0dc | 2017-11-14 08:23:44 | [diff] [blame] | 152 | class Invoker; |
kolczyk | 735c49b6 | 2014-10-24 13:06:04 | [diff] [blame] | 153 | |
| 154 | template <size_t... indices, typename... ArgTypes> |
tzik | c21a0dc | 2017-11-14 08:23:44 | [diff] [blame] | 155 | class Invoker<std::index_sequence<indices...>, ArgTypes...> |
kolczyk | 735c49b6 | 2014-10-24 13:06:04 | [diff] [blame] | 156 | : public ArgumentHolder<indices, ArgTypes>... { |
| 157 | public: |
| 158 | // Invoker<> inherits from ArgumentHolder<> for each argument. |
| 159 | // C++ has always been strict about the class initialization order, |
| 160 | // so it is guaranteed ArgumentHolders will be initialized (and thus, will |
| 161 | // extract arguments from Arguments) in the right order. |
Devlin Cronin | e9db984 | 2018-04-09 17:51:05 | [diff] [blame] | 162 | Invoker(Arguments* args, const InvokerOptions& invoker_options) |
| 163 | : ArgumentHolder<indices, ArgTypes>(args, invoker_options)..., |
| 164 | args_(args) {} |
kolczyk | 735c49b6 | 2014-10-24 13:06:04 | [diff] [blame] | 165 | |
| 166 | bool IsOK() { |
| 167 | return And(ArgumentHolder<indices, ArgTypes>::ok...); |
| 168 | } |
| 169 | |
| 170 | template <typename ReturnType> |
tzik | c21a0dc | 2017-11-14 08:23:44 | [diff] [blame] | 171 | void DispatchToCallback( |
| 172 | base::RepeatingCallback<ReturnType(ArgTypes...)> callback) { |
Jeremy Apthorp | 789ac3b | 2020-04-01 01:06:45 | [diff] [blame] | 173 | args_->Return( |
| 174 | callback.Run(std::move(ArgumentHolder<indices, ArgTypes>::value)...)); |
kolczyk | 735c49b6 | 2014-10-24 13:06:04 | [diff] [blame] | 175 | } |
| 176 | |
| 177 | // In C++, you can declare the function foo(void), but you can't pass a void |
| 178 | // expression to foo. As a result, we must specialize the case of Callbacks |
| 179 | // that have the void return type. |
tzik | c21a0dc | 2017-11-14 08:23:44 | [diff] [blame] | 180 | void DispatchToCallback(base::RepeatingCallback<void(ArgTypes...)> callback) { |
Jeremy Apthorp | 789ac3b | 2020-04-01 01:06:45 | [diff] [blame] | 181 | callback.Run(std::move(ArgumentHolder<indices, ArgTypes>::value)...); |
kolczyk | 735c49b6 | 2014-10-24 13:06:04 | [diff] [blame] | 182 | } |
| 183 | |
| 184 | private: |
| 185 | static bool And() { return true; } |
| 186 | template <typename... T> |
| 187 | static bool And(bool arg1, T... args) { |
| 188 | return arg1 && And(args...); |
| 189 | } |
| 190 | |
Keishi Hattori | 0e45c02 | 2021-11-27 09:25:52 | [diff] [blame] | 191 | raw_ptr<Arguments> args_; |
kolczyk | 735c49b6 | 2014-10-24 13:06:04 | [diff] [blame] | 192 | }; |
[email protected] | bf3dd3c | 2013-12-06 06:55:25 | [diff] [blame] | 193 | |
[email protected] | 81f8b91b | 2013-11-26 21:02:51 | [diff] [blame] | 194 | // DispatchToCallback converts all the JavaScript arguments to C++ types and |
Colin Blundell | ea615d42 | 2021-05-12 09:35:41 | [diff] [blame] | 195 | // invokes the base::RepeatingCallback. |
kolczyk | 735c49b6 | 2014-10-24 13:06:04 | [diff] [blame] | 196 | template <typename Sig> |
| 197 | struct Dispatcher {}; |
[email protected] | bf3dd3c | 2013-12-06 06:55:25 | [diff] [blame] | 198 | |
kolczyk | 735c49b6 | 2014-10-24 13:06:04 | [diff] [blame] | 199 | template <typename ReturnType, typename... ArgTypes> |
| 200 | struct Dispatcher<ReturnType(ArgTypes...)> { |
Jeremy Roman | 6a1242b | 2019-02-04 17:51:57 | [diff] [blame] | 201 | static void DispatchToCallbackImpl(Arguments* args) { |
deepak.s | faaa1b6 | 2015-04-30 07:30:48 | [diff] [blame] | 202 | v8::Local<v8::External> v8_holder; |
Jeremy Roman | 6a1242b | 2019-02-04 17:51:57 | [diff] [blame] | 203 | CHECK(args->GetData(&v8_holder)); |
[email protected] | bf014290 | 2014-02-11 15:06:12 | [diff] [blame] | 204 | CallbackHolderBase* holder_base = reinterpret_cast<CallbackHolderBase*>( |
| 205 | v8_holder->Value()); |
[email protected] | 314cde1 | 2013-11-23 20:26:51 | [diff] [blame] | 206 | |
kolczyk | 735c49b6 | 2014-10-24 13:06:04 | [diff] [blame] | 207 | typedef CallbackHolder<ReturnType(ArgTypes...)> HolderT; |
[email protected] | bf3dd3c | 2013-12-06 06:55:25 | [diff] [blame] | 208 | HolderT* holder = static_cast<HolderT*>(holder_base); |
[email protected] | 37dacfa | 2013-11-26 03:31:04 | [diff] [blame] | 209 | |
tzik | c21a0dc | 2017-11-14 08:23:44 | [diff] [blame] | 210 | using Indices = std::index_sequence_for<ArgTypes...>; |
Jeremy Roman | 6a1242b | 2019-02-04 17:51:57 | [diff] [blame] | 211 | Invoker<Indices, ArgTypes...> invoker(args, holder->invoker_options); |
kolczyk | 735c49b6 | 2014-10-24 13:06:04 | [diff] [blame] | 212 | if (invoker.IsOK()) |
| 213 | invoker.DispatchToCallback(holder->callback); |
[email protected] | d73341d1 | 2013-12-21 00:48:46 | [diff] [blame] | 214 | } |
Jeremy Roman | 6a1242b | 2019-02-04 17:51:57 | [diff] [blame] | 215 | |
| 216 | static void DispatchToCallback( |
| 217 | const v8::FunctionCallbackInfo<v8::Value>& info) { |
| 218 | Arguments args(info); |
| 219 | DispatchToCallbackImpl(&args); |
| 220 | } |
| 221 | |
| 222 | static void DispatchToCallbackForProperty( |
| 223 | v8::Local<v8::Name>, |
| 224 | const v8::PropertyCallbackInfo<v8::Value>& info) { |
| 225 | Arguments args(info); |
| 226 | DispatchToCallbackImpl(&args); |
| 227 | } |
[email protected] | d73341d1 | 2013-12-21 00:48:46 | [diff] [blame] | 228 | }; |
| 229 | |
[email protected] | 81f8b91b | 2013-11-26 21:02:51 | [diff] [blame] | 230 | } // namespace internal |
| 231 | |
[email protected] | bf3dd3c | 2013-12-06 06:55:25 | [diff] [blame] | 232 | // CreateFunctionTemplate creates a v8::FunctionTemplate that will create |
Colin Blundell | ea615d42 | 2021-05-12 09:35:41 | [diff] [blame] | 233 | // JavaScript functions that execute a provided C++ function or |
| 234 | // base::RepeatingCallback. JavaScript arguments are automatically converted via |
| 235 | // gin::Converter, as is the return value of the C++ function, if any. |
| 236 | // |invoker_options| contains additional parameters. If it contains a |
| 237 | // holder_type, it will be used to provide a useful conversion error if the |
| 238 | // holder is the first argument. If not provided, a generic invocation error |
| 239 | // will be used. |
mnaganov | 098ba6f | 2015-03-03 16:34:48 | [diff] [blame] | 240 | // |
| 241 | // NOTE: V8 caches FunctionTemplates for a lifetime of a web page for its own |
| 242 | // internal reasons, thus it is generally a good idea to cache the template |
| 243 | // returned by this function. Otherwise, repeated method invocations from JS |
| 244 | // will create substantial memory leaks. See http://crbug.com/463487. |
tzik | c21a0dc | 2017-11-14 08:23:44 | [diff] [blame] | 245 | template <typename Sig> |
[email protected] | 81f8b91b | 2013-11-26 21:02:51 | [diff] [blame] | 246 | v8::Local<v8::FunctionTemplate> CreateFunctionTemplate( |
tzik | c21a0dc | 2017-11-14 08:23:44 | [diff] [blame] | 247 | v8::Isolate* isolate, |
| 248 | base::RepeatingCallback<Sig> callback, |
Devlin Cronin | e9db984 | 2018-04-09 17:51:05 | [diff] [blame] | 249 | InvokerOptions invoker_options = {}) { |
[email protected] | bf3dd3c | 2013-12-06 06:55:25 | [diff] [blame] | 250 | typedef internal::CallbackHolder<Sig> HolderT; |
Devlin Cronin | e9db984 | 2018-04-09 17:51:05 | [diff] [blame] | 251 | HolderT* holder = |
| 252 | new HolderT(isolate, std::move(callback), std::move(invoker_options)); |
[email protected] | bf014290 | 2014-02-11 15:06:12 | [diff] [blame] | 253 | |
jochen | 596fd5e | 2016-07-06 12:29:50 | [diff] [blame] | 254 | v8::Local<v8::FunctionTemplate> tmpl = v8::FunctionTemplate::New( |
| 255 | isolate, &internal::Dispatcher<Sig>::DispatchToCallback, |
Sathya Gunasekaran | 77d2ce8 | 2021-01-08 16:41:13 | [diff] [blame] | 256 | ConvertToV8<v8::Local<v8::External>>(isolate, holder->GetHandle(isolate)), |
| 257 | v8::Local<v8::Signature>(), 0, v8::ConstructorBehavior::kThrow); |
jochen | 596fd5e | 2016-07-06 12:29:50 | [diff] [blame] | 258 | return tmpl; |
[email protected] | 7618ebbb | 2013-11-27 03:38:26 | [diff] [blame] | 259 | } |
| 260 | |
Jeremy Roman | 6a1242b | 2019-02-04 17:51:57 | [diff] [blame] | 261 | // CreateDataPropertyCallback creates a v8::AccessorNameGetterCallback and |
| 262 | // corresponding data value that will hold and execute the provided |
| 263 | // base::RepeatingCallback, using automatic conversions similar to |
| 264 | // |CreateFunctionTemplate|. |
| 265 | // |
| 266 | // It is expected that these will be passed to v8::Template::SetLazyDataProperty |
| 267 | // or another similar function. |
| 268 | template <typename Sig> |
| 269 | std::pair<v8::AccessorNameGetterCallback, v8::Local<v8::Value>> |
| 270 | CreateDataPropertyCallback(v8::Isolate* isolate, |
| 271 | base::RepeatingCallback<Sig> callback, |
| 272 | InvokerOptions invoker_options = {}) { |
| 273 | typedef internal::CallbackHolder<Sig> HolderT; |
| 274 | HolderT* holder = |
| 275 | new HolderT(isolate, std::move(callback), std::move(invoker_options)); |
| 276 | return {&internal::Dispatcher<Sig>::DispatchToCallbackForProperty, |
| 277 | ConvertToV8<v8::Local<v8::External>>(isolate, |
| 278 | holder->GetHandle(isolate))}; |
| 279 | } |
| 280 | |
[email protected] | 314cde1 | 2013-11-23 20:26:51 | [diff] [blame] | 281 | } // namespace gin |
[email protected] | b520e13 | 2013-11-29 03:21:48 | [diff] [blame] | 282 | |
| 283 | #endif // GIN_FUNCTION_TEMPLATE_H_ |