C#编译器是否优化了可空类型？

Question

任何人都可以了解为什么这个单元测试在Visual Studio 2013中失败了？

[TestMethod]
public void Inconceivable()
{
    int? x = 0;
    Assert.AreEqual(typeof(int?), x.GetType());
}

Answer 1

您的测试失败,因为:

在Nullable类型上调用GetType会导致在将类型隐式转换为Object时执行装箱操作.因此,GetType始终返回表示基础类型的Type对象,而不是Nullable类型.

从前一篇文章中摘取的一些例子:

int? i = 5;
Type t = i.GetType();
Console.WriteLine(t.FullName); //"System.Int32"

另请注意:

C#的是操作者也可为空的基本类型进行操作.因此,您无法使用is来确定变量是否为Nullable类型.以下示例显示is运算符将Nullable <int>变量视为int.

int? i = 5;
if (i is int) { ... } // true

假设C#编译器正在优化可空类型,你是正确的.以下是Jon Skeet的深度C#的引用,它应该回答你的问题:

只有在装箱和拆箱方面,CLR才有关于可空类型的任何特殊行为.实际上,这种行为只是在.NET 2.0发布之前不久发生了变化,这是社区请求的结果.

Nullable的实例被装箱为空引用(如果它没有值)或盒装值T(如果有).它永远不会装入"盒装可空的int" - 没有这种类型.