通过引用传递参数到交换函数

Question

我在解决练习测试时遇到了这个问题

考虑以下用引用传递语言编写的代码，例如 FORTRAN 和这些关于代码的

  subroutine swap(ix,iy)
    it = ix
    ix = iy    ! line L1
    iy = it    ! line L2
  end

  program main
    ia = 3
    ib = 8
    call swap (ia, ib+5)
    print *, ia, ib
  end program

语句 语句：

1. 编译器将生成代码来分配临时无名单元格， 将其初始化为 13，并传递单元交换的地址
2. 执行时，代码将在 L1 行生成运行时错误
3. 执行时，代码将在 L2 行生成运行时错误 程序
4. 将打印 13 和 8
5. 程序将打印 13 和-2

以上陈述中哪一项是正确的。

我认为S1和S4。有人可以确认一下吗？ TIA

Answer 1

是的，S1和S4是正确的。

另外，

S0a：该文件无法按原样编译，因为 L1：和 L2：是语法错误。 :)

S0b: 严格来说，将 FORTRAN 说成按引用传递语言是不正确的：

• 语言的名称是 Fortran

• 按引用传递是一种标准中未指定的实施细节。拷入、拷出是另一种可能的实现方式。此外，一些较新的 Fortran 语言功能 (F90+) 实际上意味着既不是按引用传递也不是复制输入复制输出的实现。请参阅指针作为虚拟参数和http://software.intel.com/en-us/blogs/2009/03/31/doctor-fortran-in-ive-come-here-for-an-argument/

Answer 2

扩展@janneb的答案...这是该程序的 Fortran 95 语法正确版本：

module my_subs

contains

subroutine swap(ix,iy)

integer :: ix, iy
integer :: it

it = ix
ix = iy
iy = it

end subroutine swap

end module my_subs

program test_swap

use my_subs

integer :: ia, ib

ia = 3
ib = 8

call swap (ia, ib+5)

print *, ia, ib

end program test_swap

由于这是非法的，因此无法保证输出。使用 gfortran 和 lax 编译器选项，我得到“S4”，即 13 和 8 的输出。

现在将子例程中的参数声明更改为：

integer, intent (inout) :: ix, iy

并且 gfortran 拒绝编译它：

错误：变量定义上下文中的非变量表达式（ INTENT = OUT/INOUT 的实际参数) at (1)

与 Intel ifort 类似：

test_swap.f90(31): error #6638：实际参数是表达式或常量；这是无效的，因为关联的虚拟参数具有显式 INTENT(OUT) 或 INTENT(INOUT) 属性。
看涨互换（ia、ib+5）
-----------------^
test_swap.f90 的编译中止（代码 1）

因此，对于正确编写的代码，现代 Fortran 编译器不允许这样做。如果你粗心的话，你可能会犯这个错误，而在 FORTRAN 77 及更早版本中，这个错误要容易得多。