两个set语句，会retain第一个dataset的观察值的。这个是the little sas book里面的例子

还是不是很懂，高手可否详细解释一下，假如最后一个程序是 data e; set a1; set a2; run;\
就只有一个观测，两者的区别是什么

您好，它们的区别在于：
1.第一个程序，sas首先在内存中开辟一个pdv，读取数据集a1的第一个观测，读取变量x的值并保留。   再读取第二个数据集a2的变量y，输出x和y并返回到data   此时if语句不再执行，读取数据集a2的第二条观测，输出x和y，如此下去直到a2读完。
2.第二个程序，编译后，内存出现两条数据指针，一条指向数据集a1,一条指向数据集a2，同时只产生一个pdv，读入a1和a2中所有变量   最后得到的数据集观测数总是为数据集a1和a2中观测数较少的那一个。。。。明白了吗？

不是还有set a2吗

为什么上述程序最后出现了4个观测中x都有值呢，我想着，只有第一个观测x=1000,　其它都应该为空啊？

No. All variable on a data set is retained automatically.  X is a variable on a1.

不是吗？求高手解答，因为只有_n_=1时才set a1, 其它时候都不set了

Yes. Set is a executable statement. it only executes once when _n_=1.  


Here is an example to help you understand it. I add additional observation on data set a1.

   data a1;
    input x;
    cards;
    1000
    200
    ;
    run;
    data a2;
    input y;
    cards;
    123
    234
    23
    456
    ;
    run;

    data e;
    if _n_=1 then set a1; set a2;
    run;

        proc print;run;

        data e;
    if _n_=1 then set a1(firstobs=2); set a2;
    run;

        proc print;run;