Fortran数组传递机制确认：两种函数调用方式等价性疑问

1. Fortran数组传递不止是传首元素地址 #

别被C语言的指针逻辑带偏了——Fortran传数组时，除了首元素的内存地址，还会一起传递数组描述符，里面包含数组的维度、各维度的上下界、元素步长这些关键信息。子程序F会根据这个描述符来读取内存里的元素，不是单纯从首地址开始连续取固定个数的元素。

2. 两种循环写法完全不等价，第二种还存在错误 #

先拆解两段代码的实际行为：

第一段代码的实际效果 #

do i = 1, 2
   A(1, 1) = B(1, 10*i - 9)
   call F(A)
end do

每次循环只给A的第一个元素赋值成B的对应位置元素，A剩下的9个元素（A(1,2)到A(1,10)）根本没被赋值，值是未定义的（除非你之前初始化过A）。调用F(A)时，F拿到的是完整的A数组（形状是(1,10)），处理的是A的全部10个元素——其中只有第一个是B的有效数据，剩下的都是随机垃圾值或者之前的旧值。

第二段代码的问题 #

do i = 1, 2
   call F(B(1, 10*i - 9))
end do

这里的B(1, 10*i - 9)是单个元素（标量），如果F的形参是声明成real(kind=8) :: arr(1,10)这种固定形状的数组，这段代码直接编译报错——Fortran不允许把标量传给数组形参。

如果你本来想传递B里从10*i-9开始的10个连续元素，正确写法应该是用数组片段：

do i = 1, 2
   call F(B(1, 10*i - 9 : 10*i))
end do

就算改成这样，和第一段代码也完全不等价：

• 第一段里F处理的是A的内容（只有第一个元素来自B，其余无效）；
• 修正后的第二段里，F处理的是B里连续10个有效元素，所有数据都是B里的原始值。

总结 #

你把Fortran数组传递想成了C的指针传参，忽略了数组描述符的作用，这是核心误解；另外两段代码的行为天差地别，第二段写法本身还犯了语法错误，得先修正数组的取值方式。

内容的提问来源于stack exchange，提问作者Senku02