Представление указателей в языках программирования

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

При объявлении типизированного указателя определяется и тип объекта в памяти, адресуемого этим указателем. Так, например, объявления в языке PASCAL:

Var ipt: ^integer; cpt: ^char;

или в языке C: int* ipt; char* cpt;

означают, что переменная ipt представляет собой адрес области памяти, в которой хранится целое число, а cpt - адрес области памяти, в которой хранится символ. Хотя физическая структура адреса не зависит от типа и значения данных, хранящихся по этому адресу, компилятор считает указатели ipt и cpt имеющими разный тип, и в Pascal оператор

cpt:= ipt;

будет расценен компилятором как ошибочный (компилятор C для аналогичного оператора присваивания, в случае явного приведения типов, ограничится предупреждением).

Таким образом, когда речь идет об указателях типизированных, правильнее говорить не о едином типе данных "указатель", а о целом семействе типов: "указатель на целое", "указатель на символ" и т.д. Могут быть указатели и на более сложные, интегрированные структуры данных, и указатели на указатели.

Нетипизированный указатель, тип pointer в Pascal или void * в C, служит для представления адреса, по которому содержатся данные неизвестного типа. С их помощью удобно динамически размещать данные, структура и тип которых меняются в ходе работы программы. Работа с нетипизированными указателями существенно ограничена, они могут использоваться только для сохранения адреса, обращение по адресу, задаваемому нетипизированным указателем, невозможно.

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

Автор: Александр Игнатьев
http://www.vestace.ru/

Опубликовано: 14.03.2004
Версия текста: 1.1

Перечисление.
Конструкция fixed

Одним из преимуществ старого (неуправляемого) C++ - был прямой доступ к памяти, обеспечиваемый механизмом указателей. Это позволяло создавать высокопроизводительные приложения и являлось головной болью многих программистов.

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

Код, использующий указатели, должен компилироваться с указанием ключа /unsafe:

csc /unsafe CodeFile.cs

В Visual Studio.NET этот параметр задается в Properties проекта. На закладке Build следует установить в true параметр Allow unsafe code blocks.

Кроме того, метод в котором используются указатели должен быть помечен ключевым словом unsafe.Указатели могут объявляться только на следующие типы:

sbyte, byte, short, ushort, int, uint, long, ulong, char, float, double, decimal, bool.

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