On Mon, 14 Mar 2016 21:34:24 +0530 Arun Isaac <theroarofthedra...@gmail.com> wrote: > Hans Åberg <haber...@telia.com> writes: > > > When calling C++ from C, you can’t pass a C++ exception through the > > C code. So in my example code, there are conversions between C++ and > > Guile exceptions. > > Yeah, this was the discussion in the other thread you linked > to. Unfortunately, I don't know anything about C++ exceptions, and > hence didn't understand what your code was doing. Can any of this be > integrated into guile itself, so that C++ FFI will be easier for the > end programmer?
I am not a guile developer but I doubt (as a C++ programmer) that that is worth the effort. If you are calling into a C++ library from any C code then you need to consider what exceptions the library might throw. Your 'extern "C"' interface then needs to catch these exceptions and turn them into something else. That might mean providing a return value indicating an error condition, or if you are programming in guile mode with libguile at that point might mean throwing a guile exception. You can probably ignore std::bad_alloc. On most modern systems that exception will not be thrown (you will just thrash), and when you are out of memory there is nothing you can do to recover anyway as the kernel will take over. The overall point is that you need to ensure that, if you are in guile mode, any C++ exceptions are handled locally and do not escape out of a guile dynamic extent nor out of a function with C calling convention. You also need to be aware of the converse, namely that if you throw a guile exception out of C++ code, there are no C++ objects with non-trivial destructors in scope when the guile exception is thrown, or you will get undefined behaviour: most probably the destructors of the C++ objects will not be called. A guile exception is basically a long jump up the stack. But that is almost certainly not an issue if all you are doing is calling into a C++ library when in guile mode. It will be an issue if you are yourself constructing your own C++ objects when in guile mode. In most cases this is pretty easy to accomplish once you get the hang of it. Chris
