附录2.4 exists函数