最近找工作,面试了几家公司,其中有一家公司的面试题给我印象很深,不久前在博客园看过类似的题目,但这次的更复杂,题目如下:
- public class BaseA
- {
- public static MyTest a1 = new MyTest("a1");
- public MyTest a2 = new MyTest("a2");
- static BaseA()
- {
- MyTest a3 = new MyTest("a3");
- }
- public BaseA()
- {
- MyTest a4 = new MyTest("a4");
- }
- public virtual void MyFun()
- {
- MyTest a5 = new MyTest("a5");
- }
- }
- public class BaseB : BaseA
- {
- public static MyTest b1 = new MyTest("b1");
- public MyTest b2 = new MyTest("b2");
- static BaseB()
- {
- MyTest b3 = new MyTest("b3");
- }
- public BaseB()
- {
- MyTest b4 = new MyTest("b4");
- }
- public new void MyFun()
- {
- MyTest b5 = new MyTest("b5");
- }
- }
- static class Program
- {
- static void Main()
- {
- BaseB baseb = new BaseB();
- baseb.MyFun();
- }
- }
- public class MyTest
- {
- public MyTest(string info)
- {
- Console.WriteLine(info);
- }
- }
最后的问题是:请写出Main()方法中,a1-a5,b1-b5这十个类实例化的顺序。(MyTest类是我自己添的,方便查看结果,原题是是实例化一个object类。)
不知道园子里有多少人能胸有成竹的写出正确答案,反正我是答错了,正确答案是:
b1
b3
b2
a1
a3
a2
a4
b4
b5
题目中涉及到的知识点
虽然题目没做对了,但要知道自己为什么会做错,这样才会有所提高,趁着端午的假期,我把这个面试题涉及到的知识点都梳理了一遍,要点如下:
内联(inline)方式初始化字段。
类型构造器(静态构造函数)的执行时间。
C#中基类和子类实例化的顺序。
new修饰符的作用。
内联方式初始化字段
这个知识点在《CLR via C#》书中有讲到,所谓内联方式,就是初始化字段的一种简化语法。来看示例代码:
- public class SomeType
- {
- public int m_x = 5;
- }
这种在类中声明变量时进行赋值的方式就叫做内联,大致等效于下面的代码:
- public class SomeType
- {
- public int m_x;
- public SomeType()
- {
- m_x = 5;
- }
- }
之所以说“大致等效”,因为两者的执行顺序上略有差异,编译器会首先生成内联方式的代码,然后再调用构造函数。
比如,下面的代码,最后m_x的结果就为10。
- public class SomeType
- {
- //先执行
- public int m_x=5;
- public SomeType()
- {
- //后执行
- m_x = 10;
- }
- }
类型构造器的执行
所谓类型构造器也就是我们熟知的静态构造方法,在我们编写的类中,都会有一个默认的静态无参构造方法,跟无参实例构造方法一样是默认存在的。
每当我们对一个类创建第一个实例或访问静态字段前,JIT编译器就会调用该类的静态构造方法。当然,静态变量也可以使用上面说的内联方法进行赋值。
这里可以看出,当第一次实例化某个类时,会首先调用该类的静态构造方法。
C#中基类和子类实例化的顺序
这个知识点比较简单,那就是在调用子类实例构造方法之前会调用基类的实例构造方法。从面试题的结果可以看出,基类的构造方法又比子类的静态构造函数晚一些,此处因个人能力有限,我也没办法从更底层的角度去分析原理,只能暂且记住吧。
new修饰符的作用
我看过不少关于new以修饰符的形式用在方法声明中的题目,关于new的用法在MSDN上也都查的到,官方说法是“显式隐藏从基类继承的成员”。
我个人的理解比较简单:当子类中,一个方法的签名(指参数,方法名,返回值)与基类的一个方法相同,通过加入new修饰符,可以让子类不做更改的去使用该方法。
说到底,new修饰符就是让两个不相关的同名方法同时存在而已。(这里同名指相同的方法签名)
最后
回头想想,其实在我日常的项目开发中,多多少少都有涉及到这几个问题,只是平时不注意,没有深究吃透,写此文也是勉励自己以后要重视基础,不再浮躁。