草庐IT

c# - 这种带有隐式转换运算符的 Nullable<T> 行为的理由是什么

coder 2023-07-10 原文

我在Nullable之间的交互中遇到了一些有趣的行为和隐式转换。我发现从值类型为引用类型提供隐式转换允许 Nullable当我期望编译错误时,将类型传递给需要引用类型的函数。下面的代码演示了这一点:

static void Main(string[] args)
{
    PrintCatAge(new Cat(13));
    PrintCatAge(12);
    int? cat = null;
    PrintCatAge(cat);
}

private static void PrintCatAge(Cat cat)
{
    if (cat == null)
        System.Console.WriteLine("What cat?");
    else
        System.Console.WriteLine("The cat's age is {0} years", cat.Age);
}

class Cat
{
    public int Age { get; set; }
    public Cat(int age)
    {
        Age = age;
    }

    public static implicit operator Cat(int i)
    {
        System.Console.WriteLine("Implicit conversion from " + i);
        return new Cat(i);
    }
}

输出:

The cat's age is 13 years
Implicit conversion from 12
The cat's age is 12 years
What cat?

如果转换代码从Cat中移除然后你会得到预期的错误:

Error 3 The best overloaded method match for 'ConsoleApplication2.Program.PrintCatAge(ConsoleApplication2.Program.Cat)' has some invalid arguments

Error 4 Argument 1: cannot convert from 'int?' to 'ConsoleApplication2.Program.Cat

如果您使用 ILSpy 打开可执行文件,生成的代码如下

int? num = null;
Program.PrintCatAge(num.HasValue ? num.GetValueOrDefault() : null);

在类似的实验中,我删除了转换并向 PrintCatAge 添加了重载它需要一个 int(不可为 null)来查看编译器是否会执行类似的操作,但它不会。

我明白发生了什么,但我不明白这样做的理由。这种行为出乎我的意料,而且看起来很奇怪。我没有成功在 MSDN 上的转换文档或 Nullable<T> 中找到对此行为的任何引用。 .

然后我提出的问题是,这是故意的吗?是否有解释为什么会这样?

最佳答案

我之前说过 (1) 这是一个编译器错误,(2) 这是一个新错误。第一个陈述是准确的;第二个是我因为急于准时到达公共(public)汽车而感到困惑。 (我想到的这个错误对我来说是新的,是一个更复杂的错误,涉及提升转换和提升增量运算符。)

这是一个长期存在的已知编译器错误。 Jon Skeet 前段时间首先引起了我的注意,我相信某个地方有关于它的 StackOverflow 问题;我不记得在哪里随手。也许乔恩会。

所以,错误。让我们定义一个“提升”运算符。如果运算符从不可空值类型 S 转换为不可空值类型 T,那么还有一个从 S 转换的“提升”运算符?到 T?,这样一个空 S?转换为空 T?和一个非空 S?转换为 T?通过展开 S?到 S,将 S 转换为 T,并将 T 包装为 T?。

规范说 (1) 唯一 存在提升运算符的情况是当 S 和 T 都是不可为 null 的值类型时,以及 (2) 提升和非提升转换运算符同时考虑它们是否适用于转换,如果两者都适用,则适用转换的源和目标类型(提升或未提升)用于确定最佳来源类型、最佳目标类型,以及最终所有适用转化的最佳转化。

不幸的是,该实现完全违反了所有这些规则,并且我们无法在不破坏许多现有程序的情况下进行更改。

首先,我们违反了关于提升运算符存在的规则。如果 S 和 T 都是不可为 null 的值类型,或者如果 S 是不可为 null 的值类型而 T 是可以分配 null 的任何类型,则实现认为提升运算符存在:引用类型,可为 null 值类型,或指针类型。在所有这些情况下,我们都会生成提升运算符。

在您的特定情况下,我们通过检查 null 将可空类型转换为引用类型 Cat 来提升为可空。如果源不为空,那么我们正常转换;如果是,那么我们生成一个空 Cat。

其次,我们完全违反了当其中一个候选者是提升运算符时如何确定适用候选者的最佳源和目标类型的规则,我们也违反了确定哪个是最佳运算符的规则。

简而言之,这是一个大困惑,如果不破坏真正的客户就无法修复,因此我们很可能会将这种行为奉为 Roslyn。我会考虑在某个时候在我的博客中记录编译器的确切行为,但如果我是你,我不会屏住呼吸等待那一天。

当然,对于错误,我们深表歉意。

关于c# - 这种带有隐式转换运算符的 Nullable<T> 行为的理由是什么,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/10182898/

有关c# - 这种带有隐式转换运算符的 Nullable<T> 行为的理由是什么的更多相关文章

  1. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法? - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  2. ruby-on-rails - 在 Rails 中将文件大小字符串转换为等效千字节 - 2

    我的目标是转换表单输入,例如“100兆字节”或“1GB”,并将其转换为我可以存储在数据库中的文件大小(以千字节为单位)。目前,我有这个:defquota_convert@regex=/([0-9]+)(.*)s/@sizes=%w{kilobytemegabytegigabyte}m=self.quota.match(@regex)if@sizes.include?m[2]eval("self.quota=#{m[1]}.#{m[2]}")endend这有效,但前提是输入是倍数(“gigabytes”,而不是“gigabyte”)并且由于使用了eval看起来疯狂不安全。所以,功能正常,

  3. ruby-on-rails - Rails - 子类化模型的设计模式是什么? - 2

    我有一个模型:classItem项目有一个属性“商店”基于存储的值,我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式?如果方法中没有大的if-else语句,这是如何干净利落地完成的? 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么?,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.co

  4. ruby - 使用 ruby​​ 将 HTML 转换为纯文本并维护结构/格式 - 2

    我想将html转换为纯文本。不过,我不想只删除标签,我想智能地保留尽可能多的格式。为插入换行符标签,检测段落并格式化它们等。输入非常简单,通常是格式良好的html(不是整个文档,只是一堆内容,通常没有anchor或图像)。我可以将几个正则表达式放在一起,让我达到80%,但我认为可能有一些现有的解决方案更智能。 最佳答案 首先,不要尝试为此使用正则表达式。很有可能你会想出一个脆弱/脆弱的解决方案,它会随着HTML的变化而崩溃,或者很难管理和维护。您可以使用Nokogiri快速解析HTML并提取文本:require'nokogiri'h

  5. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们? - 2

    我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

  6. ruby - 解析 RDFa、微数据等的最佳方式是什么,使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

    我主要使用Ruby来执行此操作,但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式,例如使用这个yaml文件,它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

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

  8. ruby - 将散列转换为嵌套散列 - 2

    这道题是thisquestion的逆题.给定一个散列,每个键都有一个数组,例如{[:a,:b,:c]=>1,[:a,:b,:d]=>2,[:a,:e]=>3,[:f]=>4,}将其转换为嵌套哈希的最佳方法是什么{:a=>{:b=>{:c=>1,:d=>2},:e=>3,},:f=>4,} 最佳答案 这是一个迭代的解决方案,递归的解决方案留给读者作为练习:defconvert(h={})ret={}h.eachdo|k,v|node=retk[0..-2].each{|x|node[x]||={};node=node[x]}node[

  9. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996?但是 4.2%2==0.2 - 2

    为什么4.1%2返回0.0999999999999996?但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意,这不是与Ruby相关的问题,而是与所有编程语言相关的问题,因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

  10. ruby-on-rails - 如何从 format.xml 中删除 <hash></hash> - 2

    我有一个对象has_many应呈现为xml的子对象。这不是问题。我的问题是我创建了一个Hash包含此数据,就像解析器需要它一样。但是rails自动将整个文件包含在.........我需要摆脱type="array"和我该如何处理?我没有在文档中找到任何内容。 最佳答案 我遇到了同样的问题;这是我的XML:我在用这个:entries.to_xml将散列数据转换为XML,但这会将条目的数据包装到中所以我修改了:entries.to_xml(root:"Contacts")但这仍然将转换后的XML包装在“联系人”中,将我的XML代码修改为

随机推荐