<div dir="ltr"><div><div><div>>> I've experimented in the past with making a macro that would generate the<br>
>> appropriate ffi code to create and manage c structs/unions/types.  The<br>
>> challenge was to handle references obtained from accessors to fields<br>
>> containing other structs/union/types within them in such a way that<br>
>> - no copying was necessary, and<br>
>> - the original structure wouldn't be released as long as derived references<br>
>> existed<br>
><br>
> Anyone know what guile does?  If anything?<br>
><br>
> -- hendrik<br><br></div>Well, I was interested in how to make it work in Gambit as is.  If we consider modifications to Gambit, there is an easy solution: give foreign objects a 'data' field that holds a user-settable strong reference to a Scheme object.  Then, whenever you need to make sure that object A is not reclaimed while foreign object B is reachable, you just say (foreign-data-set! B A).<br>
<br></div>Indeed, after having tried hard, my current impression is that the above can't be done in a way that is robust and seamless to the user without modifying Gambit.  I'd be very happy to be proven wrong in this!<br>
<br>I have made a pull request proposing that change:<br><br><a href="https://github.com/feeley/gambit/pull/59">https://github.com/feeley/gambit/pull/59</a><br><br></div>but I don't know whether the cost of one extra pointer per foreign object is a showstopper here.<br>
</div>