C#里氏替换原则,is 和 as,有关于内存的一些知识

里氏替换原则(LSP):

 原则上来讲,子类对象可以赋给父类对象,也可以说子类替换父类,并且出现在父类能够出现的任何地方。

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

 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&&as

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

 as :先判断,在转换。(它比传统的强制转换相对来说要安全一点,因为传统的强制转换, 一旦转换失败的话,程序就会崩溃,那么使用as关键字,如果转换不成功,就转换成空类型)


关于内存

class A

{

public void MethodF(){

Console.WriteLine ("A.F");

}

public virtual void MethodG(){

Console.WriteLine("A.G");

}

}

class B:A

{

public new void MethodF(){

Console.WriteLine ("B.F");

}

public override void MethodG ()

{

Console.WriteLine ("B.G");

}

}

class MainClass

{

public static void Main (string[] args)

{

B b;

b = new B ();

A a = b;

a.MethodF ();

b.MethodF ();

a.MethodG ();

b.MethodG ();

}

}


C#里氏替换原则,is 和 as,有关于内存的一些知识_第1张图片

这里将涉及到关于使用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,因此直接输出.

你可能感兴趣的:(C#里氏替换原则,is 和 as,有关于内存的一些知识)