Операції з вказівками

Всі операції з вказівками виконуються в небезпечному контексті. Вони перераховані в таблиці 14.1.

Таблиця 14.1

Операції з вказівками

Розглянемо приклади застосування операцій. Якщо у вказівку занесена адреса об'єкту, дістати доступ до цього об'єкту можна за допомогою операцій розадресації і доступу до елементу.

Операція розадресації або розіменування призначена для доступу до величини, адреса якої зберігається у вказівці. Цю операцію можна використовувати як для отримання, так і для зміни значення величини, наприклад:

int а = 5; // ціла змінна

int* р = &а; // ініціалізація вказівки адресою а

Console.WriteLine(*р ): // результат: 5

Console.WriteLine( ++ (*р) ) ; // результат: 6

int[] b = new int[] {10, 20, 30, 50}; // масив

fixed ( int* t = b ) // ініціалізація вказівки

// адресою початку масиву

int* z = t; // ініціалізація вказівки

// значенням іншої вказівки

for (int i = 0; i < b.Length; ++i )

{

t[i] += 5;

*z += 5;

++z;

}

Console.WriteLine( &t[5] - t ); // операція віднімання вказівок

Оператор fixed фіксує об'єкт, адреса якого заноситься до вказівок, для того, щоб його не переміщав складальник сміття і, таким чином, вказівки залишалися коректними. Фіксація відбувається на час виконання блоку, який записаний після круглих дужок.

У приведеному прикладі доступ до елементів масиву виконується двома способами: шляхом індексації вказівки t і шляхом розадресації вказівки z.

Конструкцію *змінна можна використовувати в лівій частині оператора привласнення, оскільки вона визначає адресу області пам'яті. Для простоти цю конструкцію можна вважати за ім'я змінної, на яку посилається вказівка. З нею допустимі всі дії, визначені для величин відповідного типу.

Арифметичні операції з вказівками (складання з цілим, віднімання, інкремент і декремент) автоматично враховують розмір типу величин, що адресуються вказівками. Ці операції застосовні тільки до вказівок одного типу і мають сенс в основному при роботі із структурами даних, елементи яких розміщені в пам'яті послідовно, наприклад, з масивами.

Інкремент переміщає вказівка до наступного елементу масиву, декремент - до попереднього. Фактично значення вказівки змінюється на величину sizeof (тип), де sizeof - операція отримання розміру величини вказаного типу (у байтах). Ця операція застосовується тільки в небезпечному контексті, з її допомогою можна отримувати розміри не тільки стандартних, але і призначених для користувача типів даних. Для структури результат може бути більше суми довжин складових її полів із-за вирівнювання елементів.

Якщо вказівка на певний тип збільшується або зменшується на константу, його значення змінюється на величину цієї константи, помножену на розмір об'єкту даного типу, наприклад:

short* р; ...

р++; // значення р збільшується на 2

long* q;

q++; // значення q збільшується на 4

Різниця двох вказівок - це різниця їх значень, що ділиться на розмір типу в байтах. Так, результат виконання останньої операції виведення в приведеному прикладі дорівнює 5. Підсумовування двох вказівок не допускається.

При записі виразів з вказівками слід звертати увагу на пріоритети операцій. Як приклад розглянемо послідовність дій, задану в операторові

*р++ =10;

Оскільки інкремент постфіксний, він виконується після виконання операції привласнення. Таким чином, спочатку за адресою, записаною в вказівку р, буде записано значення 10, а потім вказівка збільшиться на кількість байтів, відповідну його типу. Те ж саме можна записати докладніше:

*р = 10; p++ ;

Вираз (*р)++, навпаки, інкрементує значення, на яке посилається вказівка.

У наступному прикладі кожен байт беззнакового цілого числа х виводиться на консоль за допомогою вказівки t:

uint х = 0xAB10234F;

byte* t = (byte*)&x;

for ( int i = 0; i < 4: ++i )

Console.Write("{0: X} ", *t++ ); // результат: 4F 23 10 AB

Як бачите, спочатку вказівка t був встановлений на молодший байт змінної х. Лістинг 14.1 ілюструє доступ до поля класу і елементу структури:

Лістинг 14.1. Доступ до поля класу і елементу структури за допомогою вказівок.

using System;

namespace ConsoleApplicationl

{

class A

{

public int value = 20;

}

struct В

{

public int a;

}

class Program

{

unsafe static void Main()

{

A n = new A( ) ;

fixed (int* pn = &n.value ) ++ (*pn);

Console.WriteLine("n = " + n.value ); // результат: 21

В b;

В* pb = &b;

pb->a = 100;

Console.WriteLine( b.a ); // результат: 100

}

}

}

Операція stackalloc дозволяє виділити пам'ять в стеку під задану кількість величин заданого типу:

stackalloc тип [ кількість ]

Кількість задається цілочисельним виразом. Якщо пам'яті недостатньо, генерується виключення System.StackOverflowException. Виділена пам'ять нічим не ініціюється і автоматично звільняється при завершенні блоку, що містить цю операцію. Приклад виділення пам'яті під п'ять елементів типу int і їх заповнення числами від 0 до 4:

int* р = stackalloc int [5];

for ( int i = 0; i < 5: ++i )

{

p[1]-1;

Console.Write( p[i] + " " ); // результат: 0 1 2 3 4 .

}

У лістингу 14.2 приведений приклад роботи з вказівками, узятий із специфікації С#. Метод IntToString перетворить передане йому ціле значення в рядок символів, заповнюючи його шляхом доступу через вказівку.

Лістинг 14.2. Приклад роботи з вказівками: переведення числа в рядок

using System;

class Test

{

static string IntToString (int value)

{

int n = value >= 0 ? value : -value;

unsafe {

char* buffer = stackalloc char[16];

char* p = buffer + 16;

do {

*--p = (char)(n % 10 + '0' );

n /= 10;

} while ( n != 0 );

if ( value < 0 ) *-- p = '-';

return new string(p, 0, (int)(buffer + 16 - p ) );

}

}

static void Main( )

{

Console.WriteLine(IntToString( 12345 ) );

Console.WriteLine(IntToString( -999 ) );

}

}