Герберт Шилдт - C# 4.0 - полное руководство

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

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("\nПрименение арифметических " +

"операций над указателями.");

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

}

}

}

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

Индексирование указателя как массива.

Р[0] : 0

Р[1] : 1

Р[2] : 2

Р[3] : 3

Р[4] : 4

Р[5] : 5

Р[6] : 6

Р[7] : 7

Р[8] : 8

Р[9] : 9

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

*(р+0) : 0

*(P+1) : 1

*(р+2) : 2

*(р+3) : 3

*(р+4) : 4

*(р+5) : 5