Полное руководство. С# 4.0

Вот к какому результату приводит выполнение этой программы. Исходное значение переменной о.num: 19 Новое значение переменной о.num: 10

В данном примере модификатор fixed препятствует удалению объекта о. А по скольку переменная р указывает на переменную экземпляра о.num, то она будет ука зывать на недостоверную область памяти, если удалить объект о. Доступ к членам структуры с помощью указателя

Указатель может указывать на объект типа структуры при условии, что структура не содержит ссылочные типы данных. Для доступа к члену структуры с помощью ука зателя следует использовать оператор-стрелку (->), а не оператор-точку (.). Напри мер, доступ к членам структуры struct MyStruct { public int a; public int b; public int Sum { return a + b; } }

осуществляется следующим образом. MyStruct о = new MyStruct; MyStruct* p; // объявить указатель p = &o; p->a = 10; // использовать оператор -> p->b = 20; // использовать оператор -> Console.WriteLine("Сумма равна " + p->Sum); Арифметические операции над указателями

Над указателями можно выполнять только четыре арифметические операции: ++, --, + и -. Для того чтобы стало понятнее, что именно происходит в арифметических операциях над указателями, рассмотрим сначала простой пример. Допустим, что пе ременная p1 является указателем с текущим значением 2000, т.е. она содержит адрес

После выполнения выраженияp1++; переменная p1 будет содержать значение 2004, а не 2001! Дело в том, что после каждого инкрементирования переменная p1 указывает на следующее значение типа int. А по скольку тип int представлен в C# 4 байтами, то в результате инкрементирования зна чение переменной p1 увеличивается на 4. Справедливо и обратное: при каждом декре ментировании переменной p1 ее значение уменьшается на 4. Например выражениеp1--; приводит к тому, что значение переменной p1 становится равным 1996, если раньше оно было равно 2000!

Все сказанное выше можно обобщить: после каждого инкрементирования указа тель будет указывать на область памяти, где хранится следующий элемент его соот носимого типа, а после каждого декрементирования указатель будет указывать на об ласть памяти, где хранится предыдущий элемент его соотносимого типа. Арифметические операции над указателями не ограничиваются только инкремен тированием и декрементированием. К указателям можно добавлять и вычитать из них целые значения. Так, после вычисления следующего выражения: p1 = p1 + 9;

переменная p1 будет указывать на девятый элемент ее соотносимого типа по отноше нию к элементу, на который она указывает в настоящий момент.

Если складывать указатели нельзя, то разрешается вычитать один указатель из дру гого, при условии, что оба указателя имеют один и тот же соотносимый тип. Резуль татом такой операции окажется количество элементов соотносимого типа, которые разделяют оба указателя.

Кроме сложения и вычитания целого числа из указателя, а также вычитания двух указателей, другие арифметические операции над указателями не разрешаются. В част ности, к указателям нельзя добавлять или вычитать из них значения типа float или double. Не допускаются также арифметические операции над указателями типа void*.

Для того чтобы проверить на практике результаты арифметических операций над указателями, выполните приведенную ниже короткую программу, где выводятся фи зические адреса, на которые указывает целочисленный указатель (ip) и указатель с пла вающей точкой одинарной точности (fp). Понаблюдайте за изменениями каждого из этих указателей по отношению к их соотносимым типам на каждом шаге цикла. // Продемонстрировать результаты арифметических операций над указателями. using System; class PtrArithDemo { unsafe static void Main { int x; int i; double d; int* ip = &i; double* fp = &d; Console.WriteLine("int double\n"); for(x=0; x < 10; x++) { Console.WriteLine((uint) (ip) + " " + (uint) (fp)); ip++; fp++; } } }

Ниже приведен примерный результат выполнения данной программы. У вас он может оказаться иным, хотя промежутки между выводимыми значения должны быть такими же самыми. int double 1243464 1243468 1243468 1243476 1243472 1243484 1243476 1243492 1243480 1243500 1243484 1243508 1243488 1243516 1243492 1243524 1243496 1243532 1243500 1243540

Как следует из приведенного выше результата, арифметические операции выпол няются над указателями относительно их соотносимого типа. Так, значения типа int занимают в памяти 4 байта, а значения типа double — 8 байтов, и поэтому их адреса изменяются с приращением именно на эти величины. Сравнение указателей

Указатели можно сравнивать с помощью таких операторов отношения, как ==, < и >. Но для того чтобы результат сравнения указателей оказался содержательным, оба указателя должны быть каким-то образом связаны друг с другом. Так, если перемен ные p1 и р2 являются указателями на две разные и не связанные вместе переменные, то любое их сравнение, как правило, не имеет никакого смысла. Но если переменные p1 и р2 указывают на связанные вместе переменные, например на элементы одного массива, то их сравнение может иметь определенный смысл. Указатели и массивы

В C# указатели и массивы связаны друг с другом. Например, при указании имени массива без индекса в операторе с модификатором fixed формируется указатель на начало массива. В качестве примера рассмотрим следующую программу. /* Указание имени массива без индекса приводит к формированию указателя на начало массива. */ using System; class PtrArray { unsafe static void Main { int[] nums = new int [10]; fixed(int* p = &nums[0], p2 = nums) { if(p == p2) Console.WriteLine("Указатели p и p2 содержат " + "один и тот же адрес."); } } }

Ниже приведен результат выполнения этой программы. Указатели р и р2 содержат один и тот же адрес

Как следует из приведенного выше результата, выражения &nums[0]

и nums

оказываются одинаковыми. Но поскольку вторая форма более лаконична, то она чаще используется в программировании, когда требуется указатель на начало массива. Индексирование указателей

Когда указатель обращается к массиву, его можно индексировать как сам массив. Такой синтаксис служит более удобной в некоторых случаях альтернативой арифмети ческим операциям над указателями. Рассмотрим следующий пример программы. // Проиндексировать указатель как массив. using System; class PtrlndexDemo { unsafe static void Main { int[] nums = new int[10]; // Проиндексировать указатель. Console.WriteLine("Индексирование указателя как массива."); fixed (int* p = nums) { for(int i=0; i < 10; i++) p[i] = i; // индексировать указатель как массив for(int i=0; i < 10; i++) Console.WriteLine("p[{0}]: {1} ", i, p[i]); } // Использовать арифметические операции над указателями. Console.WriteLine("ХпПрименение арифметических " + "операций над указателями."); fixed (int* р = nums) { for(int i=0; i < 10; i++) *(p+i) = i; // использовать арифметическую операцию над указателем for(int i=0; i < 10; i++) Console.WriteLine("*(p+(0)): {1} ", i, *(p+i)); } } }

Ниже приведен результат выполнения этой программы. Индексирование указателя как массива. р[0]: 0 p[1]: 1 p[2]: 2 p[3]: 3 p[4]: 4 p[5]: 5 p[6]: 6 p[7]: 7 Р[8]: 8 р[9]: 9 Применение арифметических операций над указателями. *(р+0) : 0 *(р+1) : 1 *(р+2) : 2 *(р+3) : 3 *(р+4) : 4 *(р+5) : 5 *(р+6) : 6 *(р+7) : 7 *(р+8) : 8 *(р+9) : 9

Как следует из результата выполнения приведенной выше программы, общая фор ма выражения с указателем *(ptr + i)

может быть заменена следующим синтаксисом индексирования массива. ptr[i]