在哪里放置算术检查语句？

Question

我正在阅读有关如何强制操作引发溢出异常的信息，在“自己尝试”部分，我将它放在与书不同的地方。我很好奇是否存在与某个位置相关的性能问题，因为我不确定 checked 关键字的基本机制。

书中的例子是做一个阶乘，它会很快抛出一个溢出，即使是一个无符号长整数。这是我想出的代码：

static long Factorial (long number) {
    long result = 1;

    for (int i = 2; i <= number; i++) {
        checked {
            result *= i;
        }
    }

    return result;
}

但是，查看书后的答案页，他们将checked 包裹在整个函数体中，包括return 和long result = 1;。显然，在那些地方你永远不需要一个，所以如果有的话，我会把for 循环包装在check 中。

循环中是否存在它会导致重复生成一些底层 CLR 代码？ （比如为什么要在进入 for 循环之前声明一个变量。）或者在循环中没有开销？

Answer 1

就编译结果而言，差别不大。

主要区别在于checked 块中的任何算术运算都将使用不同的 IL 指令。没有更多说明，只是不同的说明。不是mul，而是mul.ovf - 不是add，而是add.ovf，等等。

但是，您的版本实际上具有略微不同的行为。由于您将checked 块放在更窄的范围内，因此变量增量（i++）仍将处于未选中状态。原件将一直被检查，这意味着i++ 可以抛出，而不仅仅是乘法运算。这确实意味着您的版本更快，但这只是因为您避免了溢出检查并更改了结果行为，而不是因为范围更改。

循环中是否存在它会导致重复生成一些底层 CLR 代码？

不，这只是意味着该范围内的那些 IL 指令将获得带有溢出检查的不同 IL 操作代码，而不是标准操作代码。

或者在循环中没有开销？

没有任何开销（除了指令本身检查的额外开销）。