37、函数式输入输出与Actor模型：实现安全高效编程

函数式输入输出与Actor模型：实现安全高效编程

函数式输入输出的栈安全处理

在函数式编程里，使用IO类型处理输入输出是常见操作。不过，有些IO方法在使用栈时和递归方法类似，像repeat方法，若重复次数过多，就会导致栈溢出。具体溢出的“过多”数值，取决于栈大小以及方法返回的程序运行时栈的占用情况。

为探究栈溢出情况，可创建forever方法，其接收一个IO作为参数，返回一个新的IO，该IO会无限循环执行传入的参数。以下是对应的方法签名和实现：

static <A, B> IO<B> forever(IO<A> ioa) { Supplier<IO<B>> t = () -> forever(ioa); return ioa.flatMap(x -> t.get()); }

此方法的使用示例如下：

public static void main(String... args) { IO program = IO.forever(IO.unit("Hi again!") .flatMap(Console::printLine)); program.run(); }

运行上述代码，经过数千次迭代后会出现栈溢出。下面是等价的代码：