码迷,mamicode.com
首页 > Windows程序 > 详细

C#基础拾遗系列之二:使用ILSpy探索C#7.0新增功能点

时间:2018-05-01 15:18:14      阅读:289      评论:0      收藏:0      [点我收藏+]

标签:ref   switch   []   position   声明   输出   允许   没有   tuple   

 

第一部分:

C#是一种通用的,类型安全的,面向对象的编程语言。有如下特点:

(1)面向对象:c# 是面向对象的范例的一个丰富实现, 它包括封装、继承和多态性。C#面向对象的行为包括:

  • 统一的类型系统
  • 类与接口
  • 属性、方法、事件

(2)类型安全:C#还允许通过dynamic关键字动态指定类型。 但是,C#仍然是一个主要的静态类型语言。之所以是一种强类型的语言,是因为它的类型规则是非常严格的,例如,不能够使用一个float类型的参数去调用一个解释int 类型的函数,除非显式的把float转换为int ,这样有助于防止编码错误。

(3)内存管理:C#依赖运行时的自动内存管理,它的公共语言运行库有一个垃圾回收器,在合适非时间回收不再引用的对象所占的空间,这就释放了程序员手动释放对象的内存。C#并没有消除指针,它只是使大多数编程任务不需要使用指针,对于性能要求高的地方,还是可以使用指针的,但是只允许在显式标记为不安全的代码块中使用。

(4)C#和CLR:C#是依赖runtime提供的内存管理和异常处理,CLR允许开发者使用不同的语言建立应用程序。C#是被编译成托管代码的几种托管语言之一。托管代码以中间语言或IL表示。CLRIL转换成机器的本地代码,例如X86X64,通常就在此之前执行,这被称为即时(Just-In-TimeJIT)编译。 提前时间编译也可用于改善大型程序集的启动时间,或资源受限的设备。元数据的存在允许,程序集引用其他程序集中的类型而不需要额外的文件。

(5)CRL和 .Net Framework的关系

.NET Framework由CLR和大量的库组成;该类库中包含核心类库(也就是基础类库BCL)和应用类库,应用类库又依赖核心类库

技术分享图片

 

婆婆妈妈说了这么多,我相信大家都知道,好了,下面我们通过代码来看看C#7.0到底有哪些让你拍手叫好的地方。

第二部分:C#7.0新增的功能

(1)数字字面量的提升:

C#7中的数字文字可以包含下划线以提高可读性,这些被称为数字分隔符,并被编译器忽略。

代码如下:

技术分享图片

运行结果:

技术分享图片

注意:二进制文字可以用0b前缀指定。

所以见到这种写法你不要惊讶,只是为了提高可读性。

(2)Out variables and discards(接收out变量和丢弃out变量)

代码:

以前我们的写法:

 技术分享图片

现在C#7.0中可以这样写:

技术分享图片

我们不需要在外面先定义好要接收值的变量,而是直接在里面写,是不是代码更简洁,另外一个有趣的地方是,当一个方法要返回多个值的时候,我们可以使用 out _,来选择性的接收返回来的值,在上面图中的代码中,方法SomeBigMethod返回四个值,但是我们在接收它返回来的值时,可以使用out _不接收返回来的值,而使用out int x,来接收返回来的值,是不是很灵活。

代码运行结果如下:

技术分享图片

ILSpy结果:

// Methods
    .method private hidebysig static 
        void Main (
            string[] args
        ) cil managed 
    {
        // Method begins at RVA 0x2050
        // Code size 49 (0x31)
        .maxstack 4
        .entrypoint
        .locals init (
            [0] int32,
            [1] bool,
            [2] int32,
            [3] int32,
            [4] int32,
            [5] int32
        )

        // (no C# code)
        IL_0000: nop
        // bool successful = int.TryParse("123", out result);
        IL_0001: ldstr "123"
        IL_0006: ldloca.s 0
        IL_0008: call bool [System.Runtime]System.Int32::TryParse(string, int32&)
        IL_000d: stloc.1
        // SomeBigMethod(out int _, out int _, out int x, out int _);
        IL_000e: ldloca.s 3
        IL_0010: ldloca.s 4
        IL_0012: ldloca.s 2
        IL_0014: ldloca.s 5
        IL_0016: call void ConsoleApp1.Program::SomeBigMethod(int32&, int32&, int32&, int32&)
        // (no C# code)
        IL_001b: nop
        // Console.WriteLine(x);
        IL_001c: ldloc.2
        IL_001d: call void [System.Console]System.Console::WriteLine(int32)
        // (no C# code)
        IL_0022: nop
        // Console.WriteLine(result);
        IL_0023: ldloc.0
        IL_0024: call void [System.Console]System.Console::WriteLine(int32)
        // (no C# code)
        IL_0029: nop
        // Console.ReadKey();
        IL_002a: call valuetype [System.Console]System.ConsoleKeyInfo [System.Console]System.Console::ReadKey()
        IL_002f: pop
        // (no C# code)
        IL_0030: ret
    } // end of method Program::Main

(3)Patterns

作用:你可以使用is运算符来引入一个变量,这个变量被称为模式变量。不明白,看个例子就明白了。

代码如下:

技术分享图片

解析:x is string s 的作用是:如果x 可以被转换为string 转换后的值赋值给了s ,所以输出的结果就是字符串的长度。

其中switch的声明也支持这种模式,而且还可以使用when子句指定条件,代码如下:

技术分享图片

技术分享图片

 运行结果:

技术分享图片

解析:Foo2(9)传递过来的是9,是int 类型,所以就进入到第一个case 子句中,所以最终输出的结果就是:It is an int !,这个解释给零分,下面我们通过ILSpy看看这种语法糖到底是什么东东,如下图所示:

技术分享图片

我就不解释了,大家一看就明白,是不是想拍下大腿,TM原来就这么简单!!!

(4)本地方法(Local methods)

作用:A local method is a method declared inside another function。这里我给出英文,因为这种方式给出是最准确的,中文翻译出来就TM看不懂了。

技术分享图片

运行结果:

技术分享图片

解析:技术分享图片  定义了一个本地方法,返回值类型是int 传入的参数是value ,返回值是:value*value*value+i

Cube(2),调用传入值2 ,所以最终计算出来的值为 2*2*2+9=17

注意:本地方法仅对包含函数可见,并且可以使用包含该本地方法的变量。

ILSpy反编译的结果:

技术分享图片

可以看出在调用Cube(2),最终被编译成Cube(2,ref xx)这样一个方法,但看不到 <WriteCubes>g__Cube|3_0方法的内部实现。

(5)c# 6 介绍了方法的 "fat-箭头" 语法, 可以用在只读、属性、运算符和索引器。c# 7 将此扩展到构造函数、读/写属性、终结器

代码:

技术分享图片

ILSPy代码结果:

技术分享图片

 (6)对于 c# 7, 可能最显著的改进是显式元组支持

作用:元组提供了一种简单的方法来存储一组相关值

代码:

技术分享图片

运行结果:

技术分享图片

解析: var bob = ("Bob", 23);定义了一个元组,可以使用bob.Item1来访问第一个参数,可以使用bob.Item2来访问第二参数,但问题来了,为什么可以这样来访问???

ILSpy结果:

技术分享图片

可以看到,元组其实是一个ValueTuple<,>的泛型类型,其中string int 是有你的值的类型决定的,那为什么可以使用Item1和Item2来访问对应的值呢?

 技术分享图片

技术分享图片

首先Item1和Item2是人家 ValueTuple<T1, T2> 中定义的,那为什么我访问Item1就是"Bob",那是因为在构造函数中,把"Bob"赋值给了Item1,所以明白了吧。

另外可以看出元组是一个结构体,属于值类型的。讲到这里还没有讲完元组的点,由于编译器的魔力, 元组元素可以被命名为下面的形式:

技术分享图片

ILSpy结果:

技术分享图片

技术分享图片

借助于元组,函数可以返回多个参数,而不需要借助于out 参数:

技术分享图片

运行结果:

技术分享图片

ILSpy结果:

技术分享图片

注意:元组隐含地支持反解析模式, 因此它们可以很容易地被分解成单个变量。我们可以重写前面的主方法使 GetFilePosition 返回的元组被分配给两个局部变量:row和cloum:

 技术分享图片

运行结果:

技术分享图片

ILSPy结果:(结果和上面的一样)

技术分享图片

好了,元组就讲到这里,接下让我们看看如何抛出异常。

(7)抛出异常

功能:在C#7之前,throw总是要被声明,现在它可以作为一个表达式出现在一个函数 体中,而且也可以出现在三元表达式中。

技术分享图片

技术分享图片

 ILSpy结果:

技术分享图片

(8)字符串的插值

直接上代码:

技术分享图片

如果要多行显示,可以这样写:

技术分享图片

注意:$符一定要在@符号之前。

ILSpy结果:

技术分享图片

简单我就不多说了,继续下面的知识点。

(9)异常筛选器(Exception filters)

作用:允许你在catch中应用一个条件。

技术分享图片

(10)引用本地变量Ref Locals

作用:C#7.0中引入了一个极为重要的点,借此,你可以定义一个本地变量,这个变量引用一个数组中的元素或者对象中的字段。

代码:

技术分享图片

注意:Ref Locals 必须是数组中的一个元素、字段、或者本地变量,不能是属性。它通常与 ref returns 一起使用。

 技术分享图片

运行结果:

技术分享图片

解析:ref int age 标注这个变量时就是一个引用类型的变量。

(11)Ref Returns

 作用:你可以在一个方法中返回一个 ref local,这种方式被叫做ref return

代码:

技术分享图片

运行结果:

技术分享图片

解析:private static ref int GetX() 其实是一个 返回值为int32&(就是一个标记了内存指针的INT32类型)的方法,也就是返回一个地址,这样我再修改值后其实就是修改的x的值。

ILSpy结果:

技术分享图片

注意:ldsflda int32 :是把一个静态字段x的地址压入到栈中,ret,然后返回,在Main方法中,调用上面的方法后,从栈顶把值取出来,存储到本地变量列表中索引位置0里面。

然后取本地变量中索引位置为0的值,并压入栈中,注意重点来了,stind.i4 是把 ldc.i4.s 9 值 的地址存储下来,这样就改变了x的值。所以这个int32&其实就是一个变量的地址,也就是我们通常所说的指针。

 

好了讲到这里基本上C#7.0新增的功能就讲的差不多了,后续我会继续补充C#7.0新的知识点,希望对你有帮助!谢谢。

最后,欢迎大家加入到我的C#+.Net Core英文书籍翻译群,我会不定期通过博客更新翻译的英文资料,希望得到最新的C#知识,同时对你我也有所提高。

 

参考书籍:《C 7.0 in a Nutshell 7th Edition》

 

作者:郭峥

出处:http://www.cnblogs.com/runningsmallguo/

本文版权归作者和博客园共有,欢迎转载,但未经作者同意必须保留此段声明,且在文章页面明显位置给出原文链接。

C#基础拾遗系列之二:使用ILSpy探索C#7.0新增功能点

标签:ref   switch   []   position   声明   输出   允许   没有   tuple   

原文地址:https://www.cnblogs.com/runningsmallguo/p/8972678.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!