草庐IT

c# - 错误原因 CS0161 : not all code paths return a value

coder 2023-07-11 原文

我已经做了一个基本的扩展方法来为我的 HttpClient.PostAsync 添加重试功能:

public static async Task<HttpResponseMessage> PostWithRetryAsync(this HttpClient httpClient, Uri uri, HttpContent content, int maxAttempts, Action<int> logRetry)
{
    if (maxAttempts < 1)
        throw new ArgumentOutOfRangeException(nameof(maxAttempts), "Max number of attempts cannot be less than 1.");

    var attempt = 1;
    while (attempt <= maxAttempts)
    {
        if (attempt > 1)
            logRetry(attempt);

        try
        {
            var response = await httpClient.PostAsync(uri, content).ConfigureAwait(false);
            response.EnsureSuccessStatusCode();
            return response;
        }
        catch (HttpRequestException)
        {
            ++attempt;
            if (attempt > maxAttempts)
                throw;
        }
    }
}

上面的代码给了我以下错误:

Error CS0161 'HttpClientExtensions.PostWithRetryAsync(HttpClient, Uri, HttpContent, int, Action)': not all code paths return a value.



如果我添加 throw new InvalidOperationException()最后(或 return null 就此而言),错误按预期消失。我真正想知道的是:是否有任何代码路径实际退出此方法而没有返回值或抛出异常?我看不到。在这种情况下,我是否比编译器了解的更多,还是相反?

最佳答案

原因很简单,编译器必须能够静态验证所有执行流路径是否以 return 语句(或异常)结束。

让我们看看你的代码,它包含:

  • 控制 while 的一些变量循环
  • 一个 while循环,带有 return语句嵌入
  • return循环后的语句

  • 所以基本上编译器必须验证这些事情:
  • 那个while循环实际执行
  • 那个return语句总是被执行
  • 或者总是抛出一些异常。

  • 编译器根本无法验证这一点。

    让我们尝试一个非常简单的例子:
    public int Test()
    {
        int a = 1;
        while (a > 0)
            return 10;
    }
    

    这个简单的例子将产生完全相同的错误:

    CS0161 'Test()': not all code paths return a value



    因此,由于以下事实,编译器无法推断出这一点:
  • a是一个局部变量(意味着只有局部代码可以影响它)
  • a初始值为 1 ,并且永远不会改变
  • 如果a变量大于零(它是),return声明已达成

  • 那么代码将始终返回值 10。

    现在看看这个例子:
    public int Test()
    {
        const int a = 1;
        while (a > 0)
            return 10;
    }
    

    唯一不同的是我做了a const .现在它编译了,但这是因为优化器现在能够删除整个循环,最终的 IL 是这样的:
    Test:
    IL_0000:  ldc.i4.s    0A 
    IL_0002:  ret     
    

    整机while循环和局部变量消失了,剩下的就是这个:
    return 10;
    

    很明显,编译器在静态分析这些东西时不会查看变量值。实现此功能并使其正确的成本可能超过不这样做的效果或缺点。请记住 "Every feature starts out in the hole by 100 points, which means that it has to have a significant net positive effect on the overall package for it to make it into the language." .

    所以是的,这绝对是您比编译器更了解代码的情况。

    为了完整起见,让我们看看您的代码可以流动的所有方式:
  • 如果 maxAttempts,它可以提前退出,但有一个异常(exception)。小于 1
  • 它将进入 while -循环自 attempt是 1 和 maxAttempts至少为 1。
  • 如果里面的代码是try语句抛出 HttpRequestException然后 attempt递增,如果仍然小于或等于 maxAttempts while -loop 将进行另一次迭代。如果它现在大于 maxAttempts异常会冒泡。
  • 如果抛出其他异常,则不会得到处理,并且会从方法
  • 中冒泡出来。
  • 如果没有抛出异常,则返回响应。

  • 所以基本上,这段代码可以说总是以抛出异常或返回结束,但编译器无法静态验证这一点。

    由于您在两个位置嵌入了逃生舱口 ( attempt > maxAttempts ),这两个位置都是 while 的标准。 -loop,另外还有 catch我会通过从 while 中删除它来简化代码-环形:
    while (true)
    {
        ...
            if (attempt > maxAttempts)
                throw;
        ...
    }
    

    由于您保证运行 while - 至少循环一次,它实际上是 catch退出它的块,只需形式化它,编译器就会再次高兴。

    现在流量控制看起来像这样:
  • while循环将始终执行(或者我们已经抛出异常)
  • while循环永远不会终止(内部没有 break,所以循环后不需要任何代码)
  • 退出循环的唯一可能方法是显式 return或异常,编译器不必再验证这两种情况,因为此特定错误消息的重点是标记有可能在没有显式 return 的情况下转义该方法的方法。 .由于无法再意外地逃避该方法,因此可以简单地跳过其余​​的检查。

    即使这个方法也会编译:
    public int Test()
    {
        while (true)
        {
        }
    }
    
  • 关于c# - 错误原因 CS0161 : not all code paths return a value,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/33606833/

    有关c# - 错误原因 CS0161 : not all code paths return a value的更多相关文章

    1. ruby-on-rails - Rails 常用字符串(用于通知和错误信息等) - 2

      大约一年前,我决定确保每个包含非唯一文本的Flash通知都将从模块中的方法中获取文本。我这样做的最初原因是为了避免一遍又一遍地输入相同的字符串。如果我想更改措辞,我可以在一个地方轻松完成,而且一遍又一遍地重复同一件事而出现拼写错误的可能性也会降低。我最终得到的是这样的:moduleMessagesdefformat_error_messages(errors)errors.map{|attribute,message|"Error:#{attribute.to_s.titleize}#{message}."}enddeferror_message_could_not_find(obje

    2. ruby-on-rails - 迷你测试错误 : "NameError: uninitialized constant" - 2

      我遵循MichaelHartl的“RubyonRails教程:学习Web开发”,并创建了检查用户名和电子邮件长度有效性的测试(名称最多50个字符,电子邮件最多255个字符)。test/helpers/application_helper_test.rb的内容是:require'test_helper'classApplicationHelperTest在运行bundleexecraketest时,所有测试都通过了,但我看到以下消息在最后被标记为错误:ERROR["test_full_title_helper",ApplicationHelperTest,1.820016791]test

    3. ruby-on-rails - 如何在 Rails View 上显示错误消息? - 2

      我是rails的新手,想在form字段上应用验证。myviewsnew.html.erb.....模拟.rbclassSimulation{:in=>1..25,:message=>'Therowmustbebetween1and25'}end模拟Controller.rbclassSimulationsController我想检查模型类中row字段的整数范围,如果不在范围内则返回错误信息。我可以检查上面代码的范围,但无法返回错误消息提前致谢 最佳答案 关键是您使用的是模型表单,一种显示ActiveRecord模型实例属性的表单。c

    4. 使用 ACL 调用 upload_file 时出现 Ruby S3 "Access Denied"错误 - 2

      我正在尝试编写一个将文件上传到AWS并公开该文件的Ruby脚本。我做了以下事情:s3=Aws::S3::Resource.new(credentials:Aws::Credentials.new(KEY,SECRET),region:'us-west-2')obj=s3.bucket('stg-db').object('key')obj.upload_file(filename)这似乎工作正常,除了该文件不是公开可用的,而且我无法获得它的公共(public)URL。但是当我登录到S3时,我可以正常查看我的文件。为了使其公开可用,我将最后一行更改为obj.upload_file(file

    5. ruby-on-rails - 错误 : Error installing pg: ERROR: Failed to build gem native extension - 2

      我克隆了一个rails仓库,我现在正尝试捆绑安装背景:OSXElCapitanruby2.2.3p173(2015-08-18修订版51636)[x86_64-darwin15]rails-v在您的Gemfile中列出的或native可用的任何gem源中找不到gem'pg(>=0)ruby​​'。运行bundleinstall以安装缺少的gem。bundleinstallFetchinggemmetadatafromhttps://rubygems.org/............Fetchingversionmetadatafromhttps://rubygems.org/...Fe

    6. ruby - #之间? Cooper 的 *Beginning Ruby* 中的错误或异常 - 2

      在Cooper的书BeginningRuby中,第166页有一个我无法重现的示例。classSongincludeComparableattr_accessor:lengthdef(other)@lengthother.lengthenddefinitialize(song_name,length)@song_name=song_name@length=lengthendenda=Song.new('Rockaroundtheclock',143)b=Song.new('BohemianRhapsody',544)c=Song.new('MinuteWaltz',60)a.betwee

    7. ruby-on-rails - 每次我尝试部署时,我都会得到 - (gcloud.preview.app.deploy) 错误响应 : [4] DEADLINE_EXCEEDED - 2

      我是Google云的新手,我正在尝试对其进行首次部署。我的第一个部署是RubyonRails项目。我基本上是在关注thisguideinthegoogleclouddocumentation.唯一的区别是我使用的是我自己的项目,而不是他们提供的“helloworld”项目。这是我的app.yaml文件runtime:customvm:trueentrypoint:bundleexecrackup-p8080-Eproductionconfig.ruresources:cpu:0.5memory_gb:1.3disk_size_gb:10当我转到我的项目目录并运行gcloudprevie

    8. ruby-on-rails - Rails 5 Active Record 记录无效错误 - 2

      我有两个Rails模型,即Invoice和Invoice_details。一个Invoice_details属于Invoice,一个Invoice有多个Invoice_details。我无法使用accepts_nested_attributes_forinInvoice通过Invoice模型保存Invoice_details。我收到以下错误:(0.2ms)BEGIN(0.2ms)ROLLBACKCompleted422UnprocessableEntityin25ms(ActiveRecord:4.0ms)ActiveRecord::RecordInvalid(Validationfa

    9. c# - 如何在 ruby​​ 中调用 C# dll? - 2

      如何在ruby​​中调用C#dll? 最佳答案 我能想到几种可能性:为您的DLL编写(或找人编写)一个COM包装器,如果它还没有,则使用Ruby的WIN32OLE库来调用它;看看RubyCLR,其中一位作者是JohnLam,他继续在Microsoft从事IronRuby方面的工作。(估计不会再维护了,可能不支持.Net2.0以上的版本);正如其他地方已经提到的,看看使用IronRuby,如果这是您的技术选择。有一个主题是here.请注意,最后一篇文章实际上来自JohnLam(看起来像是2009年3月),他似乎很自在地断言RubyCL

    10. arrays - 这是 Ruby 中 Array.fill 方法的错误吗? - 2

      这个问题在这里已经有了答案:Arraysmisbehaving(1个回答)关闭6年前。是否应该这样,即我误解了,还是错误?a=Array.new(3,Array.new(3))a[1].fill('g')=>[["g","g","g"],["g","g","g"],["g","g","g"]]它不应该导致:=>[[nil,nil,nil],["g","g","g"],[nil,nil,nil]]

    随机推荐