FORALL用法小结