How to read a file from line x to line y (with php)
I've explored all over the internet to find a solution; but all of them are neglecting an important issue. The best solution was in Stack Overflow as
$file = new SplFileObject('longFile.txt');
$fileIterator = new LimitIterator($file, 1000, 2000);
foreach($fileIterator as $line)开发者_如何转开发 {
echo $line, PHP_EOL;
}
But like other approaches, this needs to read from the beginning of the file to reach the offset line. Usually, it is negligible; but for large files (say millions of line), this significantly slow down the process. The time increases monotonically by the increase of the offset. If you put the offset at millions, the process time will be few seconds.
In databases (like mysql), we index the table to read a row without walking through the whole database. Is there to do such thing with the file key (line number)? I wonder how flat file databases like SQLite and Berkeley DB do index their tables.
There is no way to seek to a particular line, because "line" term is just a convention. Line is a "set of characters separated by \n". And file has no idea about this convention. So to get N'th line you need to traverse char by char to count needed amount of lines.
As you mentioned - you can improve the performance using some sort of custom created index (like row number - offset in bytes
list), but to build it you need to parse the file anyway.
The conceptual problem here is that files are just strings of characters, some of those characters denote ends of lines. Because of that, it is impossible to know where lines begin and end without reading the file first.
If a file is to be read constantly, you scan the file first and record the offsets for the lines into some kind of index and use fseek() and fread() to read exactly the lines you want.
As you mentioned, databases can do a similar job for you so, instead of creating, essentially, your own database, you could read the file line–by–line and insert those lines in database with some field storing the line number and then get the lines you want with a query.
<?php
$strings = file_get_contents($file);
$length= strlen($strings);
for($i=0;$i<$length;$i++) {
print $strings{$i};
}
?>
The above code will get file contents in strings, and then will iterate each character one by one, now its upto you how you want to make use of them.
精彩评论