exists效率