Оператор fixed (Справочник по C#)

Обновлен: Ноябрь 2007

Оператор fixed не позволяет сборщику мусора переносить перемещаемую переменную. Оператор fixed допускается только в небезопасном контексте. При помощи оператора Fixed можно также создавать буферы фиксированного размера.

Оператор fixed задает указатель на управляемую переменную и "закрепляет" эту переменную во время выполнения оператора. Без fixed, указатели на перемещаемые управляемые переменные были бы мало полезны, так как при сборке мусора переменные переносились бы непредсказуемым образом. Компилятор C# позволяет назначить указатель только управляемой переменной в операторе fixed.

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;
    }        

}

Указатель можно инициализировать с адресом массива или строки.

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:

fixed (int* p1 = &point.x)
{
    fixed (double* p2 = &arr[5])
    {
        // Do something with p1 and p2.
    }
}

После выполнения кода в операторе закрепление любых закрепленных переменных снимается и они могут пройти сборку мусора. Таким образом, не следует указывать на эти переменные за пределами оператора fixed.

Примечание.
Переменные, инициализированные в фиксированных операторах изменять не допускается.

В небезопасном режиме память выделяется стеку, где сборка мусора не производится и, соответственно, закрепление не требуется. Дополнительные сведения см. в разделе stackalloc.

Пример

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

См. также

Основные понятия

Руководство по программированию в C#

Ссылки

Ключевые слова C#

unsafe (Справочник по C#)

Буферы фиксированного размера (Руководство по программированию на C#)

Другие ресурсы

Справочник по C#