diff options
author | Stephan Bergmann <stephan.bergmann@allotropia.de> | 2024-06-17 15:54:43 +0200 |
---|---|---|
committer | Stephan Bergmann <stephan.bergmann@allotropia.de> | 2024-06-17 21:57:12 +0200 |
commit | 04658a706757dabbedfd87717e6f1f354b4c8961 (patch) | |
tree | 87ec4a947106c2c6035f8147239aee3f42acdf2d /static | |
parent | 3b551da96e1ddb0824002c06ee668055ab077a0e (diff) |
Embind: Fix lifecycle of UNO any and sequence values returned from JS to C++
When a JS function implementing a UNO interface method returns any or a sequence
type (like queryInterface, getType, and getImplementationId in uno.js), it
could not create a new instance of that type and return it, as it would have
needed to call .delete() on that instance, but couldn't. In uno.js, getType and
getImplementationId solved that by returning pre-instantiated instances that
were deleted in the final release call. But that did not work for
queryInterface, as pre-instantiating the relevant any instances would have
caused cyclic references that would have caused the final release call never to
occur.
So redesign the C++ the_wrapper classes (used by the Embind allow_subclass
machinery): If a UNO interface method returns any or a sequence type (i.e., a
type on which .delete() must be called), change the JS implemenation's return
type from by-value (which meant that the C++ code received a copy) to
by-reference---which means that now the C++ code can access the original
instance and delete it. But which also means that the JS code must always
return a fresh instance now!
(Ideally, the embindmaker-generated code would use by-pointer rather than
by-reference for that return type, but that caused
> emsdk/upstream/emscripten/cache/sysroot/include/emscripten/wire.h:116:19: error: static assertion failed due to requirement '!std::is_pointer<com::sun::star::uno::Any *>::value': Implicitly binding raw pointers is illegal. Specify allow_raw_pointer<arg<?>>
> 116 | static_assert(!std::is_pointer<T*>::value, "Implicitly binding raw pointers is illegal. Specify allow_raw_pointer<arg<?>>");
> | ^~~~~~~~~~~~~~~~~~~~~~~~~~~
errors with no obvious place where to put such allow_raw_pointer markers, so
lets go with this little hack at least for now.)
Change-Id: I3c37b79b8fbf09c19782c6532bc95d4d63505c63
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/169008
Tested-by: Jenkins
Reviewed-by: Stephan Bergmann <stephan.bergmann@allotropia.de>
Diffstat (limited to 'static')
-rw-r--r-- | static/emscripten/uno.js | 17 | ||||
-rw-r--r-- | static/source/embindmaker/embindmaker.cxx | 32 |
2 files changed, 34 insertions, 15 deletions
diff --git a/static/emscripten/uno.js b/static/emscripten/uno.js index fd3b77192d03..2398dee76da7 100644 --- a/static/emscripten/uno.js +++ b/static/emscripten/uno.js @@ -17,11 +17,6 @@ Module.unoObject = function(interfaces, obj) { Module.initUno(); interfaces = ['com.sun.star.lang.XTypeProvider'].concat(interfaces); obj.impl_refcount = 0; - obj.impl_types = new Module.uno_Sequence_type(interfaces.length, Module.uno_Sequence.FromSize); - for (let i = 0; i !== interfaces.length; ++i) { - obj.impl_types.set(i, Module.uno_Type.Interface(interfaces[i])); - } - obj.impl_implementationId = new Module.uno_Sequence_byte([]); obj.queryInterface = function(type) { for (const i in obj.impl_typemap) { if (i === type.toString()) { @@ -39,12 +34,16 @@ Module.unoObject = function(interfaces, obj) { for (const i in obj.impl_interfaces) { obj.impl_interfaces[i].delete(); } - obj.impl_types.delete(); - obj.impl_implementationId.delete(); } }; - obj.getTypes = function() { return obj.impl_types; }; - obj.getImplementationId = function() { return obj.impl_implementationId; }; + obj.getTypes = function() { + const types = new Module.uno_Sequence_type(interfaces.length, Module.uno_Sequence.FromSize); + for (let i = 0; i !== interfaces.length; ++i) { + types.set(i, Module.uno_Type.Interface(interfaces[i])); + } + return types; + }; + obj.getImplementationId = function() { return new Module.uno_Sequence_byte([]) }; obj.impl_interfaces = {}; interfaces.forEach((i) => { obj.impl_interfaces[i] = Module['uno_Type_' + i.replace(/\./g, '$')].implement(obj); diff --git a/static/source/embindmaker/embindmaker.cxx b/static/source/embindmaker/embindmaker.cxx index b8184a03e0a9..c40b8db6fa24 100644 --- a/static/source/embindmaker/embindmaker.cxx +++ b/static/source/embindmaker/embindmaker.cxx @@ -795,14 +795,34 @@ void dumpWrapperClassMembers(std::ostream& out, rtl::Reference<TypeManager> cons } out << " " << param.name; } - out << ") override { return call<"; - dumpType(out, manager, meth.returnType); - out << ">(\"" << meth.name << "\""; - for (auto const& param : meth.parameters) + out << ") override {"; + if (meth.returnType == "any" || meth.returnType.startsWith("[]")) { - out << ", " << param.name; + out << "\n" + " auto & the_ptr = call<"; + dumpType(out, manager, meth.returnType); + out << " const &>(\"" << meth.name << "\""; + for (auto const& param : meth.parameters) + { + out << ", " << param.name; + } + out << ");\n" + " auto const the_copy(the_ptr);\n" + " delete &the_ptr;\n" + " return the_copy;\n" + " }\n"; + } + else + { + out << " return call<"; + dumpType(out, manager, meth.returnType); + out << ">(\"" << meth.name << "\""; + for (auto const& param : meth.parameters) + { + out << ", " << param.name; + } + out << "); }\n"; } - out << "); }\n"; } } |