1. _n_ 是自动变量, 数据步开始后自动生成并计数，不能验证不存在的_n_.
只能验证_n_的值不是missing;

data _null_;
  if missing (_n_) then put " _n_ has a missing value";
  else put " _n_ has a value";
run;


2. BBBB 为空 和 output 不起作用, 是 aaaa 的 end of file 在作怪。 因为 aaaa 没有数据， 所以 end=1. 数据步运行到end of file 时就会结束.  所以 set aaaa; 下面的output 语句不会被执行. 可以把 output 放在 set aaaa; 前面.

有些道理

非常感谢您的回复，还有一个问题想请教。您的回答是基于自己的猜测，还是在书本或者论文中见到过类似的说法？

之前search过， 没有找到相同问题的解释。
楼上的解释是基于对数据步的理解。 似乎不是很准确.

下图是SAS文件里的内容



下面的例子中 cccc 只有一行数据.  Log output: B eof_cccc=1 这一行说明当set语句读到最后一行数据
集时也读到了 end of file (end=1), 但 data step 并没有停止，而是继续运行了下面的语句 (put "B  " _all_;)和run语句，
然后返回 data 语句.  直到再次遇到 set 语句, 但 cccc 已经没有数据可读, 所以 data step 停止运行.  

换句话说: set 语句遇到空数据时，data step 就会停止. 这样解释是否更准确些?

   data _null_;
     put "A  " _all_;
     set cccc end = eof_cccc;
     put "B  " _all_;
   run;

/* log output */
A  eof_cccc=0 Name=  Sex=  Age=. Height=. Weight=. _ERROR_=0 _N_=1
B  eof_cccc=1 Name=CCCCC Sex=  Age=20 Height=. Weight=. _ERROR_=0 _N_=1
A  eof_cccc=1 Name=CCCCC Sex=  Age=20 Height=. Weight=. _ERROR_=0 _N_=2

这次我完全赞同你的看法，我测试过set AAAA;语句执行完后，PDV好像已经不存在了（put _all_没有输出任何内容），而output不起作用自然也能够解释了。

我通过下面的例子验证了bbbb之所以为空，确实跟到了文件末尾有关；下面的set 语句中加上point选项后，SAS不在能检测是否到达文件末尾的状态，这时候PDV还是存在的，output也就能发挥作用了

data aaa;
  set sashelp.class;
  if _n_ = 0;
run;

data aab;
  set aaa point = _N_;
  name = 'aa'; output;
  stop;
run;