Maple过程内读取文件时如何保证变量作用域为局部

我执行如下操作：

u:=1;
save u, "test.txt";
u:=2:

随后编写并执行如下过程代码：

test1:=proc() local u;
  read "test.txt";
end proc:
test1():
'u'=u;
                      u = 1

从运行结果可见，在过程内部读取文件时，变量u被执行了全局赋值，而非使用过程内声明的局部u。

补充说明：test1()过程用于执行相关计算，计算依赖文件中存储的变量值，该文件是其他工作中经过长时间运算生成的结果文件。为避免运行错误，需要保证test1()执行时不会修改当前工作区中的同名变量值。

这是Mapleread命令的默认作用域特性导致的：直接在过程内调用read时，语句默认在全局作用域执行，不会绑定过程内声明的局部变量。有两种成熟方案可以将赋值限制在过程局部作用域，完全避免污染全局工作区，且不需要修改已经生成的结果文件：

• 方案1：借助匿名模块构造独立局部作用域读取
  在过程内部定义一个局部匿名模块，将需要从文件读取的变量声明为模块的局部变量，在模块内部执行read操作，读取完成后通过模块导出的方法把值传递给过程的局部变量即可。参考实现：

  test1:=proc()
  local u, loader;
    loader := module()
      local u;
      export fetch_u;
      read "test.txt";
      fetch_u := () -> u;
    end module;
    u := loader:-fetch_u();
    # 后续所有计算直接使用局部u即可
    return u;
  end proc:
  

  执行后全局作用域的u会保持原有赋值，不会被文件内的值覆盖。如果文件内有多个需要读取的变量，只需要在模块内声明对应局部变量，增加对应的导出取值方法即可，适配性很强。
• 方案2：读入文件内容后在当前过程作用域解析执行
  先把目标文件作为纯文本读入为字符串，解析为可执行语句后，指定在当前过程的局部作用域运行，参考实现：

  test1:=proc()
  local u, fstr, stmts;
    fstr := FileTools[Text][ReadFile]("test.txt");
    stmts := parse(fstr, statement);
    eval(stmts, 1); # 在当前proc作用域执行解析出的语句
    return u;
  end proc:
  

如果文件中存储的变量较多、后续可能新增读取变量，优先选择第一种匿名模块的方案，维护成本更低。

内容的提问来源于stack exchange，提问作者Robai