标签： php
这似乎是一个非常简单的问题，而且我以前肯定会问过这个问题，但我现在已经找了一段时间并且找不到解决方案。
使用PHP的file（）命令时，它会读取文件并将每行放在一个数组中作为String。有没有办法将每一行读作整数？
（我知道我可以直接通过数组并将其转换为int，但我认为这会减慢它的速度）
答案 0 :(得分：1)
不。唯一的方法是手动完成。幸运的是，这很简单：
$lines = array_map('intval', file($path));