pointers - 为什么Fortran POINTER需要一个TARGET？

Question

为什么Fortran 90 Specification指定（5.2.8）必须使用TARGET关键字将POINTER与之关联？为什么每种类型都不是有效的目标？

例如，

INTEGER, POINTER :: px
INTEGER, TARGET :: x
x = 5
px => x

是有效的语法，但

INTEGER, POINTER :: px
INTEGER :: x
x = 5
px => x

无效。

为什么会这样？

Answer 1

可能指向的项目可以别名为另一个项目，并且编译器必须允许这样做。没有目标属性的项目不应混叠，并且编译器可以基于此进行假设，因此可以产生更有效的代码。