Php 是否可以从文件开头读取一定数量的数字后再读取一定数量的字符

我正在设置一个web应用程序，用户可以选择从包含10亿位pi的文本文件中读取的起始点和字符数

我已经看过了，但没有发现任何类似的问题。因为我不知道起始数字是多少，所以我不能使用其他解决方案

以下是用Python编写的函数：

def pi(left : int, right : int):
    f.seek(left+1)
    return f.read(right)

---

例如，输入700作为起始点，输入9作为字符数应返回“Pi（700,9）：542019956”。

用于将文件指针移动到所需的位置，并读取所需的字符量，就像Python示例代码一样。

用于将文件指针移动到所需的位置，以及读取所需的字符量—就像Python示例代码一样。

实际上，此功能内置于

文件获取内容中

$substr = file_get_contents('pi_file.txt', false, null, 700, 9);

在使用了7年后，我刚刚了解到该功能的一个便捷功能。
实际上，该功能内置于
文件获取内容中

$substr = file_get_contents('pi_file.txt', false, null, 700, 9);

该函数的一个方便的特性是我在使用了7年后才了解到的。
php有类似python的fseek（）和fread（）jsut，hp有类似python的fseek（）和fread（）jsut