里氏替换原则例子

LSP(里氏替换原则):

            原则上讲子类对象介绍给父类对象，也可以说子类替换父类，并且出现在父类能够出现的任何地方代替父类对象

            反过来说，父类对象是不能替换子类对象的，这种特性称为里氏替换原则

           1.子类可以隐式的转为父类

           2.父类必须强转子类

is && as

          is : 相当于判断.  A is B  A是不是B 或者A是不是B的子类

          as : 先判断再转换.(它比传统的强制转换要相对来说安全点，因为传统的强制转换，一旦转换失败的话，程序就崩溃了。             那么使用as)

---

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，因此直接输出.