打开 哈希空间 微信小程序中查看更佳
(PHP 4, PHP 5, PHP 7, PHP 8)
gzgets — Get line from file pointer
$stream, ?int $length = null): string|false
Gets a (uncompressed) string of up to length - 1 bytes read from the given file pointer. Reading ends when length - 1 bytes have been read, on a newline, or on EOF (whichever comes first).
stream
The gz-file pointer. It must be valid, and must point to a file successfully opened by gzopen().
length
The length of data to get.
The uncompressed string, or false on error.
| 版本 | 说明 |
|---|---|
| 8.0.0 |
length is nullable now;
previously, the default was 1024.
|
示例 #1 gzgets() example
<?php
$handle = gzopen('somefile.gz', 'r');
while (!gzeof($handle)) {
$buffer = gzgets($handle, 4096);
echo $buffer;
}
gzclose($handle);
?>
