scope - 静态范围内的活动联合

Question

假设我想知道在标有 (*) 的点中哪些联合（引用环境）处于活动状态，我该如何确认？哪些工会实际上是活跃的？

procedure P(A,B ; real)  
       X: real  
       procedure Q(B,C : real)  
       y : real  
       ...  
       procedure R(A,C : real)  
       Z:real  
       ........             --(*)  

Answer 1

基本上是基本的嵌套。但是您没有指定完整的块结构（使用 begin..end 对）来完全固定结构。

从缩进假设开始结束；P的块在末尾，Q和R的块直接在resp之后。y 和 z 声明，然后在 Q 中：首先搜索 Q，然后搜索 P，然后搜索 P 上方的范围（主程序/单元或其他过程），在 RR、P、单元等中。