带着问题读CLR via C#(笔记二)类型基础
q1: object类型包含哪些方法?
a1: object类型共包含6个方法,equals, gethashcode, tostring, gettype, memberwiseclone和finalize.
q2: new一个对象的过程是什么?
a2: 1)计算对象所需字节数,包括该类型及其基类型定义的所有实例字段所需的字节数和类型对象指针、同步块索引所需字节数,类型指针和同步块索引是clr用来管理对象的;2)在托管堆上分配该对象所需内存空间;3)初始化类型对象指针和同步块索引;4)执行构造函数。大多数编译器都在构造函数中自动生成一段代码调用基类构造函数,每个类型的构造函数在执行时都会初始化该类型定义的实例字段。5)返回指向新建对象的一个引用,保存在对象变量中。
可用如下代码验证第四步:
view code
class program
{
static void main(string[] args)
{
testthree t = new testthree();
console.read();
}
}
class test
{
int i;
public int i { get; set; }
public test()
{
console.writeline("this is test's constructor");
}
}
class testtwo : test
{
public testtwo()
{
console.writeline("this is testtwo's constructor");
}
}
class testthree : testtwo
{
public testthree()
{
console.writeline("this is testthree's constructor");
}
}
执行结果如下:
q3: 父类型和子类型间如何进行转换?
a3: c#允许将一个对象从它的本身类型转换为它的父类型,这是安全的,不需要做任何额外操作,但要将一个对象从它的本身类型转换为它的子类型,则必须要显式转换,因为可能会失败。见代码:
view code
class program
{
static void main(string[] args)
{
person person = new person();
man man = new man();
person p = man;
man m = person;
}
}
class person
{ }
class man : person
{ }
这段代码是无法编译通过的,在main方法的第四行会报一个这样的错误:
error 1 cannot implicitly convert type 'typebasic.person' to 'typebasic.man'. an explicit conversion exists (are you missing a cast?) c:\users\allen\documents\visual studio 2012\projects\typebasic\typebasic\program.cs 16 21 typebasic
很显然,一个 “男人” 一定是一个人,故可以直接转换,但一个 “人” 并不一定是一个 “男人”,所以必须要显式转换。可将代码这样改写:
// from
man m = person;
// to
man m = (man)person;
这样就可以成功通过编译,但是在运行的时却抛出了异常,很显然,person不能被转换为man. 什么情况下person可以被转换为man? 见如下代码:
view code
static void main(string[] args)
{
man man = new man();
test(man);
}
static void test(person p)
{
man m = (man)p;
}
q4: is和as操作符的作用是什么?
a4: is操作符用来判断一个对象是否属于某种类型,返回一个布尔值。改写下上例的test方法:
view code
static void test(person p)
{
if (p is man)
{
man m = (man)p;
}
}
以上代码共进行了两次类型检测,is操作符首先检测p是否为man类型,在if的方法体中进行强制转换时,clr会再次检测p的类型,这对性能有一定影响。
as操作符很好的解决了这个问题,再次改写test方法:
view code
static void test(person p)
{
man m = p as man;
if (m != null)
{
//...
}
}
as操作符在检测p的类型后会直接对p进行类型转换,返回一个man类型的对象,若检测出p不是man类型,则会返回null. 整个过程只进行了一次类型检测。
q5: 什么是命名空间?
a5: 命名空间是对类型的逻辑分组,对于编译器而言,命名空间的作用是使类型名称变得更长更具唯一性,但clr并不知道命名空间,访问一个类型时,clr需要知道该类型的全名以及它所在程序集。
q6: 命名空间和程序集之间的关系是什么?
a6: 命名空间和程序集间并没有什么关联,同一命名空间的类型可以存在于不同程序集,同一程序集中的类型也可以属于不同命名空间。
q7: 分析以下代码执行时clr发生的动作。
view code
namespace testconsole
{
class program
{
static void main(string[] args)
{
employee e;
int32 year;
e = new employee();
e = employee.lookup("joe");
year = e.getyearsemployed();
e.genprogressreport();
}
}
class employee
{
// 实例方法
public int32 getyearsemployed()
{
//...
}
// 虚方法
public virtual string genprogressreport()
{
//...
}
// 静态方法
public static employee lookup(string name)
{
//...
}
}
class manager : employee
{
// 对父方法重写
public override string genprogressreport()
{
//...
}
}
}
a7:
1)clr检查该方法内部引用的所有类型(employee, int32, manager, string),确保定义了这些类型的程序集已成功加载;
2)clr利用程序集的元数据提取这些类型的相关信息,并创建一些数据结构来表示类型本身,如下图所示:
3)执行"序幕代码",在线程栈中为局部变量分配内存,并初始化它们,如下图所示:
4)构建manager对象,在托管堆中创建一个manager类型的实例,clr会初始化该实例的类型对象指针,让它引用与实例对应的类型对象,本例中为manager类型对象;此外clr会初始化同步块索引,并将该实例所有实例字段设为null或0,再调用构造函数,new操作符会返回该实例内存地址,该地址保存在e中,如下图:
5)lookup是一个静态方法,调用时clr会定位定义该静态方法的类型对应的类型对象,然后jit编译器在该类型对象的方法表中查找被调用的方法的记录项,对方法进行jit编译(第一次执行),执行编译后的代码。本例中,假定查出的实例是一个i额manager类型,则在堆中创建一个manager实例,用查出的信息初始化该实例,并返回它的地址储存在e中,此时,第一个初始化的manger对象将没有指针指向它,它成为垃圾回收对象。见下图:
6)getyearslookup是一个非虚实例方法,在调用时,jit编译器会找到发出调用的标量(e)的类型对应的类型对象,本例中为employee类型对象,因为e被定义为了employee类型。如果employee中没有定义该方法,则会继续向上一层查找,知道查找到object类型对象,查找到该方法后,jit编译器对其进行编译(第一次执行),再执行变异后的代码,将执行结果保存在局部变量中。见下图:
7)getprogressreport为定义在employee中的虚方法,调用一个虚方法,jit编译器会在方法中生成一些额外代码,这些代码在每次调用方法时都会执行。它首先会检测发出调用的变量,根据地址查找到发出调用的实例,本例为一个manager对象,然后检测对象内部的类型指针,找到该对象的实际类型,从实际类型对象的方法列表中查找调用的方法的记录项,进行jit编译(第一次执行),执行变异后代码。见下图:
q8: 如何理解类型对象?
a8: 类型对象本质上也是对象,它也包含类型对象指针成员,clr创建这些类型对象时,也会对其进行初始化。clr开始在一个进程中运行时,会立即为mscorlib.dll中定义的system.type对象创建一个特殊的类型对象,q7中的emloyee和manager都是type类型的“实例”,它们的类型对象指针都会指向type类型对象,而type类型对象的类型对象指针则会指向自己。