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

Question

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

我看过，但是找不到任何类似的问题。因为我不知道起始数字是什么，所以我无法使用其他解决方案。

这是用Python编写的函数：

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

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

Answer 1

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

Answer 2

实际上，此功能内置于file_get_contents中。

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

_{该功能的便捷功能，我在使用了7年后才了解 。}