PHP file() 函数把整个文件读入一个数组中。与 file_get_contents() 类似，不同的是 file() 将文件作为一个数组返回。数组中的每个单元都是文件中相应的一行，包括换行符在内。如果失败，则返回 false。explode() 函数把字符串分割为数组。本函数返回由字符串组成的数组，其中的每个元素都是由 separator 作为边界点分割出来的子字符串。$mingdan 已经是数组了
