C# 不安全代码（指针）

C# 不安全代码

当一个代码块使用 unsafe 修饰符标记时，C# 允许在函数中使用指针变量。不安全代码或非托管代码是指使用了指针变量的代码块。

---

指针变量

指针 是值为另一个变量的地址的变量，即，内存位置的直接地址。就像其他变量或常量，必须在使用指针存储其他变量地址之前声明指针。
个人认为：在C#中当我们定义变量时，其内部构造函数已经将指针自动定义好，估计是为了防止开发人员定义出错或者分配问题。

指针变量声明的一般形式为：

type* var-name;
1

下面是指针类型声明的实例：

在同一个声明中声明多个指针时，星号 * 仅与基础类型一起写入；而不是用作每个指针名称的前缀。 例如:

int* p1, p2, p3;     // 正确  
int *p1, *p2, *p3;   // 错误 
1
2

下面的实例说明了 C# 中使用了 unsafe 修饰符时指针的使用：

using System;
namespace UnsafeCodeApplication
{
    class Program
    {
        static unsafe void Main(string[] args)
        {
            int var = 20;
            int* p = &var;
            Console.WriteLine("Data is: {0} ",  var);
            Console.WriteLine("Address is: {0}",  (int)p);
            Console.ReadKey();
        }
    }
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

当上面的代码被编译和执行时，它会产生下列结果：

Data is: 20
Address is: 99215364
1
2

您也可以不用声明整个方法作为不安全代码，只需要声明方法的一部分作为不安全代码。下面的实例说明了这点。

---

使用指针检索数据值

您可以使用 ToString() 方法检索存储在指针变量所引用位置的数据。下面的实例演示了这点：

using System;
namespace UnsafeCodeApplication
{
   class Program
   {
      public static void Main()
      {
         unsafe
         {
            int var = 20;
            int* p = &var;
            //这里介绍几种不同的写法
            Console.WriteLine("Data is: {0} " , var);
            Console.WriteLine("Data is: {0} " , p->ToString());
            Console.WriteLine("Data is: {0} " , *p);
            Console.WriteLine("Address is: {0} " , (int)p);
            Console.WriteLine("Address is: {0} " , (int)&var);
         }
         Console.ReadKey();
      }
   }
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

当上面的代码被编译和执行时，它会产生下列结果：

Data is: 20
Data is: 20
Address is: 77128984
1
2
3

---

传递指针作为方法的参数

您可以向方法传递指针变量作为方法的参数。下面的实例说明了这点：

using System;
namespace UnsafeCodeApplication
{
   class TestPointer
   {
   	  /// <summary>
      /// 这个方法注意一下（这里相当于关键字ref用法，相当于引用类型，所以可以修改其两个值）
      /// </summary>
      /// <param name="p"></param>
      /// <param name="q"></param>
      public unsafe void swap(int* p, int* q)
      {
         int temp = *p;
         *p = *q;
         *q = temp;
      }

      public unsafe static void Main()
      {
         TestPointer p = new TestPointer();
         int var1 = 10;
         int var2 = 20;
         int* x = &var1;
         int* y = &var2;
         
         Console.WriteLine("Before Swap: var1:{0}, var2: {1}", var1, var2);
         p.swap(x, y);

         Console.WriteLine("After Swap: var1:{0}, var2: {1}", var1, var2);
         Console.ReadKey();
      }
   }
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

当上面的代码被编译和执行时，它会产生下列结果：

Before Swap: var1: 10, var2: 20
After Swap: var1: 20, var2: 10
1
2

---

在这里插入代码片使用指针访问数组元素

在 C# 中，数组名称和一个指向与数组数据具有相同数据类型的指针是不同的变量类型。例如，int *p 和 int[] p 是不同的类型。您可以增加指针变量 p，因为它在内存中不是固定的，但是数组地址在内存中是固定的，所以您不能增加数组 p。

因此，如果您需要使用指针变量访问数组数据，可以像我们通常在 C 或 C++ 中所做的那样，使用 fixed 关键字来固定指针。

using System;
namespace UnsafeCodeApplication
{
   class TestPointer
   {
      public unsafe static void Main()
      {
         int[]  list = {10, 100, 200};
         fixed(int *ptr = list)

         /* 显示指针中数组地址 */
         for ( int i = 0; i < 3; i++)
         {
            Console.WriteLine("Address of list[{0}]={1}",i,(int)(ptr + i));
            Console.WriteLine("Value of list[{0}]={1}", i, *(ptr + i));
         }
         Console.ReadKey();
      }
   }
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

当上面的代码被编译和执行时，它会产生下列结果：

Address of list[0] = 31627168
Value of list[0] = 10
Address of list[1] = 31627172
Value of list[1] = 100
Address of list[2] = 31627176
Value of list[2] = 200
1
2
3
4
5
6

stackalloc

static unsafe void Main(string[] args)
{
  int *ptr = stackalloc int[1] ;
}
1
2
3
4

在unsafe不安全环境中，我们可以通过stackalloc在堆栈上分配内存，因为在堆栈上分配的内存不受内存管理器管理，因此其相应的指针不需要固定。
下面的实例演示了这点：

---

编译不安全代码

为了编译不安全代码，您必须切换到命令行编译器指定 /unsafe 命令行。

例如，为了编译包含不安全代码的名为 prog1.cs 的程序，需在命令行中输入命令：

csc /unsafe prog1.cs
1

如果您使用的是 Visual Studio IDE，那么您需要在项目属性中启用不安全代码。

步骤如下：

• 通过双击资源管理器（Solution Explorer）中的属性（properties）节点，打开项目属性（project properties）。
• 点击 Build 标签页。
• 选择选项"Allow unsafe code"。

添加关键字 unsafe 后的代码会被 VS 编译环境报错。报错信息为 “不安全代码只会在使用 /unsafe 编译的情况下出现”。

解决方法：

1. 此时需要在上方的 “项目” 菜单中找到 （项目标识符） 属性 项。单击进入项目属性设置界面。

2. 在项目属性界面中找到 “生成” 选项卡。

3. 在 “生成” 选项卡中找到 “允许不安全代码”，勾选该项。

4. 此时再编译程序，就可以完全解决此问题了。

或者在 DOS 下使用编译命令如：csc /unsafe Unsafe.cs(Unsafe.cs 只是举例用的一个源代码文件)。