响应式编程中的错误处理范式
在响应式流中，错误不再通过抛出异常来处理，而是通过错误信号（error signal）在流中传播。Mono和Flux已经内置了错误处理的概念。因此，在响应式上下文中，应避免直接抛出运行时异常，而是使用特定的操作符来处理错误。
Project Reactor提供了以下核心错误处理操作符：
- doOnError: 用于执行副作用操作，例如记录日志。它不会改变流中的错误信号，错误会继续向下游传播。
- onErrorResume: 当上游发出错误信号时，提供一个备用的响应式流（Mono或Flux）来订阅。这常用于错误恢复或在错误发生时执行一些清理操作并发出一个新的结果（或再次发出错误）。
- onErrorMap: 用于将一种类型的错误转换为另一种类型的错误。
- Mono.error(Throwable): 在响应式流中显式发出一个错误信号，而不是通过throw new RuntimeException()。
特别注意： 永远不要使用onErrorContinue，因为它可能会导致难以调试的副作用和状态不一致。
模拟“finally”逻辑与错误处理的融合
在传统命令式编程中，finally块通常用于确保某些代码（如资源释放、状态保存）无论是否发生异常都会执行。在响应式流中，这种“无论成功或失败都执行”的逻辑需要巧妙地融入到流的链式操作中。这意味着你需要将“finally”逻辑分别放置在成功路径和错误处理路径上。
考虑以下场景：在处理完一个请求后，无论业务逻辑成功还是失败，都需要将某个existingData对象的状态保存回数据库。
原始问题中的非响应式尝试（伪代码）：
public Monoprocess(Request request) { // ... 业务逻辑 ... try { var response = hitAPI(existingData); // 假设 hitAPI 是一个阻塞操作 } catch(ServerException serverException) { log.error(""); throw serverException; // 在响应式方法中抛出阻塞异常 } finally { repository.save(existingData); // 阻塞操作 } return convertToResponse(existingData, response); }
上述代码在响应式环境中存在严重问题：
- 直接在try-catch中调用阻塞的hitAPI和repository.save会阻塞Reactor的事件循环。
- 在响应式方法中直接throw serverException会中断响应式流，导致下游无法接收到错误信号。
- finally块中的阻塞操作无法与响应式流无缝集成。
响应式解决方案：
以下是符合响应式范式且能有效处理“finally”逻辑的改进代码：
import reactor.core.publisher.Mono;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;
// 假设这些是响应式接口
interface Repository {
Mono find(String id);
Mono save(Data data);
}
interface Request {
String getId();
}
enum State {
PENDING, COMPLETED, FAILED
}
class Data {
String id;
State state;
// ... 其他字段 ...
public String getId() { return id; }
public State getState() { return state; }
public void setState(State state) { this.state = state; }
}
class Response {
// ... 响应字段 ...
}
class ServerException extends RuntimeException {
public ServerException(String message) { super(message); }
}
public class ReactiveProcessService {
private static final Logger log = LoggerFactory.getLogger(ReactiveProcessService.class);
private final Repository repository;
public ReactiveProcessService(Repository repository) {
this.repository = repository;
}
// 假设 hitAPI 是一个可能阻塞的外部调用
private Response hitAPI(Data existingData) throws ServerException {
// 模拟外部API调用，可能抛出 ServerException
if (Math.random() < 0.3) { // 模拟30%的失败率
throw new ServerException("External API call failed for data: " + existingData.getId());
}
// 模拟成功响应
return new Response();
}
private Data convertToData(Request request) {
Data data = new Data();
data.id = request.getId();
data.state = State.PENDING; // 初始状态
return data;
}
private Response convertToResponse(Data data, Response apiResponse) {
// 根据数据和API响应生成最终响应
return apiResponse; // 简化处理
}
public Mono process(Request request) {
return repository.find(request.getId())
.flatMap(existingData -> {
// 1. 检查现有数据状态，不符合条件则发出错误信号
if (existingData.getState() != State.PENDING) {
return Mono.error(new RuntimeException("Data state is not PENDING. Current state: " + existingData.getState()));
} else {
// 2. 如果状态符合，则返回现有数据，或者更新并保存（这里简化为直接返回）
// 实际情况可能需要一个 Mono.just(existingData)
return Mono.just(existingData);
}
})
.switchIfEmpty(
// 3. 如果 find 结果为空，则保存新数据
repository.save(convertToData(request))
)
.flatMap(existingData -> Mono
// 4. 调用可能阻塞的外部API，使用 fromCallable 包裹以确保非阻塞执行
.fromCallable(() -> hitAPI(existingData))
// 5. doOnError: 记录 ServerException 类型的错误，错误会继续传播
.doOnError(ServerException.class, throwable -> log.error("API call failed: {}", throwable.getMessage(), throwable))
// 6. onErrorResume: 当发生任何错误时（包括 ServerException），执行“finally”逻辑（保存数据），然后重新发出原始错误
.onErrorResume(throwable ->
repository.save(existingData) // 保存数据（例如，更新状态为失败）
.then(Mono.error(throwable)) // 确保原始错误继续向下传播
)
// 7. flatMap (成功路径): 如果API调用成功，执行“finally”逻辑（保存数据），然后映射到最终响应
.flatMap(response ->
repository.save(existingData) // 保存数据（例如，更新状态为成功）
.map(updatedData -> convertToResponse(updatedData, response))
)
);
}
} 代码解析：
- repository.find(request.getId()): 开始流，查找现有数据。
- flatMap(existingData -> { ... Mono.error(...) }): 在流中检查existingData的状态。如果状态不符合预期，不再抛出异常，而是通过Mono.error()发出一个错误信号，让错误在响应式流中传播。
- switchIfEmpty(repository.save(convertToData(request))): 如果find操作没有找到数据（即Mono.empty()），则切换到保存新数据的流。
- flatMap(existingData -> Mono.fromCallable(() -> hitAPI(existingData))): 这是关键一步。hitAPI可能是一个阻塞操作（例如调用外部REST API）。为了保持整个流的非阻塞特性，需要使用Mono.fromCallable()将其包裹起来。fromCallable会在一个单独的线程上执行提供的Callable，然后将其结果或抛出的异常包装成Mono信号。
- .doOnError(ServerException.class, throwable -> log.error(...)): 这是副作用操作，用于记录ServerException。它不会捕获或改变错误，错误会继续传递给下一个操作符。
- .onErrorResume(throwable -> repository.save(existingData).then(Mono.error(throwable))): 这是错误路径上的“finally”逻辑。当hitAPI（或之前的任何操作）发出错误信号时，onErrorResume会被触发。它会执行repository.save(existingData)（例如，将existingData的状态更新为FAILED并保存），然后使用.then(Mono.error(throwable))确保原始的错误信号继续向下游传播，而不是被默默吞噬。
- .flatMap(response -> repository.save(existingData).map(updatedData -> convertToResponse(updatedData, response))): 这是成功路径上的“finally”逻辑。如果hitAPI成功返回response，此flatMap会被触发。它会执行repository.save(existingData)（例如，将existingData的状态更新为COMPLETED并保存），然后将更新后的数据和API响应映射为最终的Response。
总结与最佳实践
- 拥抱错误信号： 在Reactor中，使用Mono.error()代替throw new RuntimeException()来发出错误。
- 区分副作用与错误处理： 使用doOnError进行日志记录等副作用操作，使用onErrorResume或onErrorMap进行错误恢复或转换。
- 避免阻塞： 确保响应式流中的所有操作都是非阻塞的。对于可能阻塞的外部调用（如数据库操作、HTTP请求），使用Mono.fromCallable()或Mono.fromRunnable()将其包装起来，并在合适的调度器上执行。
- “finally”逻辑的响应式实现： 将需要在成功和失败两种情况下都执行的逻辑，分别放置在flatMap（成功路径）和onErrorResume（错误路径）中。
- 响应式存储库： 确保你的数据访问层（Repository）是响应式的，返回Mono或Flux，而不是阻塞的实体。
通过遵循这些原则，你可以在Project Reactor中构建出真正健壮、高效且符合响应式范式的应用程序。
