回滚声明式事务

上一节概述了如何在应用程序中以声明方式为类(通常是服务层类)指定事务设置的基础知识。本节描述了如何在 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 类型标记事务回滚,包括已检查异常。

回滚规则

回滚规则确定在抛出给定异常时事务是否应该回滚,并且这些规则基于异常类型或异常模式。 回滚规则可以通过 rollback-forno-rollback-for 属性在 XML 中配置,这些属性允许将规则定义为模式。当使用 @Transactional 时, 回滚规则可以通过 rollbackFor/noRollbackForrollbackForClassName/noRollbackForClassName 属性配置,这些属性分别允许根据异常类型或模式定义规则。 当使用异常类型定义回滚规则时,该类型将用于匹配抛出异常的类型及其超类型,从而提供类型安全并避免在使用模式时可能发生的任何意外匹配。例如,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 的干净架构背道而驰。