On-Line Библиотека www.XServer.ru - учебники, книги, статьи, документация, нормативная литература.
       Главная         В избранное         Контакты        Карта сайта   
    Навигация XServer.ru




Загрузка...




 

Указательные типы

    Переменная указательного типа содержит значение, указывающее на переменную обычного типа - адрес этой переменной (табл. 1.8).

    pointer   // Указатель без типа.
    ^typel    // Указатель с типом.

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

Таблица 1.8. Средства работы с указателями

Средство Описание
New  Распределяет новый участок динамической памяти и записывает его адрес в переменную указательного типа
Оператор @  Направляет переменную-указатель на область памяти, содержащую любую существующую переменную, процедуру или функцию, включая переменные, имеющие идентификаторы
GetMem Создает новую динамическую переменную заданного объема и записывает ее адрес в переменную указательного типа
 
    Указатели и адресные функции
        Информация, содержащаяся в переменной указательного типа, - это адрес некоторого участка в машинной памяти. Эти значения задаются во время работы программы и могут меняться от одного запуска к другому. Следующие функции обеспечивают доступ к адресной информации в программе и тестирование переменных-указателей.
     
    Функция Описание
    Addr  Возвращает адрес указанного объекта
    Assigned Проверяет, равно ли значение процедурной функции Nil
    Ptr Преобразует адрес в указатель

        Зарезервированное слово Nil указывает значение указателя, который ни на что не указывает. Такие указатели называют неопределенными. В Object Pascal только при определении указателей можно нарушать правило, по которому все указываемые идентификаторы, в том числе идентификаторы типов, должны быть объявлены выше. Здесь можно указать идентификатор еще необъявленного типа, как в следующем примере:

        type
            PointerType = ^NotYetDefinedType;

        Однако необъявленный тип необходимо объявить ниже в том же блоке объявления типов.
        Определенный в Object Pascal тип Pointer- это указатель без типа. Обратиться к переменной через такой указатель невозможно (к переменной типа Pointer нельзя дописывать символ "^"). Однако можно задать ей другой указательный тип.
        По значениям переменных тип Pointer совместим с остальными указательными типами.



    Совет: Во многих языках указательные типы как таковые отсутствуют. Однако в С и C++ они есть и определяются звездочкой перед типом объявляемой переменной. Указатели в C/C++ трактуются наподобие целых переменных. программисты Delphi избегают подобного манипулирования указателями.
Назад       Содержание       Вперёд