本文目录
C#中的里氏替换原则
在面向对象思想中可知，派生类拥有基类向下公开的所有特征，它是基类的一个特例。 当派生类对象赋于基类类型时，将出现以下情况：派生类的数据结构依次对应于基类的数据结构。而派生类拥有的自己的数据将不可见。 当基类的对象试图转换为派生类型时，将出现基类对象的数据无法依次填充完派生类的所有数据结构。这就造成了它将无法完成派生类定义的功能。编译器将会提示甚至报错。 这就是派生类能胜任基类功能，而基类却无法完全胜任派生类功能的原因。 强制转换属于 基类到派生的过程：那是因为 设计人员知道：该基类对象的数据结构完全可以填充完派生类的结构。否则，将出现强转错误。一般最好避免使用强转！ 还有，子类能够出现在任何父类对象出现的地方不是完全正确的，父类有时也不会将自己的一些成员公开给子类。
C#里氏替换原则，is 和 as，有关于内存的一些知识
原则上来讲，子类对象可以赋给父类对象，也可以说子类替换父类，并且出现在父类能够出现的任何地方。 反过来说，父类对象是不能替换子类对象的，这种特性称为里氏替换原则 1.子类可以隐式的转换为父类 2.父类必须强转子类 class Person{ public void Say() { Console.WriteLine ("父类说"); } } class Zhang:Person { public new void Say() { Console.WriteLine ("张说"); } } class Li:Person { public new void Say() { Console.WriteLine ("李说"); } } class MainClass { public static void Main (string args) { // Person p = new Zhang (); // p.Say (); // Person p1 = p;//编译通过 // Zhang p2 = p1;// 编译不通过，因为父类必须强转为子类，也就是说将p1强制转换为Zhang类型 // Zhang z1 = new Zhang (); // Li l1 = new Li (); // z1 = (Zhang)l1;//编译不能通过 } } is : 相当于判断，A is B A是不是B或者A是不是B的子类？ as ：先判断，在转换。（它比传统的强制转换相对来说要安全一点，因为传统的强制转换， 一旦转换失败的话，程序就会崩溃，那么使用as关键字，如果转换不成功，就转换成空类型）这里将涉及到关于使用new关键字之后，内存中的一些变化 B b:定义栈上的引用变量b,此时为空引用,也就是null.存于栈,用来保存将来引用对象的地址. b = new B:通过new关键字创建B类的对象,对象的实例保存在托管堆,CRL在建立实例实例对象的时候, 还会创建它的类型对象.对象实例在堆中的内存包括,字段,类型对象指针,同步索引块.类型对象指针指向的 是类型对象 类型对象在堆中的内存包括类型对象指针,索引块,静态字段,方法列表. A a = b:声明一个类型为A的引用变量a,并将其实际地址指向b所指的那个对象实例 a.MethodF(): 当调用一个方法的时候,会直接检查这个对象a的类型,首先找到堆中的类型对象,查看其实否有该方法, 如果有,直接调用.如果没有,则通过类型对象的类型对象指针向上继续查找,直到找到该方法. 找到了该方法之后,它会先检查该方法是否为virtual,如果非虚直接调用.如果是虚方法,即有virtual 修饰的关键字,则引用变量a去找对象的实例类B,查找该方法是否有重新实现了该虚方法,如果有,执行. 没有继续向上查找.直到找到为止. 由于MethodG为虚方法,则会找到实例B,又由于B重写了MethodG,因此直接输出.
