c# - 当函数逻辑确保返回时如何处理 "not all code paths return a value"

Question

我想最简单的解释方法是通过人为的例子:

public static int Fail() {
    var b = true;
    if (b) {
        return 0;
    }
}

这段代码将无法编译，并给出错误“不是所有代码路径都返回一个值”，而我们人类可以清楚地看到它确实返回了一个值。我明白为什么。我的问题是应该采取什么措施来补救这种情况。它可能是这样的:

public static int Fail() {
    var b = true;
    if (b) {
        return 0;
    }
    throw new ApplicationException("This code is unreachable... but here we are.");
}

但这一切看起来都很愚蠢。有没有更好的办法？同样，此代码是一个人为的示例(可以简化为 return 0)。我的实际代码庞大而复杂，但在逻辑上(通过数学证明)在尝试退出之前会返回一个值。

Answer 1

C# 代码流分析是有限的，正如您的示例所指出的那样，在某些情况下所有路径都会返回但编译器无法检测到它。在这些情况下，抛出异常是一种可接受的补救措施。

我不会使用返回默认值来修复此错误。您在假设该行永远不会违背编译器的建议的情况下进行操作。考虑一下您的分析是错误的，执行可以继续到方法的末尾。如果您返回一个默认值，那么您将看不到问题的迹象。该方法只会返回错误数据。抛出异常会使问题变得非常明显。

但是在这些情况下，我更喜欢简单地重写代码，这样编译器就可以看到所有路径都终止了。一般来说，我发现如果方法太复杂以至于编译器无法遵循它，那么在我之后拿起代码的人也将无法遵循它。