如何映射“试用资源”异常类型？

Question

在Cyclops React“尝试使用资源”块中，我想将IOException映射到自定义异常类型。我也用Javaslang尝试过这个，看起来不那么灵活，因为它对所有异常都一视同仁。

代码示例：

private static Try<String, ConnectionError> readString() {
    // Socket is a thread-local static field
    final Try<String, IOException> string = Try.catchExceptions(IOException.class)
            .init(() -> new BufferedReader(new InputStreamReader(socket.get().getInputStream())))
            .tryWithResources(BufferedReader::readLine);

    return string.isSuccess() ? Try.success(string.get()) :
            Try.failure(new ConnectionError("Could not read from server", string.failureGet()));
}

这可以用更优雅的方式完成吗？或者没有任何意义，最好返回try

免责声明：我是一个新手，通常使用Cyclops React库和函数编程，因此我可能有严重的概念误解。




Answer 1

您可以使用“访问”方法来转换失败类型。所有独眼巨人-反应类型都有一个访问方法或“变形”。这允许您与该数据类型的内部状态进行匹配。在尝试的情况下，它需要两个函数，如果尝试是成功的，则执行一个函数，如果尝试是失败的，则执行另一个函数。

private static Try<String, ConnectionError> readString() {
    // Socket is a thread-local static field
    return Try.catchExceptions(IOException.class)
              .init(() -> new BufferedReader(new InputStreamReader(socket.get().getInputStream())))
              .tryWithResources(BufferedReader::readLine)
              .visit(Try::success,
                     e->Try.failure(new ConnectionError("Could not read from server", e));
}

Vavr/Javaslang-Try和cyclops-react-Try在概念/设计上有很大差异。其中一个可能更适合不同的用例。（Daniel可以概述Vavr Try背后的原理）。

cyclops-反应版本只处理显式命名的异常，并保留该类型信息。因此，cyclops-反应尝试采用两个通用参数，一个用于成功类型，一个用于最通用的推断异常类型。

cyclops react-Try通常不会捕捉正在进行的fluent操作（如map/flatMap等）中的异常，尽管它可以配置为这样做。

独眼巨人react Try的核心设计目标是避免隐藏bug。StackExchange答案有更详细的概述。

Answer 2

从Javaslang 2.1.0开始，可以执行以下操作：

Try<String> of = Try.withResources(() -> new BufferedReader(new InputStreamReader(socket.get().getInputStream())))
                    .of(BufferedReader::readLine)
                    .mapFailure(
                        Case(instanceOf(IOException.class), ConnectionError::new)
                    );

一、 e.我们添加了Try。使用Resources功能，现在可以映射故障。

mapFailure方法采用可变数量的匹配案例。当异常不匹配（因此没有映射）时，原始异常仍然存在。

我认为将异常类型作为Try签名的一部分是没有意义的，例如Try

指定一组可能的异常类型也没有帮助，因为当编译器计算泛型的上界时，类型信息会丢失。

免责声明：我是Javaslang的创建者