与exists的效率