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

forcal

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

1. init(::a,b,c)= a=11, b=22, c=33;  //模块变量赋初值
   / {! Y) H5 f; L3 h\" g2 y0 D
2. f(x::a,b,c)=x+a+b+c;  //函数f中使用了模块变量
   # T% e8 q% j3 A
3. f(1);  //函数调用

复制代码

结果：
0 W& X6 J8 T6 `* A: ]2 y67.

当使用编译符mvar时，未声明的变量均看作模块变量，故前面的例子可写成：

1. mvar:1 ], T/ F( }: l5 E! G# u3 a6 @
   
2. a=11, b=22, c=33;  //模块变量赋初值
   3 T: H# u* s\" T- C) f
3. f(x)=x+a+b+c;  //函数f中使用了模块变量2 s2 G  o# K4 _; z- [
   
4. f(1);  //函数调用

复制代码

结果：
67.
3 k+ y" l: L' A  g2 T' u6 ?) p5 S
这样看起来似乎不错，的确，在简单的程序中，这样写代码很简洁方便。不过，在复杂的程序中却不推荐使用编译符mvar，因为它常常会隐藏一些人为的错误，例如下面的代码通过了编译，但－－看看你的眼力，能否发现其中的错误？

1. mvar:! j5 _( ^6 L4 {$ o0 o
   
2. a=11, b=22, c=33;  //模块变量赋初值
   . w$ z# f) m% T; B( d% N& a6 M0 p
3. f(x)=x+a+d+c;  //函数f中使用了模块变量
   , z3 y4 |+ p5 k\" ~4 _. N
4. f(1);  //函数调用

复制代码

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

1. init(::a,b,c)= a=11, b=22, c=33;  //模块变量赋初值
   % Q7 H3 X\" \- W( V7 k\" J
2. f(x::a,b,c)=x+a+d+c;  //函数f中使用了模块变量4 e4 p; T1 `! o: G+ h7 v
   
3. f(1);  //函数调用

复制代码

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

pxwgih

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