《C#本质论》读书笔记＜三＞类型、继承、泛型

最新推荐文章于 2023-03-15 09:11:03 发布

原创最新推荐文章于 2023-03-15 09:11:03 发布 · 461 阅读

1 ·

CC 4.0 BY-SA版权

文章标签：

#c#

C# 专栏收录该内容

4 篇文章

订阅专栏

本文深入探讨C#编程中的核心概念，包括类型、封装、继承和多态的详细解释。作者强调理解这些概念的重要性，不仅限于基础知识，还涉及编码风格和最佳实践。此外，文章还涵盖了对象、属性、构造器、静态类、异常处理、泛型等多个方面，提供了丰富的实例和思考，帮助开发者提升编程技能。

重读Csharp本质论一书，发现上面已经记录1500多条注释笔记，整理一下分享出来，里面会有对笔记的复制整理，也有一些新的思考。
PS：该书真是神书，除了基础语法以外，还讲解了“为什么”“如何做”这种问题，让读者知其然，也知其所以然。每个章节的内容深入浅出，覆盖面较广，有时还会提醒开发者，应该养成什么样的编码风格，无论是初学者还是有一定Csharp基础的开发者，都能有所收获。

第一篇基础内容写了13000多字，花费了很多精力。复看一下也没发现太多重要的点。
后续做个改进，精简一些，只汇总有必要的部分。

带笔记版本的书https://download.youkuaiyun.com/download/lanazyit/12881254

类型

复看时发现，类型这一章的所有内容，都提炼在开篇的这句话。
在这里插入图片描述

封装

封装有两层含义

权限控制，或者叫隐藏细节，以减少误修改和误调用

在这里插入图片描述

逻辑规整，将行为和数据封装到一个类型中，方便拓展和调用

继承

派生类(子类)是基类(父类)的更具体的类型。"更具体"这个词初看时觉得很生涩，但是反复理解后觉得很精妙。

多态

多态总结着说，其实就是同样的方法签名实现不同的功能，一般通过重写+继承实现。
在这里插入图片描述

并不是只有类型继承这里可以体现多态的思想，C#中的委托也可以理解为多态思想的体现。甚至可以说，一次声明，多次实现，多种用法，的编程行为都可以称之为"多态"。实际编程中要善用’‘多态’'的思想，不要拘泥死的定义。

对象和类型的区别

类型是若干行为相似，属性相同的实体的抽象，是具体物品的模版。
对象是类型的实例化，或者说具象化。

属性的作用

属性其实就是用来装饰存取的方法。比如在存取时进行校验或者其他"再处理"操作。
在这里插入图片描述

属性的设计编码规范

在这里插入图片描述

只读属性

C#6.0新特性规定，编译器要求必须要在构造器中初始化或者通过初始化器初始化只读的自动实现属性。也就说我们可以在字段声明时初始化一次，在构造器中再初始化一次。
在这里插入图片描述

属性的注意事项

属性和方法调用不允许作为ref和out参数值使用，因为ref和out要求做内存地址的传递，而属性有可能是指向一个虚字段，如要使用必须要将属性和方法的值复制到一个变量中，然后传递该变量。
所谓的属性作为虚字段，其实是属性不跟某个字段强关联，而是作为一系列数据处理的方法(可能Set是将一个值处理后存给多个数据，也可能Get是个返回多个数据处理后的结果.)PS:注意这是自己理解性的东西,不太严谨
属性编译到CIL中还是编译成了方法。
属性的内部声明要比外部声明严格。

调用构造器时New操作符的实现细节

在这里插入图片描述

对象初始化器

对象初始化器允许在构造器后在对任意可以访问的属性和字段进行初始化，但是要注意对象初始化器只是一个语法糖，编译到CIL中等同于 A.a = 1这种的直接赋值代码。对象初始化器中的赋值顺序与字段的声明顺序相同。
(更多用到的是集合初始化器，写法与功能对象初始化器完全一样。只是用于集合的初始化。)

在这里插入图片描述

终结器

终结器由垃圾回收识别和调用。
在这里插入图片描述

使用This另外一个构造器

在这里插入图片描述

匿名类型Var

不常用，此处留个坑。

静态构造器

在这里插入图片描述

初始化流程

1: 子类静态变量
2: 子类静态构造函数
3: 子类非静态变量
4: 父类静态变量
5: 父类静态构造函数
6: 父类非静态变量
7: 父类构造函数
8: 子类构造函数

这里有个疑问，如果子类和父类都有某个字段声明，那么该实例字段在会反复声明么？
经查询资料，这里跳转，应该是会重复声明，基类和派生类都持有一个同名字段，但是一般情况下基类的字段会被派生类覆盖，除非使用base调用。但是又出了一个新的疑问，在具体构造过程中，是先把所有类型的字段的声明执行完，再调用静态构造器么？等待后续查证。

静态类

既然类无法实例化，那实例成员也没有了意义，所以不能声明。
在这里插入图片描述

拓展方法

使用this修饰第一个类型参数(这也是this的另外一个用法)。
要注意，如果签名一样，拓展方法会被原类型覆盖。
在这里插入图片描述

常量const

在这里插入图片描述

只读readonly

总结一下:
01 readonly和只有get属性的"只读"效果是一样的
02 readonly字段只能初始化一次(声明,初始化器,构造器)
03 除了在构造器中,其他地方最好通过属性来访问readonly字段
04 相比较Const ,readonly更好用
05 readonly无法修饰局部变量，因为局部变量用完很快就被释放掉了，没有太大的只读意义。

使用readyonly锁定数组实例

在这里插入图片描述

嵌套类

只有嵌套类(内部类)才可以声明为private的，其他类声明为private毫无意义，所以被C#禁止了。

分部类

使用partial修饰后可以将类拆分到多个文件中去，但是编译后实际上还是一个类。主要用于当一个类代码过多时进行拆分，但是其实合理的设计不应该会出现这种情况。

类的隐式显示转换

在这里插入图片描述

突然没看懂，挖个坑，在223页

在这里插入图片描述

尽量不要在构造器中调用虚方法(Virtual)

因为它可能被子类重写，一旦被子类重写，构造链中将会出现子类字段未完整初始化时，便调用子类方法的情况，虽然不会出现编译错误，但是这样做是有风险的。
在这里插入图片描述

使用New关键字隐藏父类方法

只是隐藏，不会完全重写，如果由基类直接调用则会使用基类的实现.如果是派生类直接调用,会使用派生类的实现。
在这里插入图片描述

使用base调用基类后调用链的持有者将发生改变

在这里插入图片描述

抽象类中虚拟成员(abstract)不能使用Private

注意:虚拟成员是让继承类来override的，如果是private，继承类都不能看见，怎么override？所以private虚拟成员毫无意义。

IS和AS区别

As能避免异常，不能转换会返回Null，而且如果能类型之间可以隐式转换，as也会正确的返回。
IS会验证一个数据项是否属于特定类型，会返回true和false。
在这里插入图片描述

接口不允许使用Static

接口有个重要的目的就是不同的实例有不同的实现, 所以接口不允许使用static,因为毫无意义
在这里插入图片描述

显示与隐式实现接口的比较

显示实现意味着，该成员依然属于接口，其他类型无法直接调用该成员，需要转型为接口后调用。
隐式实现意味着，该成员属于派生类，其他成员可以直接访问。

显示实现接口无法使用public、virtual等修饰符，因为所谓显示实现,就是成员与接口强关联, 让所有的修饰符之类的与接口声明时完全保持一直就可以了,完全没必要继续添加, 故而CIL给禁止了
隐式实现接口成员必须是public的，因为接口的规范，一般是需要外部调用的，另外可以选择virtual。

显示与隐式实现接口如何选择?

判断是不是核心功能？
接口成员作为类成员是否恰当？
是否有相同签名的方法？

接口的多继承的理解

所谓继承不如说是遵循某种契约,多继承就是遵循多种契约。一个人一生可以遵循很多契约，但是只会有一个爸爸。

尽量不要为已交付的接口添加成员

因为接口中的方法是必须要实现的，新增成员会造成大面积报错。

抽象类与接口的比较

在这里插入图片描述

良性结构

重写Hashcode的注意事项

其实也是C#内置hashcode的特性
在这里插入图片描述

Equals与ReferenceEquals

ReferenceEquals表示引用相同，且值类型调用时永远返回False
Equals 如果是重写的Equals，我们在设计上可以允许在引用不同的情况下值相同也可能会返回true，另外要注意，System.Object的Equals 只是简单的调用了ReferenceEquals
在这里插入图片描述

重写Equals注意事项

除了以下操作符，其他的都可以重载

特别要注意不能重写 =，容易跟!=等操作符产生错误联系。
在这里插入图片描述

重写二元操作符其中一个参数要是其包容类型

首先，二元操作符是 +,-,*,/,%,&,|,^,<<,>>这些。重写时使用这种格式static ClassA operator +(ClassA a,ClassB b )
要记住,重写二元操作符的目的是让包容类支持某种二元操作.没有其他目的.
其中重写二元操作符时有个经典的报错就是,参数要求其中一个是包容类型.正是上述说法的佐证
在这里插入图片描述