forall的用法总结