草庐IT

c# - 从 int 提升/可空转换的严重错误，允许从 decimal 转换

coder 2023-07-08 原文

我认为这个问题会让我在 Stack Overflow 上一炮走红。

假设您有以下类型:

// represents a decimal number with at most two decimal places after the period
struct NumberFixedPoint2
{
    decimal number;

    // an integer has no fractional part; can convert to this type
    public static implicit operator NumberFixedPoint2(int integer)
    {
        return new NumberFixedPoint2 { number = integer };
    }

    // this type is a decimal number; can convert to System.Decimal
    public static implicit operator decimal(NumberFixedPoint2 nfp2)
    {
        return nfp2.number;
    }

    /* will add more nice members later */
}

它被写成只允许不丢失精度的安全转换。但是，当我尝试这段代码时:

    static void Main()
    {
        decimal bad = 2.718281828m;
        NumberFixedPoint2 badNfp2 = (NumberFixedPoint2)bad;
        Console.WriteLine(badNfp2);
    }

令我惊讶的是这个编译器在运行时写出 2 。来自 int 的转换(值(value) 2 )到 NumberFixedPoint2在这里很重要。 (一个重载 WriteLine 接受 System.Decimal 是首选，以防万一有人想知道。)

到底为什么是 decimal 的转换？至 NumberFixedPoint2允许？ (顺便说一句，在上面的代码中，如果将 NumberFixedPoint2 从结构更改为类，则不会有任何变化。)

你知道 C# 语言规范是否说从 int 进行隐式转换吗？自定义类型“暗示”存在从 decimal 的“直接”显式转换到那个自定义类型？

情况变得更糟。请尝试使用此代码:

    static void Main()
    {
        decimal? moreBad = 7.3890560989m;
        NumberFixedPoint2? moreBadNfp2 = (NumberFixedPoint2?)moreBad;
        Console.WriteLine(moreBadNfp2.Value);
    }

如您所见，我们已经(提升)Nullable<>这里的转换。但是，哦，是的，它确实可以编译。

在x86“平台”中编译时，此代码会写出一个不可预测的数值。哪个不时变化。例如，有一次我得到了 2289956 。现在，这是一个严重的错误!

当为x64 平台编译时，上面的代码使应用程序崩溃并显示System.InvalidProgramException。带有消息 Common Language Runtime detected an invalid program. 根据 InvalidProgramException 的文档类:

Generally this indicates a bug in the compiler that generated the program.

有没有人(比如 Eric Lippert，或者在 C# 编译器中使用提升转换的人)知道这些错误的原因？比如，什么是我们不会在代码中遇到它们的充分条件？因为类型 NumberFixedPoint2实际上是我们在真实代码中拥有的东西(管理其他人的钱和东西)。

最佳答案

我只是回答问题的第一部分。 (我建议第二部分应该是一个单独的问题；它更有可能是一个错误。)

只有从 decimal 到 int 的显式转换，但该转换是隐式在您的代码。转换发生在这个 IL 中:

IL_0010:  stloc.0
IL_0011:  ldloc.0
IL_0012:  call       int32 [mscorlib]System.Decimal::op_Explicit(valuetype [mscorlib]System.Decimal)
IL_0017:  call       valuetype NumberFixedPoint2 NumberFixedPoint2::op_Implicit(int32)

我相信根据规范，这是正确的行为，尽管它令人惊讶1。让我们按照 C# 4 规范(用户定义的显式转换)的第 6.4.5 节进行操作。我不打算复制所有文本，因为这会很乏味 - 正是我们案例中的相关结果。同样，我不会使用下标，因为它们不能很好地与此处的代码字体配合使用:)

  • 确定类型S0和T0:S0是十进制，T0 是 NumberFixedPoint2。
  • 找到类型集 D，从中将考虑使用定义的转换运算符:只是 { decimal, NumberFixedPoint2 }
  • 找到一组适用的用户定义和提升的转换运算符，U。 decimal 包含 int(第 6.4.3 节)，因为存在从 int 到 decimal 的标准隐式转换。所以显式转换运算符是在U中，而且确实是U
    • 的唯一成员
  • 找到 U 中运算符的最具体的源类型 Sx
    • 运算符未从 S(decimal)转换，因此第一个项目符号已用完
    • 运算符不会从包含 S 的类型转换(decimal 包含 int，而不是相反)，所以第二个子弹没了
    • 这只剩下第三个项目符号，它谈论“最包容的类型”——好吧，我们只有一种类型，所以没关系:Sx 是 int.
  • 找到 U 中运算符的最具体的目标类型 Tx
    • 运算符直接转换为 NumberFixedPoint2，因此 Tx 为 NumberFixedPoint2。
  • 找到最具体的转换运算符:
    • U 只包含一个运算符，它确实从 Sx 转换为 Tx，因此这是最具体的运算符
  • 最后，应用转换:
    • 如果 S 不是 Sx，那么从 S 到 Sx 的标准显式转换是执行。(所以这是 decimal 到 int。)
    • 调用了最具体的用户定义的转换运算符(您的运算符)
    • T 是 Tx 所以第三个项目符号中不需要转换

粗体行是确认标准显式转换确实可行的位，当实际仅指定来自不同类型的显式转换时。

1 好吧，至少我觉得很惊讶。我以前不知道看到过这个。

关于c# - 从 int 提升/可空转换的严重错误，允许从 decimal 转换，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/18342943/

c#严重codeNumberFixedPoint2NumberFixedPoint.netnullableimplicit-conversioncompiler-bug

有关c# - 从 int 提升/可空转换的严重错误，允许从 decimal 转换的更多相关文章

  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 - 将数组的内容转换为 int - 2

    我需要读入一个包含数字列表的文件。此代码读取文件并将其放入二维数组中。现在我需要获取数组中所有数字的平均值，但我需要将数组的内容更改为int。有什么想法可以将to_i方法放在哪里吗？ClassTerraindefinitializefile_name@input=IO.readlines(file_name)#readinfile@size=@input[0].to_i@land=[@size]x=1whilex 最佳答案 只需将数组映射为整数:@land边注如果你想得到一条线的平均值，你可以这样做:values=@input[x]

  3. 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

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

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

  5. 使用 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. ruby-on-rails - RSpec:避免使用允许接收的任何实例 - 2

    我正在处理旧代码的一部分。beforedoallow_any_instance_of(SportRateManager).toreceive(:create).and_return(true)endRubocop错误如下:Avoidstubbingusing'allow_any_instance_of'我读到了RuboCop::RSpec:AnyInstance我试着像下面那样改变它。由此beforedoallow_any_instance_of(SportRateManager).toreceive(:create).and_return(true)end对此:let(:sport_

随机推荐