回滚声明式事务

上一节概述了如何在应用程序中以声明方式为类（通常是服务层类）指定事务设置的基础知识。本节描述了如何在 XML 配置中以简单、声明式的方式控制事务的回滚。有关使用 @Transactional 注解以声明方式控制回滚语义的详细信息，请参阅 @Transactional 设置。

向 Spring Framework 的事务基础设施指示事务工作需要回滚的推荐方法是，从当前在事务上下文中执行的代码中抛出 Exception。Spring Framework 的事务基础设施代码会捕获任何未处理的 Exception，因为它会沿着调用堆栈向上冒泡，并确定是否将事务标记为回滚。

在默认配置中，Spring Framework 的事务基础设施代码仅在运行时、非检查异常的情况下将事务标记为回滚。也就是说，当抛出的异常是 RuntimeException 的实例或子类时。（Error 实例默认也会导致回滚）。

默认配置还支持 Vavr 的 Try 方法，当它返回“Failure”时触发事务回滚。这允许您使用 Try 处理函数式错误，并在失败时自动回滚事务。有关 Vavr 的 Try 的更多信息，请参阅 Vavr 官方文档。以下是 Vavr 的 Try 与事务方法一起使用的示例：

Java

@Transactional
public Try<String> myTransactionalMethod() {
	// If myDataAccessOperation throws an exception, it will be caught by the
	// Try instance created with Try.of() and wrapped inside the Failure class
	// which can be checked using the isFailure() method on the Try instance.
	return Try.of(delegate::myDataAccessOperation);
}

从 Spring Framework 6.1 开始，CompletableFuture（以及一般的 Future）返回值也得到了特殊处理，如果此类句柄在从原始方法返回时异常完成，则会触发回滚。这适用于 @Async 方法，其中实际方法实现可能需要符合 CompletableFuture 签名（在运行时通过 @Async 处理自动适应为代理调用的实际异步句柄），优先在返回的句柄中公开而不是重新抛出异常：

Java

@Transactional @Async
public CompletableFuture<String> myTransactionalMethod() {
	try {
		return CompletableFuture.completedFuture(delegate.myDataAccessOperation());
	}
	catch (DataAccessException ex) {
		return CompletableFuture.failedFuture(ex);
	}
}

在默认配置中，从事务方法抛出的检查异常不会导致回滚。您可以通过指定 回滚规则 来精确配置哪些 Exception 类型标记事务回滚，包括检查异常。

回滚规则

回滚规则确定当抛出给定异常时事务是否应该回滚，并且规则基于异常类型或异常模式。回滚规则可以在 XML 中通过 rollback-for 和 no-rollback-for 属性进行配置，这些属性允许将规则定义为模式。当使用 @Transactional 时，回滚规则可以通过 rollbackFor/noRollbackFor 和 rollbackForClassName/noRollbackForClassName 属性进行配置，这些属性分别允许根据异常类型或模式定义规则。当回滚规则使用异常类型定义时——例如，通过 rollbackFor——该类型将用于与抛出异常的类型进行匹配。具体来说，给定一个已配置的异常类型 C，如果抛出的异常类型 T 等于 C 或 C 的子类，则 T 将被视为与 C 匹配。这提供了类型安全，并避免了在使用模式时可能发生的任何意外匹配。例如，jakarta.servlet.ServletException.class 的值将只匹配类型为 jakarta.servlet.ServletException 及其子类的抛出异常。当回滚规则使用异常模式定义时，该模式可以是异常类型（必须是 Throwable 的子类）的完全限定类名或完全限定类名的子字符串，目前不支持通配符。例如，值 "jakarta.servlet.ServletException" 或 "ServletException" 将匹配 jakarta.servlet.ServletException 及其子类。

您必须仔细考虑模式的特异性以及是否包含包信息（这不是强制性的）。例如，"Exception" 将匹配几乎所有内容，并且可能会隐藏其他规则。如果 "Exception" 旨在为所有检查异常定义规则，则 "java.lang.Exception" 将是正确的。对于更独特的异常名称，例如 "BaseBusinessException"，可能不需要使用异常模式的完全限定类名。此外，基于模式的回滚规则可能会导致对类似名称的异常和嵌套类的意外匹配。这是因为如果抛出异常的名称包含为回滚规则配置的异常模式，则该抛出异常被视为与给定基于模式的回滚规则匹配。例如，给定一个配置为匹配 "com.example.CustomException" 的规则，该规则将匹配名为 com.example.CustomExceptionV2 的异常（与 CustomException 在同一包中但带有额外后缀的异常）或名为 com.example.CustomException$AnotherException 的异常（在 CustomException 中声明为嵌套类的异常）。

以下 XML 片段演示了如何通过 rollback-for 属性提供 异常模式 来配置检查的、应用程序特定 Exception 类型的回滚：

<tx:advice id="txAdvice" transaction-manager="txManager">
	<tx:attributes>
		<tx:method name="get*" read-only="true" rollback-for="NoProductInStockException"/>
		<tx:method name="*"/>
	</tx:attributes>
</tx:advice>

如果您不希望在抛出异常时回滚事务，您还可以指定“不回滚”规则。以下示例告诉 Spring Framework 的事务基础设施即使在遇到未处理的 InstrumentNotFoundException 时也要提交相关事务：

<tx:advice id="txAdvice">
	<tx:attributes>
		<tx:method name="updateStock" no-rollback-for="InstrumentNotFoundException"/>
		<tx:method name="*"/>
	</tx:attributes>
</tx:advice>

当 Spring Framework 的事务基础设施捕获到异常并查阅配置的回滚规则以确定是否将事务标记为回滚时，最强的匹配规则将胜出。因此，在以下配置中，除了 InstrumentNotFoundException 之外的任何异常都会导致相关事务回滚：

<tx:advice id="txAdvice">
	<tx:attributes>
		<tx:method name="*" rollback-for="Throwable" no-rollback-for="InstrumentNotFoundException"/>
	</tx:attributes>
</tx:advice>

您还可以通过编程方式指示需要回滚。尽管简单，但此过程具有侵入性，并将您的代码与 Spring Framework 的事务基础设施紧密耦合。以下示例演示了如何通过编程方式指示需要回滚：

Java
Kotlin

public void resolvePosition() {
	try {
		// some business logic...
	} catch (NoProductInStockException ex) {
		// trigger rollback programmatically
		TransactionAspectSupport.currentTransactionStatus().setRollbackOnly();
	}
}

fun resolvePosition() {
	try {
		// some business logic...
	} catch (ex: NoProductInStockException) {
		// trigger rollback programmatically
		TransactionAspectSupport.currentTransactionStatus().setRollbackOnly();
	}
}

强烈建议您尽可能使用声明式回滚方法。如果您绝对需要，可以使用编程回滚，但其使用与实现基于 POJO 的整洁架构背道而驰。