C# 编译器：检测返回路径时的结构与逻辑

Question

当我遇到这个有趣的场景时，我正在编写一个简单的实用程序 function（参见下面的代码）：没有过多关注我的代码结构，我编写了我认为可以接受的 function，它确保基于其中的逻辑。 当编译器抱怨“并非所有代码路径都返回值”时，我并不感到惊讶，而事实上，从技术上讲，所有代码路径确实都有正确的返回值。 虽然 mid else if子句在结构上模棱两可是可以理解的，但任何编译器（C# 或其他）是否有可能从逻辑上分析和检测这种逻辑流的正确性？

public static int CursorAtMinPosition()
{
    if (Console.CursorTop < ConsoleX.CursorPositionMin.Top)
        return -1;
    else if (Console.CursorTop == ConsoleX.CursorPositionMin.Top)
    {
        if (Console.CursorLeft < ConsoleX.CursorPositionMin.Left) return -1;
        if (Console.CursorLeft == ConsoleX.CursorPositionMin.Left) return 0;
        if (Console.CursorLeft > ConsoleX.CursorPositionMin.Left) return 1;
    }
    else
        return 1;
}

此代码无法编译，并显示以下错误消息：

'ConsoleX.CursorAtMinPosition()'：并非所有代码路径都返回值