Visual Basic .NET Power Coding 读书笔记之第一章 基本语言构造

 

第一章       基本语言构造

一、      值类型和引用类型

.Net中的每种类型（包括Integer这样的类型和EventLog类）都是从Object类派生出来的。这意味着每种类型都具有方法：“构造函数”、Equals、GetHashCode、GetType、Reference-Equals、ToString、Finalize和MemberwiseClone等。

值类型完全从System.ValueType派生的。从ValueType派生的是“结构”，不从ValueType派生的是类。ValueType派生类的创建通常不会调用构造函数，而且属于较简单类型。

更重要的是，值类型是轻量型的，它并不承载Run Time Type Information（运行时类型信息，RTTI），也就是.Net中所谓的类型信息；而引用类型则带有类型信息。

值类型获取类型时会发生一个名为“装箱”（Box）的过程。

1、        结构

结构能够定义常量、枚举类型、字段、属性、方法和事件。从一定程度上讲，结构可以被看作类，但不带有类型信息（除非需要），不需要（但支持）使用构造函数，而且不能被继承。

 

结构与类的差别：

1)        结构是值类型，类是引用类型。

2)        结构使用堆栈内存空间，类使用堆内存空间。

3)        结构成员默认为公共类型，类字段和常量默认为私有类型，其它的类成员默认是公共类型。

4)        只有类成员可以声明为保护类型。在结构是不支持Protected这种访问修饰符。

5)        结构中的方法不能处理事件。

6)        结构中的字段不能被指定初始值。

7)        结构隐式继承类System.ValueType。

8)        结构不能继承。

9)        垃圾收集器不为任何结构调用Finalize方法。

10)     在结构中能够定义非共享的构造函数，但构造函数必须带有参数。

 

结构赋值

当结构的实例赋值给一个新的变量时，就生成了该结构的副本。当对结构赋值Null值时，结构中的所有字段被赋为各种类型自身的“空值”。

 

结构相等性校验

在比较结构是否相等时，需要比较每个字段以保证结构具有相同的值。如果只比较结构变量——不是内部字段，那么结果总是不相等的。

2、        类

类是引用类型，就是说通过构造函数可在堆上创建类实例。类承载自身相关的RTTI，并且具有面向对象语言要求的所有特征。

类是对类型的“描述”，对象是类型的“实例”。

共享成员在类级别中存在并被对象的所有实例共享。当像对象一样使用一个类时，这个类就被称为“元类”（MetaClass）。

3、        值类型、引用类型和内存

当定义两个值类型并将一个赋值给另一个时，会进行复制。这样就有了两个占据不同内存区域的独立变量。（深复制）

当对两个引用类型进行赋值时会创建一个别名，其名字都将指向同一内存区域。（浅复制）

4、        装箱和拆箱

当需要一个值类型的类型信息时，.NET会对值类型进行装箱。一个明确的“装箱”指令被提交给IL，然后创建一个引用对象，将值类型复制到这个新对象中，并返回类型信息。当请求一个引用类型的代码执行完毕后，IL执行“拆箱”指令。

二、      定义结构和类

1、        垃圾收集

.NET使用的是非确定性内存管理（“确定”表示人去做，“不确定”表示.NET去做）。这当意味着当结束了对象的操作时，将由垃圾收集器决定何时回收内存。非确定性内存管理的含义是可以实现一个析构函数，但是不知道何时它会被调用。

 

析构函数

析构函数实际上是重写了 System.Object 中的虚方法 Finalize。C# 程序中不允许重写此方法或直接调用它（或它的重写）

1.         析构函数是不可继承的，因此，一个类除了自己所声明的析构函数外，一个类不具有其它析构函数。

2.         析构函数要求不能带有参数，因此它不能被重载，因此一个类至多只有一个析构函数。

3.         析构函数是自动调用的，不能被显示调用。

 

实现Dispose方法

.NET中的另一个约定是使用公共方法Dispose，它用于执行确定性的清理。Dispose方法不带参数。

示例：

private bool Disposed;
private void Dispose() 
{
    if(Disposed)
        return;

    Disposed = true;
    GC.SuppressFinalize(this);
    //清理语句
}

如果必须在垃圾收集器之前执行一些特定的清理操作，则用户可以调用Dispose方法。使用布尔值可以防止Dispose方法被调用两次。当进行特别清理时，可以通知垃圾收集器不再需要为该对象运行析构函数。

 

如果希望用户知道类中已经实现了一个Dispose方法，则可以通过实现Idisposable接口达到这个目的。

 

可以调用GC.Collect方法让垃圾收集器运行，但这不是一个推荐的做法。就相当于这么一回事：当孩子把东西弄脏了之后会希望母亲能在身后清理；而如果是想命令妈妈去做，就完全是另一回事了。

2、        使用事件

将一个事件成员添加到类或者结构中，要用到event关键字，后接事件名称和事件处理程序必须具有的方法签名（参数的类型、数量及次序）。

3、        使用访问修饰符

使用访问修饰符的几个规则：

1)      类一般定义成Public：嵌套的类通常定义为Protected或者Private。

2)      字段几乎都定义成Private。

3)      属性大多数定义成Public，但有时候也定义为Protected。

4)      可以对方法使用所有修饰符。要将公共方法的数量保持在最少，每种类型都尽可能少于6个。

5)      事件大多数定义成Public。

6)      接口的成员总是Public，并且不能用任何修饰符来直接修饰方法。

7)      不要依赖于默认的权限。尽量使用想要的修饰符来修饰类型成员，而不应该只依赖于默认权限。

如果发现一个类或结构中提供了很多公共成员，则需要判断其内部是否可再细分。如果还可以分解，就要把一种类型分解成多种类型，否则最好让每个成员的访问修饰符都很清楚明确。

三、      理解面向对象思想

1、        对象、类、元类

“类”描述事物，而“对象”是那些事物的实例

元类是可以“像对象一样使用”的类。

2、        信息隐藏和封装

将字段、属性、方法和事件定义为类型成员被称为封装，可以说类型封装了成员。封装处理了部分和整体的概念，成员是类型整体的组成部分。

当使用访问修饰符对类的用户在逻辑上隐藏成员时，被称作为“信息隐藏”。

3、        关联、聚集和继承

“关联”指一种关系，这种关系为一个对象指向另一个对象的实例，但不负责创建那个对象。单向关联表示只能是其中一个类识别另外一个，而双向关联表示关系中的双方对象都可以相互识别，但彼此都不负责创建对象。

“聚集”与包含相关。当一个对象饮食对另一个对象的引用，并且负责创建该对象，就称之为聚集（有时也被称为复合（Composition））。

“继承”指一个类拥有另一个类的成员，被继承的类称为“父类”或“超类”，而继承得到的类则被称为“子类”。

4、        多态

“多态”与继承有关。多态的基础是无需知道一个对象的类型就能对其执行正确的操作。理论含义就是能够定义同大多数普通类型交互的方法，并且当这些类型被一个更特殊的类型表示时，方法也能正确执行。技术含义就是，存在一组方法（被编译器创建），称为“虚方法表”，并且存在机器知道如何对这组方法进行索引以找到正确的方法。