今天因为自己编程发现的问题，无意搜到这个陈年帖，结合自己的问题对PDV和drop又有了理解：
data t;
  input x1 $ x2 x3;
  cards;
   a 1 2
   b 2 3
   c 3 4
   d 2 6
   e 4 6
   f 7 2
   g 4 5
;run;
data t1 t2;
  set t;
if x2>3 then do;
   drop x3;
   output t1;
  end;
  else output t2;
run;
以上程序的结果，t1 和 t2两个数据集都只有2个变量x1和x2，所以if条件实际上对drop语句是无效的。
综合其他资料看了一下，drop语句是 compile-time only statement，所以自己理解SAS的运行机制大概如下：
编译程序－开启PDV－标注drop变量（不在output中输出，但仍然存在于PDV，所以允许参与运算）
按照这个理解，

1、一楼的程序中，虽然drop city，但执行时仍然可以参加运算，所以有state=NY.
2、我自己的程序中，因为drop编译时已经表明不参加output，而且drop是compile time only statement，所以执行时，if条件对于drop不起作用。
以上自己的理解，欢迎拍砖。