有一个向量：
a=1 NULL 2 3 6 NULL 2 NULL
我想知道null值的下标。尝试过使用循环来获取，但是当向量中的值很多时，效率会很低。有没有更加高效的方法？
re=isNull(a) index=array(int,0,1) for(i in 1..size(a)){ if(re[i]==true){ index.append!(i) } } print index
试了一下，下面三种方法都可以：
at(not isValid(a)) at(isNull(a)) at(a==NULL)
