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

forcal

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

1. init(::a,b,c)= a=11, b=22, c=33;  //模块变量赋初值
   4 Y7 K0 s& |6 M& {
2. f(x::a,b,c)=x+a+b+c;  //函数f中使用了模块变量
   + c5 ], Y5 }% c. R' m3 c& D( [
3. f(1);  //函数调用

复制代码

结果：
67.
$ p( h0 v8 n+ O
当使用编译符mvar时，未声明的变量均看作模块变量，故前面的例子可写成：

1. mvar:
   ' e; Y3 `! n% G# [0 A$ i
2. a=11, b=22, c=33;  //模块变量赋初值/ o# _2 ]: o$ ~
   
3. f(x)=x+a+b+c;  //函数f中使用了模块变量  A' S0 Q5 m, e# s, Q' B' k\" O* u' ]
   
4. f(1);  //函数调用

复制代码

结果：
, P) E4 z6 S5 n/ l67.
, W* |' g- A  `9 P. f0 Z
; \, M$ B0 }+ H  m& A这样看起来似乎不错，的确，在简单的程序中，这样写代码很简洁方便。不过，在复杂的程序中却不推荐使用编译符mvar，因为它常常会隐藏一些人为的错误，例如下面的代码通过了编译，但－－看看你的眼力，能否发现其中的错误？

1. mvar:- b4 V8 @, ^( h7 _$ _% e, S
   
2. a=11, b=22, c=33;  //模块变量赋初值! a1 y8 u! r' U' o, q
   
3. f(x)=x+a+d+c;  //函数f中使用了模块变量2 H7 V1 ~3 ^$ c
   
4. f(1);  //函数调用

复制代码

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

1. init(::a,b,c)= a=11, b=22, c=33;  //模块变量赋初值
   1 n' f; Y+ h' n# W
2. f(x::a,b,c)=x+a+d+c;  //函数f中使用了模块变量
   + _& W* q3 `\" z& R  [6 ~
3. f(1);  //函数调用

复制代码

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

pxwgih

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