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

Question

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

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

这是用 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年之后。