C# 语言规范--1.4 自动内存管理

手动内存管理要求开发人员管理内存块的分配和回收。手动内存管理可能既耗时又麻烦。在 C# 中提供了自动内存管理，使开发人员从这个繁重的任务中解脱出来。在绝大多数情况下，自动内存管理可以提高代码质量和开发人员的工作效率，并且不会对表达能力或性能造成负面影响。

示例

using System;
public class Stack
{
private Node first = null;
public bool Empty {
get {
return (first == null);
}
}
public object Pop() {
if (first == null)
throw new Exception("Can't Pop from an empty Stack.");
else {
object temp = first.Value;
first = first.Next;
return temp;
}
}
public void Push(object o) {
first = new Node(o, first);
}
private class Node
{
public Node Next;
public object Value;
public Node(object value): this(value, null) {}
public Node(object value, Node next) {
Next = next;
Value = value;
}
}
}

显示了一个

Stack

类，它实际上是

Node

实例的一个链接表。Node 实例是在

Push

方法中创建的，当不再需要它们时会对其进行垃圾回收。当任何代码都不再可能访问某个

Node

实例时，该实例就成为垃圾回收的对象。例如，当从

Stack

中移除某项时，相关的

Node

实例就符合了垃圾回收条件，等待被回收。

示例

class Test
{
static void Main() {
Stack s = new Stack();
for (int i = 0; i < 10; i++)
s.Push(i);
s = null;
}
}

显示了使用

Stack

类的代码。该代码创建了一个

Stack

类，并用 10 个元素初始化该类，然后给它赋值

null

。给变量

s

赋了 null 值后，

Stack

及关联的 10 个

Node

实例变得符合垃圾回收条件。垃圾回收器可以立即清除上述实例，但并没要求它一定做到立即清除。

为 C# 服务的基础垃圾回收器可以通过在内存中移动对象来工作，而这种移动对于大多数 C# 开发人员是不可见的。对于那些通常满足于自动内存管理、但有时又需要精确控制或细微性能调整的开发人员，C# 提供了编写“不安全”代码的能力。这类代码可以直接处理指针类型和对象地址。但是，C# 要求程序员固定对象，暂时阻止垃圾回收器移动它们。

从开发人员和用户的角度，这种“不安全”代码功能实际上是一种“安全”的功能。在代码中必须用修饰符

unsafe

清楚地标记出不安全代码，以便开发人员不可能不经意地使用不安全语言功能，并且编译器和执行引擎协同工作，确保不安全代码无法假冒安全代码。这些限制将不安全代码的使用仅限于代码受到信任的情况。

示例

using System;
class Test
{static void WriteLocations(byte[] arr) {
unsafe {
fixed (byte* pArray = arr) {
byte* pElem = pArray;
for (int i = 0; i < arr.Length; i++) {
byte value = *pElem;
Console.WriteLine("arr[{0}] at 0x{1:X} is {2}",
i, (uint)pElem, value);
pElem++;
}
}
}
}static void Main() {
byte[] arr = new byte[] {1, 2, 3, 4, 5};
WriteLocations(arr);
}
}

显示了一个名为

WriteLocations

的方法。它含有一个不安全块，该块固定了一个数组实例，然后使用指针操作实现逐个地访问该数组的元素。每个数组元素的索引、值和位置被写入控制台。下面是一个可能的输出示例：

arr[0] at 0x8E0360 is 1
arr[1] at 0x8E0361 is 2
arr[2] at 0x8E0362 is 3
arr[3] at 0x8E0363 is 4
arr[4] at 0x8E0364 is 5

当然，确切的内存位置可能因应用程序的不同执行而异。