Синтаксис указателей

Небезопасный код

Одним из основных достоинств языка C# является его схема работы с памятью: автоматическое выделение памяти под объекты и автоматическая уборка мусора. При этом невозможно обратиться по несуществующему адресу памяти или выйти за границы массива, что делает программы более надежными и безопасными.

В некоторых случаях возникает необходимость работать с адресами памяти непосредственно, например, при взаимодействии с операционной системой, написании драйверов и др. Такую возможность представляет так называемый небезопасный (unsafe) код.

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

Оператор unsafe имеет следующий синтаксис:

unsafe блок операторов

Все операторы, входящие в блок, выполняются в небезопасном контексте.

Компиляция кода, содержащего небезопасные фрагменты, должна производиться с ключом / unsafe. Этот режим можно установить путём настройки среды Visual Studio (ProjectèPropertiesèConfigurationèBuildèAllow Unasfe Code).

Указатели предназначены для хранения адресов областей памяти. Синтаксис объявления указателя:

Тип данных* переменная;

Тип данных в этом объявлении не может быть классом, но может быть структурой, перечислением, указателем, а так же одним из стандартных типов: sbyte, byte, short, ushort, unt, unit, long, ulong, char, float, double, decimal, bool, void.

Примеры объявления указателей:

int* a; //указатель на int

Node* pNode; //указатель на структуру Node

void* p; //указатель на неопределенный тип

int*[] m; //одномерный массив указателей на int

int** d; //указатель на указатель на int

В одном операторе можно описать несколько указателей одного и того же типа, например:

int*a,b,c; //три указателя на int

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

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

Дата добавления: 2014-01-07