更新:2007 年 11 月
fixed 语句禁止垃圾回收器重定位可移动的变量。fixed 语句只能出现在
fixed 语句设置指向托管变量的指针,并在执行该语句期间“固定”此变量。如果没有 fixed 语句,则指向可移动托管变量的指针的作用很小,因为垃圾回收可能不可预知地重定位变量。C# 编译器只允许在 fixed 语句中分配指向托管变量的指针。
C# | 复制代码 |
---|---|
unsafe static void TestMethod() { // assume class Point { public int x, y; } // pt is a managed variable, subject to garbage collection. Point pt = new Point(); // Using fixed allows the address of pt members to be // taken, and "pins" pt so it isn't relocated. fixed (int* p = &pt.x) { *p = 1; } } |
可以用数组或字符串的地址初始化指针:
C# | 复制代码 |
---|---|
unsafe void Test2() { Point point = new Point(); double[] arr = { 0, 1.5, 2.3, 3.4, 4.0, 5.9 }; string str = "Hello World"; fixed (double* p = arr) { /*...*/ } // equivalent to p = &arr[0] fixed (char* p = str) { /*...*/ } // equivalent to p = &str[0] fixed (int* p1 = &point.x) { fixed (double* p2 = &arr[5]) { // Do something with p1 and p2. } } } |
只要指针的类型相同,就可以初始化多个指针:
复制代码 | |
---|---|
fixed (byte* ps = srcarray, pd = dstarray) {...} |
要初始化不同类型的指针,只需嵌套 fixed 语句:
C# | 复制代码 |
---|---|
fixed (int* p1 = &point.x) { fixed (double* p2 = &arr[5]) { // Do something with p1 and p2. } } |
执行完语句中的代码后,任何固定变量都被解除固定并受垃圾回收的制约。因此,不要指向 fixed 语句之外的那些变量。
说明: |
---|
无法修改在 fixed 语句中初始化的指针。 |
在不安全模式中,可以在堆栈上分配内存。堆栈不受垃圾回收的制约,因此不需要被锁定。有关更多信息,请参见
示例
C# | 复制代码 |
---|---|
class Point { public int x, y; } class FixedTest2 { // Unsafe method: takes a pointer to an int. unsafe static void SquarePtrParam (int* p) { *p *= *p; } unsafe static void Main() { Point pt = new Point(); pt.x = 5; pt.y = 6; // Pin pt in place: fixed (int* p = &pt.x) { SquarePtrParam (p); } // pt now unpinned Console.WriteLine ("{0} {1}", pt.x, pt.y); } } /* Output: 25 6 */ |
C# 语言规范
有关更多信息,请参见 C# 语言规范中的以下各章节:
18.3 固定变量和可移动变量
18.6 fixed 语句