模块变量及编译符mvar的使用

forcal

Forcal中，通常模块变量要先声明，后使用。例如：

1. init(::a,b,c)= a=11, b=22, c=33;  //模块变量赋初值0 ~3 |. V  V$ U! c' s* h  X
   
2. f(x::a,b,c)=x+a+b+c;  //函数f中使用了模块变量
   - R) O) j' s  i+ c+ v  f2 a: J+ [+ ]
3. f(1);  //函数调用

复制代码

结果：
6 s; ]/ a) M* Q& c" q( q4 m% s67.
+ ^; u, w' z$ y7 ]' J. T9 P
当使用编译符mvar时，未声明的变量均看作模块变量，故前面的例子可写成：

1. mvar:
   , ?6 |0 y$ u+ j5 d5 z! u\" j  L
2. a=11, b=22, c=33;  //模块变量赋初值
   ) K4 `7 o2 @) p0 G
3. f(x)=x+a+b+c;  //函数f中使用了模块变量+ R% u( ~9 d( l
   
4. f(1);  //函数调用

复制代码

结果：
67.
  N; @% @) H' C# t- a0 ^; g
这样看起来似乎不错，的确，在简单的程序中，这样写代码很简洁方便。不过，在复杂的程序中却不推荐使用编译符mvar，因为它常常会隐藏一些人为的错误，例如下面的代码通过了编译，但－－看看你的眼力，能否发现其中的错误？

1. mvar:* Y% n7 U$ h' ?; R- w
   
2. a=11, b=22, c=33;  //模块变量赋初值, w& n5 M  F7 Z4 K+ L
   
3. f(x)=x+a+d+c;  //函数f中使用了模块变量, P$ D+ @8 @) J1 ?& K
   
4. f(1);  //函数调用

复制代码

若显示地声明模块变量，编译器会帮你发现这个错误：

1. init(::a,b,c)= a=11, b=22, c=33;  //模块变量赋初值- n+ `( t( w- v
   
2. f(x::a,b,c)=x+a+d+c;  //函数f中使用了模块变量% @1 `4 r4 U' @\" n% }
   
3. f(1);  //函数调用

复制代码

故复杂的程序中，慎用编译符mvar。

pxwgih

我反复看了多遍，好帖，得支持