.NET的堆和栈03,引用类型对象拷贝以及内存分配

在" .NET的堆和栈01,基本概念、值类型内存分配"中，了解了"堆"和"栈"的基本概念，以及值类型的内存分配。我们知道：当执行一个方法的时候，值类型实例会在"栈"上分配内存，而引用类型实例会在"堆"上分配内存，当方法执行完毕，"栈"上的实例由操作系统自动释放，"堆"上的实例由.NET Framework的GC进行回收。

在" .NET的堆和栈02,值类型和引用类型参数传递以及内存分配"中，我们了解了值类型参数和引用类型参数在传递时的内存分配情况。

而本篇的重点要放在：引用类型对象拷贝以及内存分配。

主要包括：
■ 引用类型对象拷贝 成员都是值类型
■ 引用类型对象拷贝 包含引用类型成员

引用类型对象拷贝 成员都是值类型

public struct Shoe{
public string Color;
}

public class Dude
{
public string Name;
public Shoe RightShoe;
public Shoe LeftShoe;

public Dude CopyDude()
{
Dude newPerson = new Dude();
newPerson.Name = Name;
newPerson.LeftShoe = LeftShoe;
newPerson.RightShoe = RightShoe;

return newPerson;
}

public override string ToString()
{
return (Name + " : Dude!, I have a " + RightShoe.Color  +
" shoe on my right foot, and a " +
LeftShoe.Color + " on my left foot.");
}

}

public static void Main()
{
Dude Bill = new Dude();
Bill.Name = "Bill";
Bill.LeftShoe = new Shoe();
Bill.RightShoe = new Shoe();
Bill.LeftShoe.Color = Bill.RightShoe.Color = "Blue";

Dude Ted =  Bill.CopyDude();
Ted.Name = "Ted";
Ted.LeftShoe.Color = Ted.RightShoe.Color = "Red";

Console.WriteLine(Bill.ToString());
Console.WriteLine(Ted.ToString());
}

输出结果：
Bill : Dude!, I have a Red shoe on my right foot, and a Red on my left foot
Ted : Dude!, I have a Red shoe on my right foot, and a Red on my left foot

以上，当引用类型的属性、成员都是值类型的时候，拷贝是完全拷贝。





引用类型对象拷贝 包含引用类型成员

把Shoe由struct值类型改成引用类型class。

public class Shoe{
public string Color;
}

再次运行，输出结果：
Bill : Dude!, I have a Red shoe on my right foot, and a Red on my left foot
Ted : Dude!, I have a Red shoe on my right foot, and a Red on my left foot

当Dude类包含引用类型属性Shoe的时候，在托管堆上的情况是这样的：




拷贝后，2个Dude的Shoe类型的属性指向了同一个托管堆内的Shoe实例，改变Shoe的值会同时影响到2个Dude。

很显然，这不是我们期望的完全拷贝，如何做到完全拷贝呢？
--实现ICloneable接口

ICloneable接口的Clone()方法，允许我们在拷贝的时候，进行一些自定义设置。

让引用类Shoe实现ICloneable接口。

public class Shoe : ICloneable
{
public string Color;

public object Clone()
{
Shoe newShoe = new Shoe();
newShoe.Color = Color.Clone() as string;
return newShoe;
}
}

以上，Shoe的string类型属性Color之所以可以使用Color.Clone()方法，是因为string也实现了ICloneable接口；又由于Clone()返回类型是object，所以，在使用Color.Clone()方法之后，需要把object转换成string类型。

现在，在Dude类的CopyDude()方法中，当拷贝Shoe类型属性的时候，就可以使用Shoe独有的拷贝方法Clone()。

public Dude CopyDude()
{
Dude newPerson = new Dude();
newPerson.Name = Name;
newPerson.LeftShoe = LeftShoe.Clone() as Shoe;
newPerson.RightShoe = RightShoe.Clone() as Shoe;

return newPerson;
}

客户端程序。

public static void Main()
{
Dude Bill = new Dude();
Bill.Name = "Bill";
Bill.LeftShoe = new Shoe();
Bill.RightShoe = new Shoe();
Bill.LeftShoe.Color = Bill.RightShoe.Color = "Blue";

Dude Ted =  Bill.CopyDude();
Ted.Name = "Ted";
Ted.LeftShoe.Color = Ted.RightShoe.Color = "Red";

Console.WriteLine(Bill.ToString());
Console.WriteLine(Ted.ToString());

}

输出结果：
Bill : Dude!, I have a Blue shoe on my right foot, and a Blue on my left foot
Ted : Dude!, I have a Red shoe on my right foot, and a Red on my left foot

这正是我们期望的完全拷贝！

完全拷贝，托管堆上的情况是这样的：




当然也可以让同时包含值类型和引用类型成员，同时需要拷贝的类实现ICloneable接口。

public class Dude: ICloneable
{
public string Name;
public Shoe RightShoe;
public Shoe LeftShoe;

public override string ToString()
{
return (Name + " : Dude!, I have a " + RightShoe.Color  +
" shoe on my right foot, and a " +
LeftShoe.Color + " on my left foot.");
}
#region ICloneable Members

public object Clone()
{
Dude newPerson = new Dude();
newPerson.Name = Name.Clone() as string;
newPerson.LeftShoe = LeftShoe.Clone() as Shoe;
newPerson.RightShoe = RightShoe.Clone() as Shoe;

return newPerson;
}

#endregion
}

客户端调用。

public static void Main()
{
Class1 pgm = new Class1();

Dude Bill = new Dude();
Bill.Name = "Bill";
Bill.LeftShoe = new Shoe();
Bill.RightShoe = new Shoe();
Bill.LeftShoe.Color = Bill.RightShoe.Color = "Blue";

Dude Ted =  Bill.Clone() as Dude;
Ted.Name = "Ted";
Ted.LeftShoe.Color = Ted.RightShoe.Color = "Red";

Console.WriteLine(Bill.ToString());
Console.WriteLine(Ted.ToString());

}

输出结果：
Bill : Dude!, I have a Blue shoe on my right foot, and a Blue on my left foot.
Ted : Dude!, I have a Red shoe on my right foot, and a Red on my left foot.

也是我们期望的完全拷贝！

参考资料：
C# Heap(ing) Vs Stack(ing) in .NET: Part III

".NET的堆和栈"系列包括：

.NET的堆和栈01,基本概念、值类型内存分配

.NET的堆和栈02,值类型和引用类型参数传递以及内存分配

.NET的堆和栈03,引用类型对象拷贝以及内存分配

.NET的堆和栈04,对托管和非托管资源的垃圾回收以及内存分配