syntax - Fortran 传递带括号的参数可防止更改

Question

在此 question我询问了一种明确防止传递的参数更改的方法。一个明显的解决方案是定义参数的副本并在这些副本上运行算法。但是，在评论中，我指出了一个事实，即我可以调用该函数并将我不想在括号中更改的参数包装起来。这与创建传递的变量的副本具有相同的效果，因此它不会更改。但我不明白它是如何工作的以及括号实际上在做什么。所以有人可以给我解释一下吗？

这是一个简单的例子，其中的行为发生如我所描述的。

  1 program argTest                                                                 
  2   implicit none                                                                 
  3   real            ::  a, b, c                                                   
  4                                                                                 
  5   interface       !optional interface                                                              
  6     subroutine change(a,b,c)                                                    
  7       real           ::  a, b, c                                                
  8     end subroutine change                                                       
  9   end interface                                                                 
 10                                                                                 
 11   write(*,*) 'Input a,b,c: '                                                    
 12   read(*,*) a, b, c                                                             
 13                                                                                 
 14   write(*,*) 'Values at start:'                                                 
 15   write(*,*)'a:', a                                                             
 16   write(*,*)'b:', b                                                             
 17   write(*,*)'c:', c                                                             
 18                                                                                 
 19                                                                                 
 20   call change((a),b,c)                                                          
 21   write(*,*)'Values after calling change with brackets around a:'               
 22   write(*,*)'a:', a                                                             
 23   write(*,*)'b:', b                                                             
 24   write(*,*)'c:', c                                                             
 25                                                                                 
 26                                                                                 
 27   call change(a,b,c)                                                            
 28   write(*,*)'Values after calling change without brackets:'                     
 29   write(*,*)'a:', a                                                             
 30   write(*,*)'b:', b                                                             
 31   write(*,*)'c:', c                                                             
 32                                                                                 
 33 end program argTest                                                             
 34                                                                                 
 35                                                                                 
 36 subroutine change(a,b,c)                                                        
 37   real           ::  a, b, c                                                    
 38                                                                                 
 39   a = a*2                                                                       
 40   b = b*3                                                                       
 41   c = c*4                                                                       
 42                                                                                 
 43 end subroutine change                                                           
 44      
 45
 46                                                              

Answer 1

语法 (a) ，在问题代码的上下文中，是一个表达式。在没有指针结果的情况下，对表达式求值以产生一个值。在这种情况下，表达式的值与变量 a 的值相同。 .

而表达式 (a) 的计算结果，以及变量 a ，具有相同的值，它们不是同一个东西——变量的值与变量本身不是同一个概念。这在某些情况下使用，其中需要提供相同的变量作为输入参数和单独的输出参数，否则会违反 Fortran 对参数别名的限制。

然而 - 如上所述 - 在没有指针结果的情况下，计算表达式的结果是一个值，而不是一个变量。 不允许重新定义值 .从概念上讲，说“我将改变值 2 的含义”或“我将改变计算结果 1 + 1”的含义是没有意义的。

当您使用这样的表达式作为实际参数时，它不能与在过程中重新定义的虚拟参数相关联。

子程序内部change ，与表达式 (a) 的值相关联的虚拟参数被重新定义。这是不符合的。

是否制作副本是您不能(也不能)指望的实现细节 - 链接问题中的评论不准确。例如，知道上述限制的编译器知道子例程 change。实际上不能以一致的方式改变第一个参数，可能知道 a否则对 change 不可见，因此决定不需要制作 a 的临时副本。为表达结果。

如果您需要制作某事物的临时副本，请编写制作副本的语句。

real :: tmp_a
...
tmp_a = a
call change(tmp_a, b, c)