如何用PHP实现获取文件大小的filesize()函数?