如何用PHP的file_get_contents()函数高效读取文件内容?