为什么 TransactionScope 不假设成功？

Question

TransactionScope 期望按如下方式调用其 Complete 方法。否则交易将不会被提交。

using(TransactionScope scope = new TransactionScope())
{
    /* Perform transactional work here */

    scope.Complete();
}

假设成功的实施不是更合适吗？这意味着在标准情况下（成功）需要更少的代码。

如果出现异常或调用“Rollback”等方法（此方法当前不存在），则可以回滚事务。

using(TransactionScope scope = new TransactionScope())
{
    /* Perform transactional work here */

     if(problemOccurred)
     {
         scope.Rollback();
     }
}

请注意，仅在问题未导致异常的情况下才需要 ProblemOccurred 标志。在这种情况下，回滚将自动执行。

我有兴趣进一步了解为什么使用此实现。

更新：到目前为止，一些答案认为，如果使用我描述的实现，则需要 try-catch 块。事实并非如此。当 using 块内未处理异常时，事务会自动回滚。现有的实现和我所描述的实现都是这种情况。有关更多详细信息，请参阅此处的“完成事务范围”部分。

更新2：我终于明白答案中解释的内容了。这不是一种可以以语言设计者认为合适的任何方式解释的语言构造 - 它是 IDisposable 模式的实现。如果不调用 Complete，Dispose 方法中的代码将不知道调用该方法是由于 using 块中的代码成功执行还是因为发生了异常。我正在想象类似于以下内容的内容，其中事务和回滚都是关键字。

transaction
{
    /* Perform transactional work here */

     if(problemOccurred)
     {
         rollback;
     }
}

如果事务选项需要传递到 TransactionScope，这当然会带来问题。

Answer 1

这样，每笔交易都会看起来像这样：

using(TransactionScope scope = new TransactionScope())
{
  try
  {
    /* Perform transactional work here */
  }
  catch (Exception)
  {
    scope.Rollback();
    throw;
  }
}

哪个是更多代码。

编辑：

其他一切都是有风险或不好的风格。 您必须绝对确定提交时没有任何错误。当离开 using 块时，您不知道离开它是因为抛出异常还是因为刚刚到达它的末尾。当调用 Complete 时，您就知道了。

交易块语法已经是最简单的。只需实现事务，无需任何特殊的错误处理，并在最后提交。发生任何错误时您不必关心和回滚。考虑一下，几乎每一行代码都可能抛出异常（例如 NullReference、溢出、InvalidOperation 等）。那么还有什么比这更容易的呢？

Answer 2

这意味着您不需要在失败情况下手动添加 try/finally（或 catch）块（可能带有“成功”标志）。尝试重写上面的代码以在错误时回滚，并看看它有多混乱......

基本上，正常的期望行为是仅在到达块末尾时才提交，没有例外。实现这一点的最简单方法是在块末尾放置一个方法调用来表示成功。

Answer 3

如果选择了其他实现，那么人们就会问相反的问题！

但说真的，旨在防止部分或不正确更新的机制中的默认行为肯定必须不提交，不是吗？

Answer 4

我认为，正如 @Jon Skeet 所说，要成功编写的代码量比当前的方式要少（而且不那么难看）。然而，从事务的角度来看，我认为您会希望持悲观态度，并假设除非明确表明成功，否则您会将其回滚。在我看来，错误地提交事务是一个比由于代码错误而意外未能成功提交事务更糟糕的问题。