"new" 出一个新未来——关于new的揭秘

看了一些书，也讨论过new的一些用法，总有朋友对New迷糊，或者感觉它只不过是一个 初始化实例的关键字，没什么大不了的。我把的总结的一些知识共享出来，1是希望大家指正错误理解，2来还希望大家补充知识。

博文按照管理，从2个类型考虑：值类型与引用类型

1.从值类型来说

2.从引用类型来说

2.1 new初始化对象

2.2 new隐藏父类方法

1.先说值类型new的作用

static void Main()
{
//这段代码编译不通过
int a;
Console.WriteLine(a.ToString());

}

分析：上面这段代码肯定编译不通过，因为我们知道值类型必须赋值才能够被使用/调用，再看下面的代码：

static void Main()
{
//编译通过
int a=new int();
Console.WriteLine(a.ToString());

}

输出结果是：0

查看下IL代码：

.locals init ([0] int32 a)
IL_0000:  nop
IL_0001:  ldc.i4.0
IL_0002:  stloc.0
IL_0003:  ldloca.s   a
IL_0005:  call       instance string [mscorlib]System.Int32::ToString()
IL_000a:  call       void [mscorlib]System.Console::WriteLine(string)
IL_000f:  nop
IL_0010:  ret
} // end of method Class1::Main

从IL代码可知：

下面2种写法是一样的，没什么区别。

int a=0;
Console.WriteLine(a.ToString());

int a=new int();
Console.WriteLine(a.ToString());

即：new在值类型过程中，初始化变量a值为0。

插曲：

string s1 = "*****************";
string s2 = new string('*',15);

这样写效果一样的。

2.对于引用类型来说

2.1 new用于初始化对象

class Class1
{
static void Main()
{

F1 f1 = new F1();

}

}

class F1
{

}

查看IL代码：

.entrypoint
// 代码大小       8 (0x8)
.maxstack  1
.locals init ([0] class _2012._2._22_2.F1 f1)
IL_0000:  nop
IL_0001:  newobj     instance void _2012._2._22_2.F1::.ctor()
IL_0006:  stloc.0
IL_0007:  ret
} // end of method Class1::Main

即：new 1.为实例分配内存 2.调用构造函数初始化对象

（实际初始化过程比这个复杂的很多，不属于这个范畴了）

2.2 new 隐藏父类的同名方法

说隐藏功能的时候，首先要说一下方法表的结构：

内存分为：stack堆栈和heap堆（托管堆）

托管堆：又分为GC堆，GC堆由GC回收器控制内存释放，还分为Load堆，Load堆不受GC回收器控制，当Appdomain卸载时，自动释放内存。

重点说一下Load堆：

Load堆内有 类型表,类型表内有TypeMethod类型方法表：

如下代码：

class F1
{
public void S1()
{
Console.WriteLine("F1");
}
}

class F2 : F1
{
public void S2()
{
Console.WriteLine("F2");
}
}

class F3 : F2
{
public void S3()
{
Console.WriteLine("F3");
}
}

如果初始化F3的对象

static void Main()
{
F3 f3= new F3();
}

内存的分配对应的方法表如图：



对应的F3类型有一张方法表，对于的F2类型也有一张类型表，对应的F1类型也有一张类型表。

下面开始重点：

案例1：

class Class1
{
static void Main()
{
F1 f1 = new F1();
f1.S();

F1 f2 = new F2();
f2.S();

F1 f3 = new F3();
f3.S();

}

}

class F1
{
public void S()
{
Console.WriteLine("F1");
}
}

class F2 : F1
{
public void S()
{
Console.WriteLine("F2");
}
}

class F3 : F2
{
public void S()
{
Console.WriteLine("F3");
}
}

输出结果： 全部是F1

分析：

1.F1 f1=new F2(); 到底调用那一个S（）方法？

调用什么方法，看的不是引用变量的类型，而是看new之后的对象是什么类型，这里是F2类型（），那么就会去找在Load堆F2的类型表，根据F2是继承F1的方法表，当类型表内出现了相同名字的方法的时候，编译器会自动区分，也就是说，此刻F2类型表内，第一个S（）方法应该是F1的，第二个才是自己的S（）方法，这里有一个”就近原则“，调用第一个方法，也就是F1的S（）方法，因为在类型方法表内部：父类方法在子类前面。

因此，根据这个”就近原则“，输出的所有结果都是：F1。

案例2：

修改部分代码：

class F2 : F1
{
public new void S()
{
Console.WriteLine("F2");
}
}

输出结果：还是一样 全部都是 F1。

分析：

new在这里的作用，就是 新建一个与父类方法名一样的方法。

根据我们对 Load堆类型方法表的理解，那么 父类的方法还是在 new出来的子类方法的前面，所以根据就近原则还是调用的F1的S（）方法。

案例3：

class Class1
{
static void Main()
{
F1 f1 = new F1();
f1.S();

F1 f2 = new F2();
f2.S();

F1 f3 = new F3();
f3.S();

F3 f4 = new F3();
f4.S();

}

}

class F1
{
public void S()
{
Console.WriteLine("F1");
}
}

class F2 : F1
{
public  void S()
{
Console.WriteLine("F2");
}
}

class F3 : F2
{

}

输出结果：

F1
F1
F1
F2

这里有个注意点：F3 f4=new F3();调用S（）方法的时候，如果F3类中有与父类同名的方法，按照就近原则，会先调用自己的S（）方法，如果没有，向上查找最近的S（）方法，所以输出第一个方法结果是：F2。

案例4：

new 真的可以隐藏父类方法吗？new的背后其实就是我们刚才的”就近原则“在作怪，不管new还是不new,父类方法一定是在子类方法前面，回想下Load堆内部的方法表的顺序，就可以理解了。new其实没用隐藏！

那么什么动作会导致父类方法消失呢，就是override,会覆盖父类的方法。

代码如下：

class Class1
{
static void Main()
{
F1 f1 = new F1();
f1.S();

F1 f2 = new F2();
f2.S();

F1 f3 = new F3();
f3.S();

}

}

class F1
{
public virtual void S()
{
Console.WriteLine("F1");
}
}

class F2 : F1
{
public  override  void S()
{
Console.WriteLine("F2");
}
}

class F3 : F2
{

}

输出结果：

F1

F2

F2

分析：

对于类型F2与类型F3的类型方法表内部，已经没有F1的S（）方法了，F3调用S（），就算是就近原则，也是F2的覆盖过的S（）方法。

总结：这下应该理解了new的真的含义了。