首页 / C# / c# – CIL – 拳击/拆箱与Nullable

c# – CIL – 拳击/拆箱与Nullable

内容导读

互联网集市收集整理的这篇技术教程文章主要介绍了c# – CIL – 拳击/拆箱与Nullable，小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含5717字，纯文字阅读大概需要9分钟。

内容图文

如果我理解CLR如何处理事情和处理无效的方式,如Boxing / Unboxing Nullable Types – Why this implementation?所述,仍然有些让我困惑的事情.例如,以下C#7代码

void C<T>(object o) where T : struct {
    if (o is T t)
        Console.WriteLine($"Argument is {typeof(T)}: {t}");
}

编译成以下CIL

IL_0000: ldarg.0
IL_0001: isinst valuetype [mscorlib]System.Nullable`1<!!T>
IL_0006: unbox.any valuetype [mscorlib]System.Nullable`1<!!T>
IL_000b: stloc.1
IL_000c: ldloca.s 1
IL_000e: call instance !0 valuetype [mscorlib]System.Nullable`1<!!T>::GetValueOrDefault()
IL_0013: stloc.0
IL_0014: ldloca.s 1
IL_0016: call instance bool valuetype [mscorlib]System.Nullable`1<!!T>::get_HasValue()
IL_001b: brfalse.s IL_003c

IL_001d: ldstr "Argument is {0}: {1}"
IL_0022: ldtoken !!T
IL_0027: call class [mscorlib]System.Type [mscorlib]System.Type::GetTypeFromHandle(valuetype [mscorlib]System.RuntimeTypeHandle)
IL_002c: ldloc.0
IL_002d: box !!T
IL_0032: call string [mscorlib]System.String::Format(string, object, object)
IL_0037: call void [mscorlib]System.Console::WriteLine(string)

IL_003c: ret

但是下面的C#

void D<T>(object o) where T : struct {
    if (o is T)
        Console.WriteLine($"Argument is {typeof(T)}: {(T) o}");
}

编译成以下CIL

IL_0000: ldarg.0
IL_0001: isinst !!T
IL_0006: brfalse.s IL_002c

IL_0008: ldstr "Argument is {0}: {1}"
IL_000d: ldtoken !!T
IL_0012: call class [mscorlib]System.Type [mscorlib]System.Type::GetTypeFromHandle(valuetype [mscorlib]System.RuntimeTypeHandle)
IL_0017: ldarg.0
IL_0018: unbox.any !!T
IL_001d: box !!T
IL_0022: call string [mscorlib]System.String::Format(string, object, object)
IL_0027: call void [mscorlib]System.Console::WriteLine(string)

IL_002c: ret

我认为发生了什么：查看第一种方法的CIL,似乎(1)检查参数是否为[盒装？] Nullable< T>,如果是,则将其推入堆栈,否则为null,( 2)取消它(如果它为空？),(3)尝试获取其值,否则默认(T),(4)然后检查它是否有值,如果没有则分支出来.第二种方法的CIL足够简单,它只是试图取消打包参数.

如果两个代码的语义是等价的,为什么前一种情况涉及拆箱到Nullable< T>.而前一种情况“只是拆箱”？其次,在第一个CIL中,如果对象参数是一个盒装的int,我现在认为它正是它在tin上所说的(即盒装的int而不是盒装的Nullable< int>),不会isinst指令总是失败？ Nullable< T>即使在CIL级别也能得到特殊待遇？

更新：在手写一些MSIL之后,看起来该对象(如果它确实是一个盒装的int)可以解包到int或Nullable< int>中.

.method private static void Foo(object o) cil managed {
    .maxstack 1
    ldarg.0
    isinst int32
    brfalse.s L_00
    ldarg.0
    unbox.any int32
    call void [mscorlib]System.Console::WriteLine(int32)
L_00:
    ldarg.0
    isinst valuetype [mscorlib]System.Nullable`1<int32>
    brfalse.s L_01
    ldarg.0
    unbox valuetype [mscorlib]System.Nullable`1<int32>
    call instance !0 valuetype [mscorlib]System.Nullable`1<int32>::GetValueOrDefault()
    call void [mscorlib]System.Console::WriteLine(int32)
L_01:
    ldarg.0
    unbox valuetype [mscorlib]System.Nullable`1<int32>
    call instance bool valuetype [mscorlib]System.Nullable`1<int32>::get_HasValue()
    brtrue.s L_02
    ldstr "No value!"
    call void [mscorlib]System.Console::WriteLine(string)
L_02:
    ret
}

解决方法:

C#7中的新语法是一次进行类型检查和类型转换.在旧版本中,这通常以两种可能的方式完成.

if(o is T)
    //use (T)o

T t = o as T;
if(t != null)
    //use t

对于引用类型,第一个具有冗余转换,因为is被编译为isinst和条件分支,正如您可以从使用的CIL指令中看到的那样.第二个代码与CIL方面的第一个代码相同,减去额外的(T)o cast(编译为castclass).

对于值类型,第二个选项只能以可空类型完成,我也认为它实际上比第一个慢(必须创建一个结构).

我已经将以下方法编译为CIL：

static void C<T>(object o) where T : struct
{
    T? t = o as T?;
    if(t != null)
        Console.WriteLine("Argument is {0}: {1}", typeof(T), t);
}

生成此代码：

.method private hidebysig static void  C<valuetype .ctor ([mscorlib]System.ValueType) T>(object o) cil managed
{
  // Code size       48 (0x30)
  .maxstack  3
  .locals init (valuetype [mscorlib]System.Nullable`1<!!T> V_0)
  IL_0000:  ldarg.0
  IL_0001:  isinst     valuetype [mscorlib]System.Nullable`1<!!T>
  IL_0006:  unbox.any  valuetype [mscorlib]System.Nullable`1<!!T>
  IL_000b:  stloc.0
  IL_000c:  ldloca.s   V_0
  IL_000e:  call       instance bool valuetype [mscorlib]System.Nullable`1<!!T>::get_HasValue()
  IL_0013:  brfalse.s  IL_002f
  IL_0015:  ldstr      "Argument is {0}: {1}"
  IL_001a:  ldtoken    !!T
  IL_001f:  call       class [mscorlib]System.Type [mscorlib]System.Type::GetTypeFromHandle(valuetype [mscorlib]System.RuntimeTypeHandle)
  IL_0024:  ldloc.0
  IL_0025:  box        valuetype [mscorlib]System.Nullable`1<!!T>
  IL_002a:  call       void [mscorlib]System.Console::WriteLine(string,
                                                                object,
                                                                object)
  IL_002f:  ret
}

除了调用GetValueOrDefault之外,这正是问题中的代码,因为我没有获得可空实例的实际值.

可以为空的类型不能直接装箱或取消装箱,只能通过它们的底层值,或者作为普通的空值.第一个isinst确保其他类型不会产生异常(我想isinst !! T也可以使用),而只是一个空引用.然后,unbox.any操作码从引用中形成一个可为空的实例,然后像往常一样使用它.该指令也可以写为空检查并自行构成可空实例,但这种方式更短.

C#7使用第二种方式为T t,因此如果T是值类型,则除了使用可空类型之外别无选择.为什么不选择以前的选项呢？我只能猜测它在语义或实现,变量分配等方面可能会有一些实质性的差异.因此,他们选择与新构造的实现保持一致.

为了比较,这是我在上面的方法中改变T：struct到T：class时生成的内容(以及T？到T)：

.method private hidebysig static void  C<class T>(object o) cil managed
{
  // Code size       47 (0x2f)
  .maxstack  3
  .locals init (!!T V_0)
  IL_0000:  ldarg.0
  IL_0001:  isinst     !!T
  IL_0006:  unbox.any  !!T
  IL_000b:  stloc.0
  IL_000c:  ldloc.0
  IL_000d:  box        !!T
  IL_0012:  brfalse.s  IL_002e
  IL_0014:  ldstr      "Argument is {0}: {1}"
  IL_0019:  ldtoken    !!T
  IL_001e:  call       class [mscorlib]System.Type [mscorlib]System.Type::GetTypeFromHandle(valuetype [mscorlib]System.RuntimeTypeHandle)
  IL_0023:  ldloc.0
  IL_0024:  box        !!T
  IL_0029:  call       void [mscorlib]System.Console::WriteLine(string,
                                                                object,
                                                                object)
  IL_002e:  ret
}

再次与原始方法相当一致.

内容总结

以上是互联网集市为您收集整理的c# – CIL – 拳击/拆箱与Nullable全部内容，希望文章能够帮你解决c# – CIL – 拳击/拆箱与Nullable所遇到的程序开发问题。如果觉得互联网集市技术教程内容还不错，欢迎将互联网集市网站推荐给程序员好友。

内容备注

版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请发送邮件至 gblab@vip.qq.com 举报，一经查实，本站将立刻删除。

内容手机端

扫描二维码推送至手机访问。

本文链接：https://qyyshop.com/info/773349.html

来源：【匿名】

【上一篇】c# – 递归函数堆栈无处不在地共享一个变量【下一篇】assemblyinfo.csC#Assembly类访问程序集信息

更多 ►

【c# – CIL – 拳击/拆箱与Nullable】教程文章相关的互联网学习教程文章

c#如何声明数据结构类型为null？

可以通过如下两种方式声明可为空的类型：System.Nullable<T> variable;T？variable；eg: int值是-2,147,483,648 到 2,147,483,647 ,默认值是 0，不包含null值。(1):int? aa = null;int类型不能为null，通过"不能为null的数据类型?"可以处理为null。语法 int? 是 Nullable<int> 的简写，其中int是值类型。这两种形式是可互换的。(2):System.Nullable<int> result = null;int类型不能为null，通过"System.Nullable<不能为null的数据...

匹夫细说C#：可以为null的值类型，详解可空值类型【代码】

首先祝大家中秋佳节快乐~0x00 前言众所周知的一点是C#语言是一种强调类型的语言，而C#作为Unity3D中的游戏脚本主流语言，在我们的开发工作中能够驾驭好它的这个特点便十分重要。事实上，怎么强调C#的这个特点都不为过，因为它牵涉到编程的很多方面。一个很好的例子便是我们本文要介绍的内容——可空型，它是因何出现的，而它的出现又有什么意义呢？以及如何在Unity3D游戏的开发中使用它呢？那么就请各位读者朋友带着这些疑问，通过...

C#Null条件运算符替代(条件赋值)？【代码】

C# null-conditional operator允许有用的短路：double? range = (unit as RangedUnit)?.WeaponRange;遗憾的是,无条件运算符不能以相同的方式用于短手赋值,因为它返回一个值(不能在左手赋值中使用)：(unit as RangedUnit)?.PreferredTarget = UnitType.Melee;导致可能的替代语法：if (unit is RangedUnit) {(unit as RangedUnit).PreferredTarget = UnitType.Melee; }如果编译器知道RangedUnit是引用类型(不是值类型),为什么它不能有...

c# – 将NULL传递给COM接口方法的ref / out参数【代码】

如果定义为[In,Out] ref int pchEaten,如何将NULL传递给COM接口方法的参数？例如,请考虑以下界面：[ComImport, Guid ("000214E6-0000-0000-C000-000000000046")] [InterfaceType (ComInterfaceType.InterfaceIsIUnknown)] internal interface IShellFolder {void ParseDisplayName ([In] IntPtr hwnd,[In] IBindCtx pbc,[In, MarshalAs (UnmanagedType.LPWStr)] string pszDisplayName,[In, Out] ref uint pchEaten,[Out] out PID...

c# – 使数组const产生“使用null在此上下文中无效”错误【代码】

我有一个类：class SomeTests {private Guid[] someGuids = new Guid[] { ... }public void ThoseGuidsShouldAlwaysBeThere() {foreach (Guid g in someGuids) { // error appears here// ...}} }从语义上讲,我希望someGuids是const,因为除了重新编译代码之外,它们不应该被更新.但添加const关键字生成error CS0168：null在此上下文中无效. 阅读该错误的MSDN页面,在我看来,编译器认为我这样做： foreach(Guid g in null){ 我不明白如...

c# 反射获取一个类型取到null【代码】

经常用 GetType 获取一个Type 1. 想获取的 Type 在当前执行的 assembly 里面，则可以直接获取Type myType1 = Type.GetType("System.Int32");2. 想获取的 Type 不在当前的assembly 里面，直接获取得到 nullType t = Type.GetType("System.Runtime.InteropServices.RuntimeInformation"); // t == null必须用 AssemblyQualifiedName 去获取Type t = Type.GetType("System.Runtime.InteropServices.RuntimeInformation, System.Runtim...

c# 操作符?? null coalescing operator

我们可以看下下面的这几个示例来看看这个操作符的使用方法：代码如下:string message = "Hello World"; string result = message ?? "null"; //这里的result的内容是 Hello World 再看下面的这个例子子：代码如下:string message = null; string result = message ?? "Its null"; //在这里result的内容将是 Its null

C#三种判断数据库中取出的字段值是否为空(NULL) 的方法

dt.Rows[0]["CardRemark"] == null ? "" : dt.Rows[0]["CardRemark"].ToString(), 如果CardRemark为NULL 结果为报错解决方案： dt.rows[0]["CardRemark"] == System.DBNull.Value； dt.rows[0].IsNull("CardRemark"); dt.rows[0]["CardRemark"].ToString() == ""; C#三种判断数据库中取出的字段值是否为空(NULL) 的方法标签：本文系统来源：http://www.cnblogs.com/yinrq/p/4576373.html

C#三种判断数据库中取出的字段值是否为空(NULL) 的方法

代码如下: DataTable dt; //假设字段为name, dt已经保存了数据dt.rows[0]["name"] == System.DBNull.Value; //判断第一行数据的name字段是否为空 2 通过IsNull判断复制代码代码如下: DataTable dt; //假设字段为name, dt已经保存了数据dt.rows[0].IsNull("name"); //判断第一行数据的name字段是否为空 3 通过ToString() 判断复制代码代码如下: DataTable dt; ...

C#中NULL,"",DBNULL,String.Empty,Convert.IsDBNull()的区别

C#中的空值的判断较麻烦，不象在VB6中那么简单，这些各种空值的判断和理解对不熟悉的人来说，可能很麻烦，现就我在使用过程中的一点体会和大家共同分享。 (1)NULL null 关键字是表示不引用任何对象的空引用的文字值。null 是引用类型变量的默认值。那么也只有引用型的变量可以为NULL，如果 int i=null,的话，是不可以的，因为Int是值类型的。 (2)DBNULL DBNull在DotNet是单独的一个类型,该类只能存在唯一的实例,D...

C#三种判断数据库中取出的字段值是否为空(NULL) 的方法

操作数据库，需要判断返回的字段值是否为空,大致有以下三种方法: 1 通过System.DBNull判断，网上大部分都使用这个方法。 DataTable dt; //假设字段为name, dt已经保存了数据 dt.rows[0]["name"] == System.DBNull.Value; //判断第一行数据的name字段是否为空 2 通过IsNull判断 DataTable dt; //假设字段为name, dt已经保存了数据 dt.rows[0].IsNull("name"); //判断第一行数据的name字段是否为空 3 ...

LINQ体验(11)——LINQ to SQL语句之Null语义和String/DateTime方法【代码】

q =from e in db.Employeeswhere e.ReportsToEmployee == nullselect e;2.Nullable<T>.HasValue查找不隶属于还有一个雇员的全部雇员： var q =from e in db.Employeeswhere !e.ReportsTo.HasValueselect e;3.Nullable<T>.Value返回前者的EmployeeID 编号。请注意.Value 为可选： var q =from e in db.Employeeswhere e.ReportsTo.HasValueselect new{e.FirstName,e.LastName,ReportsTo = e.ReportsTo.Value};字符串/日期函数（Stri...

C# null，string.Empty，""，DBNull 的区别【图】

null 在 VS 中定位不出来具体是怎么定义的。一般通过类名映射过来的关键字，都可以定位到声明位置。所以null是比较特殊的。这个东西要跟踪源头还比较麻烦，感觉找不到具体定义。 MSDN上说明很简单：null 关键字是表示不引用任何对象的空引用的文字值。 null 是引用类型变量的默认值。普通值类型不能为 null。 stock overflow 上有一段回答： There are three things in C# that "null" can be. A reference, a pointer, and a nu...

[C#.net]将null值插入SQL Server的Datetime

引用类型可以使用空引用表示一个不存在的值，而值类型通常不能表示为空。例如：string str=null; 是正确的，int i=null; 编译器就会报错。为了使值类型也可为空，就可以使用可空类型，即用可空类型修饰符"？"来表示，表现形式为"T？"例如：int? 表示可空的整形，DateTime? 表示可为空的时间。T? 其实是System.Nullable(泛型结构）的缩写形式，也就意味着当你用到T？时编译器编译时会把T？编译成System.Nullable的形式。例如：int?...

C#之Null【代码】

Null合并操作符：?? //如果操作数不是null,那么把它给我;否则的话，给我一个默认值。 //如果左边的表达式不是null,那么??右边的表达式不会被计算string s1=null; string s2= s1 ?? "Nothing"; //也就是说，s1如果是null，那么直接就右侧表达式默认值“Nothing” string s1="123"; string s2= s1 ?? "Nothing"; /也就是说，s1如果不是null，那么直接就返回值123 Null条件操作符：?. StringBuilder sb=null; //?.其实就是三元表达...

C# - 技术教程分类

C# 教程 C# 简介 C# 环境 C# 程序结构 C# 基本语法 C# 数据类型 C# 类型转换 C# 变量 C# 常量 C# 运算符 C# 判断 C# 循环 C# 封装 C# 方法 C# 可空类型 C# 数组（Array） C# 字符串（String） C# 结构体（Struct） C# 枚举（Enum） C# 类（Class） C# 继承 C# 多态性 C# 运算符重载 C# 接口（Interface） C# 命名空间（Namespace） C# 预处理器指令 C# 异常处理 C# 特性（Attribute） C# 反射（Reflection） C# 属性（Property） C# 索引器（Indexer） C# 委托（Delegate） C# 事件（Event） C# 集合（Collection） C# 泛型（Generic） C# 匿名方法 C# 不安全代码 C# 多线程 c# 全部

C# - 最热教程

c#编程连接oracle数据库无法加载DLL(oc...一个适合新手C#程序员编写练习的小项目...C# 异步UDP发送接收数据 C#程序执行时间长和慢查询解决：线程并...c# aspose操作word文档 C#继承讲解以及对象的创建 jquery+ajax+C#实现无刷新操作数据库数...C#精髓 GridView72大绝技学习gridview...c# static的全部用法收集整理 js模拟实现类似c#下的hashtable的简单功...

首页 / C# / c# – CIL – 拳击/拆箱与Nullable

c# – CIL – 拳击/拆箱与Nullable

内容导读

内容图文

内容总结

内容备注

内容手机端

【c# – CIL – 拳击/拆箱与Nullable】教程文章相关的互联网学习教程文章

C# - 技术教程分类

C# - 最新教程

C# - 最热教程