意图（out）和意图（inout）之间的区别

Question

根据 Fortran 标准：

非指针虚拟参数的 INTENT (OUT) 属性指定虚拟参数在调用过程时变为未定义

但是这个简单的代码给了我5 作为输出，所以看起来这个参数在过程开始时并没有变得未定义（在这种情况下是一个子例程）。

subroutine useless(a)
  integer, intent(out) :: a
  print *,a
end subroutine useless

program test
  integer :: n=5
  call useless(n)
end program test

我做错了什么？看来intent(inout)和intent(out)是一样的。

Answer 1

intent(inout) 和intent(out) 肯定不一样。您已经注意到原因，尽管您没有得出正确的结论。在进入子程序时useless a 是未定义的，而不是已定义的。

具有“未定义”变量意味着您在引用它时不能依赖特定行为。您观察到变量a 有一个值5，但这并不意味着您可以观察到的唯一值是5。特别是“未定义”并不意味着“采用像 NaN 这样的特定值”。

由于对未定义变量的引用，您的代码不符合标准。请参阅 Fortran 2008 6.2（类似的含义将在最初标记的 Fortran 90 中某处）。特别值得注意的是，编译器不必指出你的错误。

使用intent(inout) 时，变量a 将在引用时被定义，并保证其值为5（对于符合标准的处理器）。

更广泛地说，两个意图属性之间还有其他差异，而变量a 的定义相似性的这种“巧合”表现可能更麻烦。

例如，具有延迟类型参数的可分配数组和对象被释放；派生类型变得未定义（并且任何可分配的组件都被释放）并且具有默认初始化的组件被“重新初始化”；指针的关联状态变为未定义。

如果在没有首先定义的情况下引用它们，则所有这些后面的东西都有可能产生非常尴尬的结果，比标量整数更严重。