2，指针的声明

代码块标记为unsafe之后，接着要知道如何写不安全的代码。首先，不安全的代码允许声明指针。如：byte* pData;  假设pData不为null,那么它的值指向的是包含一个或多个连续字节的内存位置，pData的值代表这些字节的内存地址。符号*之前指定的类型是被引用物（referent）的类型，或者说是指针指向的那个位置存储的值的类型。在本例中，pData是指针，而byte是被引用物类型。

由于指针恰好是指向内存地址的整数，所以不会被垃圾回收。C#不允许非托管类型以外的被引用物类型。换言之，不能是引用类型，不能是泛型类型，而且内部不能包含引用类型。所以，以下声明是无效的：

string* pMessage;

3，指针的赋值

代码定义好指针后，在访问它之前必须为它赋值。就像其他引用类型一样，指针可以包含null值，这也是它们的默认值。指针保存的是一个位置的地址。因此，对指针进行赋值，首先必须获取数据的地址。可以显式将一个int或long转换为指针 。但是，除非有办法在执行时获得一个特定的数据值的地址，否则很少能够这样做。相反，需要使用地址操作符（&）来获取值类型的地址，如下 ：

byte * pData = &bytes[0]; //编译错误

问题在于托管环境中数据可能发生移动，因而导致地址无效。本倒中，被引用的字节出现在一个数据内，而数组是引入类型（在内存中可能移动的类型）。引用类型出现在内存堆（heap)上，可以被垃圾或者重新分配。对一个可移动 类型中的值类型字段进行引用，会了生类似 错误： int* a = &"message".Length;

无论哪种方式，为了将数据的地址赋给指针，要求如下：

数据必须属于一个变量。

数据必须是非托管类型。

变量需要用fixed固定，不能移动。

如果数据是一个非托管变量类型，但是不固定，就使用固定语句固定可移动的变量。

3.1 固定数据

要获得可移动数据项的地址，首先必须把它固定下来：

取决于执行频率和执行时机，固定语句可能会导致内存堆中出现碎片，这是由于垃圾回收器不能压缩已固定的对象。

3.1 在栈上分配

应该为一个数组使用fixed语句，防止垃圾回收器移动数据。然而，别一种做法是在调用栈上分配数组。栈分配的数据不会被垃圾回收，也不会被终结器清理。和引用类型一样，要求stackalloc(栈分配)数据是非托管类型的数组。例如，可以不在堆上分配一个byte数组，而是把它放在调用栈上：

byte* bytes = stackalloc byte[42];

由于数据类型是非托管类型的数组，所以“运行时”可以为该数组分配一个固定大小的缓冲区，并在指针越界的时候回收该缓冲区。具体会分配 sizeof(T) * E, E是数组大小，T是引用类型。由于只能为非托管类型的数组使用stackalloc,所以运行时为了回收缓冲区并把它返还给系统，只需对栈执行一次展开，从而避免了遍历f-reachable队列并对reachable数据进行压缩的复杂性。因此，没有办法显示地释放stackalloc数据。

4，指针的解引用

为了访问指针引用的一个类型的值，需要解引用指针，即在指针类型之前添加一个间接寻址操作符*。 例如，语句 byte data = *pData; 的作用是解引用pData引用的byte所在的位置，并返回那个位置上的一个byte。

在不安全的代码中这样做会使本来“不可变”的字符串变得可以被修改：