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

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

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 )。我的实际代码庞大而复杂，但在尝试退出之前，逻辑上(通过数学证明)确实返回了一个值。

最佳答案

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

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

然而，在这些情况下，我的偏好是简单地重写代码，以便编译器可以看到所有路径终止。总的来说，我发现如果方法太复杂以至于编译器无法遵循它，那么在我之后拿起代码的人也将无法遵循它。

关于c# - 当函数的逻辑确实确保返回时如何处理 "not all code paths return a value"，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/18423961/