为何编译器提示异步函数未返回值？所有路径均有返回/抛出

我写了一个异步文件读取函数，逻辑上所有代码路径要么返回值要么抛出异常，但编译器一直提示“并非所有代码路径都返回值”。我肯定是自己漏了什么，麻烦帮忙排查。

原始代码 #

public async Task<string> MyReadAllTextAsync(string file, FileShare fileShare = FileShare.None, Encoding encoding = null, int retries = 0)
{
    for (int i = 0; i <= retries; i++)
    {
        try
        {
            // 此部分代码要么返回要么抛出异常
            using var fileStream = new FileStream(file, FileMode.Open, FileAccess.Read, fileShare);
            using var textReader = new StreamReader(fileStream, encoding ?? Encoding.UTF8);
            return await textReader.ReadToEndAsync();
        }
        catch (IOException ex) when (ex.Message.Contains("it is being used by another process"))
        {
            if (i < retries)
            {
                await Task.Delay(DelayMs);
                continue;
            }
            throw;
        }
    }

    // 这段代码能被执行到吗？
    // 编译器提示错误“并非所有代码路径都返回值”
    // 编译器强制我添加这个抛出语句，但我认为它永远不会被执行
    throw new InvalidOperationException("MyReadAllTextAsync failure");
}

更新：添加参数校验后仍报错 #

我给代码加上了retries的参数校验，但编译器还是报同样的错误。我觉得现在编译器应该能判断出不会走到最后一行，但实际并没有。如果有人发现存在能执行到末尾的情况，欢迎留言，我会单独致谢。

更新后的代码：

if (retries < 0) throw new ArgumentException(nameof(retries));

public async Task<string> MyReadAllTextAsync(string file, FileShare fileShare = FileShare.None, Encoding encoding = null, int retries = 0)
{
    for (int i = 0; i <= retries; i++)
    {
        try
        {
            // 此部分代码要么返回要么抛出异常
            using var fileStream = new FileStream(file, FileMode.Open, FileAccess.Read, fileShare);
            using var textReader = new StreamReader(fileStream, encoding ?? Encoding.UTF8);
            return await textReader.ReadToEndAsync();
        }
        catch (IOException ex) when (ex.Message.Contains("it is being used by another process"))
        {
            if (i < retries)
            {
                await Task.Delay(DelayMs);
                continue;
            }
            throw;
        }
    }

    // 这段代码能被执行到吗？
    // 编译器提示错误“并非所有代码路径都返回值”
    // 编译器强制我添加这个抛出语句，但我认为它永远不会被执行
    throw new InvalidOperationException("MyReadAllTextAsync failure");
}

即使注释掉最后一行的抛出语句，编译器依然报错，但我坚信那行永远不会被执行到。

解答 #

问题出在C#编译器的控制流分析能力限制上，它不会深入分析for循环的终止条件和循环内的路径是否完全覆盖所有可能的执行情况。

具体来说：

• 从逻辑上看，for (int i = 0; i <= retries; i++)的循环会执行retries + 1次，每次循环要么返回值，要么抛出异常（包括捕获特定IOException后的抛出），理论上不可能走到循环外的代码。
• 但编译器不会去计算循环的迭代次数和内部路径的覆盖关系，它只会看到：循环存在“正常结束”的可能性。哪怕你加了retries >=0的校验，编译器也不会把这个参数校验的结果和后续的循环条件关联起来——编译器的控制流分析是局部的，不会跨代码块传递这样的常量推断。

换句话说，编译器不会“理解”retries >=0意味着i <= retries的循环至少会执行一次，并且每次循环都必然终止（返回或抛出）。它只会看到循环有可能正常退出，因此要求循环外必须有返回或抛出语句。

那最后一行代码真的能被执行到吗？在运行时，只要retries >=0，就绝对不可能走到最后一行。但编译器无法做出这个推断，所以必须保留那行抛出语句（或者返回一个值，不过抛出更合理）来满足编译器的要求。

内容的提问来源于stack exchange，提问作者zumalifeguard