exist是什么函数