今天在看书的途中又遇到了这样的问题
class Animal { public int AnimalProperty { get; set; } public void AnimalMethod() { } } class Dog : Animal { public bool DogProperty { get; set; } public void DogMethod() { } }
static void Main(string[] args) { Animal a = new Dog(); a.AnimalMethod(); }
之前也遇到过,但没有深入研究,今天又看到了,就不能再放过了,要彻底理解它。
为什么可以这样写:
Animal a = new Dog();
这是不同的类型,为何可以这样赋值。
通过深入研究,小有收获,在这里分享给大家,那里有不妥的地方,欢迎大家一起探讨。
====================OK,进入研究阶段=====================
在C语言中,我们大家都学习过数据类型,数据类型可分为:值类型和引用类型。
值类型比较好理解,在这里就不多做解释,但是引用类型我们可以深入研究一下。
引用类型 由类型的实际值引用(类似于指针)表示的数据类型。如果为某个变量分配一个引用类型,则该变量将引用(或“指向”)原始值。不创建任何副本。引用类型包括类、接口、委托和装箱值类型。
从内存的角度来理解:引用类似于指针(同一系统中数据指针的大小是相等的,但跟函数指针的大小不一定相等),在内存栈上开辟一块空间,用于保存在内存堆上分配的对象空间的地址,即内存栈上有个指针,指向内存堆。内存堆中保存了我们创建的对象。
在内存栈上的保存的内容,其实仅仅是堆中内存块的地址而已。那么问题来了,既然仅仅存的是地址,那么这个指针为什么还要有类型呢?
原来,给指针定义的类型,是给它的偏移用的,计算机根据指针的类型来计算指针从内存堆上取出空间的大小。
这样一来,上面的那句话就好理解了,在内存堆上开辟一块Dog对象空间,这块空间里包含Dog对象,前面的部分空间存的是从父类继承来的内容,后半部分是自己类里有的内容,当Animal a=new Dog()时,指针偏移Animal大小,也就只能取到animal的内容;当Dog a=new Dog()时,指针偏移Dog大小,然后取到Dog的内容,取出来之后,就回到编译器了,然后编译器在做类型转换判断。
OK,搞定。
第一次写博客,有哪里不周到的地方,望大家指正。谢谢。
祝大家学习、工作愉快!