变化1里面宏变量a作为%macro语句的一部分，你调用的是%animal(c);相当于运行的是%let c=dog;因此，a仍然是cat；
变化2宏变量a虽然在%macro里面，但是但是它不作为宏参数；在你调用%animal(c);时就相当于又对宏变量进行了值改变，即%let a=dog，因此结果a is dog

问题是如果宏内的a指的是宏变量 不是要写成&a.么（%animal(&a);），所以宏参数（a）（c）  应该跟%let a=cat; 没有关系才对啊

首先，一楼说的不对。
在变化1中，调用%macro(c) 相当于在%macro函数最开始使用%local a; %let a=c; 这里是通过位置将c赋值给变量a。

在这两个变化中，需要明白的重点在于%macro函数的参数是局部变量！
某个宏函数中局部宏变量，只能在该宏函数中调用。

变化1中，首先用%let a=cat定义了一个全局宏变量a。在%macro函数中定义了局部宏变量a，在调用macro的过程中，局部宏变量a被赋值为c。macro中的%let a = dog 语句先查找局部宏变量，再查找全局宏变量，所以局部宏变量a被重新赋值为dog，而全部宏变量a的值仍是cat。使用%put语句调用的是全局宏变量a（值为cat）

变化1的代码相当于：
%let a=cat;
%macro animal;
%local a; *定义局部宏变量;
%let a=c;
%let a=dog;
%mend;
%animal;
%put a is &a;


变化2中，macro中的%let a=dog语句也是先查找局部宏变量（此时局部宏变量为f），再查找全局宏变量，所以找到的是全部宏变量a被重新赋值为dog。使用%put语句调用的是全局宏变量a（值为dog）。

变化2的代码相当于：
%let a=cat;
%macro animal;
%local f; *定义局部宏变量;
%let f=c;
%let a=dog;
%mend;
%animal;
%put a is &a;