简而言之：我有一个fortran子例程，它接受一个c_ptr，并使用c_associated检查它是否是null，除非我给予指针赋予VALUE属性，否则检查将触发segfault。
我已经找到了解决这个问题的方法，但是我对导致这种行为的原因很感兴趣。在我看来，这似乎与Fortran隐式地通过引用传递有关。对于我的主库（未显示），这种行为只有在我使用优化编译时才会出现（使用-O0 -g时不会），但是我无法创建一个最小的示例来重现这种行为。
示例：
在main.cpp中

#include <iostream>

extern "C" {
void test_ptr(double* ptr);
}

int main(){
  
  double* ptr{nullptr};

  std::cout << "In C++, pointer is " << ptr << std::endl;
  test_ptr(ptr);
  std::cout << "Fortran exited without fault." << std::endl;

  return 0;
}

在test.f90中

module test
use, intrinsic :: iso_c_binding
public test_ptr

contains

subroutine test_ptr(ptr) BIND(C)
    use, intrinsic :: iso_c_binding
    type(c_ptr), target, intent(in) :: ptr

    print*, "In Fortran, pointer is", ptr

    if (c_associated(ptr)) then
        print*, 'Pointer is not null'
    else
        print*, 'Pointer is null'
    endif

end subroutine test_ptr

end module test

如果我编译并将其与

gfortran -c test.f90 test.o -O3
g++ -c main.cpp main.o -O3
g++ -o main main.o test.o -lgfortran

运行./main得到

In C++, pointer is 0
 In Fortran, pointer is                    0
Segmentation fault: 11

我发现了两种解决方法：

• 或者 * 通过将ptr声明为

type(c_ptr), target, intent(in), value :: ptr

• 或 *，方法是将C++端更改为传递&ptr，as。

extern "C" {
void test_ptr(double** ptr);
}

int main(){
  
  double* ptr = nullptr;

  std::cout << "In C++, pointer is " << ptr << std::endl;
  test_ptr(&ptr);
  std::cout << "Fortran exited without fault." << std::endl;

  return 0;
}

这两项更改（单独）都将产生预期输出

In C++, pointer is 0
 In Fortran, pointer is                    0
 Pointer is null
Fortran exited without fault.

在我看来，c_associated似乎在某个时候试图解引用ptr，而没有首先检查它是否是null，这是预期的行为吗？有没有其他（首选）方法来检查c_ptr是否是null？