在尝试解决与宏变量范围相关的问题时，我发现这个非常有用的 SO 页面。 why doesn't %let create a local macro variable?
总而言之，在宏中编写 %let x = []; 或 %do x = [] %to []; 将:
- 如果全局符号表中没有“x”，则创建一个局部范围的宏变量 x，或者
- 如果全局符号表中存在“x”，则更新全局范围宏变量“x”
这让我觉得非常不直观。我敢打赌，由于这种设计选择，SAS 荒野中存在大量错误。我很少在宏中看到 %local 语句，甚至在使用“i”或“counter”等常见变量名称的循环语句之上也是如此。例如，我刚刚从 SUGI 和 SAS 全局论坛论文列表中提取了第一篇标题中包含“宏观”一词的论文 http://www.lexjansen.com/cgi-bin/xsl_transform.php?x=sgf2015&c=sugi
事实上，我在我打开的第一篇 SAS session 论文中找到了这段代码:
%macro flag;
data CLAIMS;
set CLAIMS;
%do j= 1 %to 3;
if icd9px&j in (&codelist)
then _prostate=1;
%end;
run;
%mend;
%flag;
http://support.sas.com/resources/papers/proceedings15/1340-2015.pdf
那些调用 %flag 并拥有自己的 &j 变量的人有祸了。他们很容易最终没有日志错误，但结果是虚假的，因为在调用 %flag 后，他们的 &j 到处都是 4，(根据经验)这将是一个追踪起来毫无乐趣的错误。或者更糟糕的是，他们可能永远不会意识到他们的结果是假的。
所以我的问题是，为什么决定不让所有宏变量默认为局部范围？ SAS 宏变量作用域如此工作有充分的理由吗？
最佳答案
很大程度上，因为 SAS 是一种已有 50 年历史的语言，早在 lexical scoping 之前就已存在。显然是首选。
SAS 混合了两种作用域概念，但除非您有意更改它，否则大多是动态限定作用域的。这意味着仅通过读取函数的定义，您无法得知哪些变量在运行时可用；和赋值语句适用于运行时当前可用的变量版本(而不是强制位于可用的最本地范围内)。
这意味着宏编译器无法判断特定的赋值语句是否旨在分配局部宏变量，或者运行时可能存在的更高范围的宏变量。正如您所说，SAS 可以强制执行本地宏变量，但这会将 SAS 变成一种词法作用域语言，基于与过去的一致性(保持向后兼容性)和基于功能，这都是不需要的； SAS 提供了强制词法作用域的功能(使用 %local)，但不提供在更高范围内有意更改变量的功能(某种形式的 parent？)除了 %global 之外。
请注意，动态作用域在 60 年代和 70 年代非常常见。 S-Plus、Lisp 等都有动态作用域。 SAS 倾向于尽可能向后兼容。 SAS 还经常被分析师而非程序员使用，因此需要尽可能避免复杂性。他们为我们这些确实想要词法作用域优势的人提供 %local
关于scope - 为什么 SAS 宏变量默认不是局部作用域？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/35533276/