How to use a Node that was retrieved by a TreeCursor once the cursor has been closed?
According to the documentation, the native memory segment backing the Node is cleared once the cursor is deleted. If the tree of the node still exists it is in theory still usable. However, not with the current implementation.
Would it be possible to reassign the Node instance to another arena such that it can still be used afterwards? Either by binding it to Arena.ofAuto() or by adding a method that allows copying the Node to another memory segment management by a user supplied arena?
ObserverOfTime
commented
3 days ago
How to use a
Nodethat was retrieved by aTreeCursoronce the cursor has been closed?According to the documentation, the native memory segment backing the
Nodeis cleared once the cursor is deleted. If the tree of the node still exists it is in theory still usable. However, not with the current implementation.Would it be possible to reassign the Node instance to another arena such that it can still be used afterwards? Either by binding it to
Arena.ofAuto()or by adding a method that allows copying theNodeto another memory segment management by a user supplied arena?