给定字符集将 InputStream 转换为 Stream<String>
Convert InputStream into Stream<String> given a Charset
我想将给定 Charset cs 的 InputStream is 转换为 Stream<String> stream，使得 stream 包含 is 的行。此外，不应立即阅读一行 is，而应仅在 stream 需要时阅读。
我想你可以试试：
Stream<String> lines = new BufferedReader(new InputStreamReader(is, cs)).lines();
我想将给定 Charset cs 的 InputStream is 转换为 Stream<String> stream，使得 stream 包含 is 的行。此外，不应立即阅读一行 is，而应仅在 stream 需要时阅读。
我想你可以试试：
Stream<String> lines = new BufferedReader(new InputStreamReader(is, cs)).lines();