Conda工具链下C++->Fortran->C++跨语言调用的异常捕获问题

问题背景 #

C主函数调用Fortran子程序，Fortran再调用C函数时，C++函数抛出的异常无法被主函数的try-catch块正常捕获，这种跨语言调用的异常传递在不同平台和工具链下表现出不一致性，尤其是使用Conda提供的clang/gfortran工具链在macOS上出现崩溃或异常未捕获的情况。

代码示例 #

Fortran子程序 (testf.f) #

subroutine testf(simul)
      external simul
      call simul(0)
      end

C++主程序与回调函数 (main.cpp) #

#include <iostream>
using namespace std;

typedef void (*fun_t)(int *ind);
extern "C" void testf_(fun_t);
void cppsimul(int *i);

int main() {
    cout << "in main\n";
    try
    {
        testf_(cppsimul);        
    }
    catch (int e)
    {
        cout << "Caught exception\n";
    }
  return 0;
}

void cppsimul(int *i)
{
    cout << "in cppsimul\n";
    throw 0;
}

不同平台测试结果 #

Linux x86_64 (gcc/gfortran 9.4.0) #

使用纯GNU工具链编译运行，结果符合预期：

$ gfortran -c testf.f
$ g++ main.cpp testf.o -o main
$ ./main 
in main
in cppsimul
Caught exception

无需额外添加-fexceptions选项即可正常捕获异常。

macOS Sonoma x86_64 (Conda clang 18.1.4 / gfortran 13.2.0) #

使用Conda工具链编译后，异常未被捕获且程序终止：

$ gfortran -c testf.f
$ clang++ main.cpp testf.o -o main
$ ./main
in main
in cppsimul
libc++abi: terminating due to uncaught exception of type int
zsh: abort      ./main

macOS Sonoma arm64 (Conda clang 18.1.4 / gfortran 13.2.0) #

程序直接崩溃，通过lldb调试得到栈追踪：

$ gfortran -c testf.f
$ clang++ main.cpp testf.o -o main
$ ./main
in main
in cppsimul
zsh: trace trap  ./main

in main
in cppsimul
Process 88839 stopped
* thread #1, queue = 'com.apple.main-thread', stop reason = EXC_BREAKPOINT (code=1, subcode=0x18e794944)
    frame #0: 0x000000018e794944 libunwind.dylib`libunwind::UnwindCursor<libunwind::LocalAddressSpace, libunwind::Registers_arm64>::step(bool) + 504
libunwind.dylib`libunwind::UnwindCursor<libunwind::LocalAddressSpace, libunwind::Registers_arm64>::step:
->  0x18e794944 <+504>: brk    #0xc471
    0x18e794948 <+508>: pacib  x16, x8
    0x18e79494c <+512>: b      0x18e794a84               ; <+824>
    0x18e794950 <+516>: mov    x0, #0x0
Target 0: (main) stopped.

系统自带clang++的正常表现 #

使用macOS自带的/usr/bin/clang++（版本15.0.0）编译时，两种架构下均能正常捕获异常，但大型项目因依赖Conda的clang 18.1.4无法采用该方案。

问题根源与解决办法 #

核心原因 #

1. Fortran编译未启用异常支持：gfortran默认不生成支持异常传递的栈帧信息，导致异常无法跨越Fortran调用边界。
2. Conda与系统库的ABI不匹配：Conda的clang 18.1.4使用的libc++/libunwind版本与macOS Sonoma系统自带库存在ABI差异，异常 unwind 过程中栈遍历失败，引发崩溃或未捕获异常。

具体解决步骤 #

1. 编译Fortran时启用异常支持
   给gfortran添加-fexceptions选项，确保生成的代码能正确处理异常栈：

   gfortran -c -fexceptions testf.f
   

2. 强制使用Conda的库链
   编译C时指定优先链接Conda提供的libc和libunwind，避免混合系统库：

   clang++ main.cpp testf.o -o main -stdlib=libc++ -L$CONDA_PREFIX/lib -Wl,-rpath,$CONDA_PREFIX/lib
   

3. 验证工具链一致性
   确保Conda环境中的gfortran和clang是基于相同的ABI构建的，可通过conda list检查工具链版本是否匹配，必要时重新创建干净的Conda环境。

4. 临时替代方案（不推荐长期使用）
   如果上述方法无效，可在C++回调函数中手动捕获异常，转为错误码传递给Fortran，再在主函数中处理：

   void cppsimul(int *i)
   {
       cout << "in cppsimul\n";
       try {
           throw 0;
       } catch (...) {
           // 将异常转为错误码，比如通过*i返回
           *i = -1;
           return;
       }
   }
   

   同时修改主函数逻辑检查错误码。

内容的提问来源于stack exchange，提问作者Stéphane Mottelet