Редактирование: Языки программирования, 08 лекция (от 28 сентября)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 55: | Строка 55: | ||
*Безопасные языки | *Безопасные языки | ||
**Указатель тождественен объекту из динамической памяти | **Указатель тождественен объекту из динамической памяти | ||
- | ** | + | **Standart Pascal, Modula-2, Ada, Oberon |
*Гибкие языки | *Гибкие языки | ||
**Указатель может указывать на любой объект памяти | **Указатель может указывать на любой объект памяти | ||
Строка 104: | Строка 104: | ||
Страуструп хотел бы увидеть версию Си++ со сборкой мусора. | Страуструп хотел бы увидеть версию Си++ со сборкой мусора. | ||
- | В [[1990-е|90х]] годах был | + | В [[1990-е|90х]] годах был отменен приказ, в котором приказывалось везде использовать адское программное обеспечение. В Аде-95 появились указатели для интерфейса с другим языком. Но сделали это грамотно, так, чтобы надёжность не упала. |
('''Ada-95''') | ('''Ada-95''') | ||
Type PT is access T; | Type PT is access T; | ||
Строка 157: | Строка 157: | ||
В Обероне понятие указателя превращено в понятие ссылки. | В Обероне понятие указателя превращено в понятие ссылки. | ||
- | |||
===Пункт 8. Функциональный (процедурный) тип данных=== | ===Пункт 8. Функциональный (процедурный) тип данных=== | ||
Идейно близок к указателям или ссылкам. В большинстве ЯП есть указатель на процедуру. Объектами этого типа является все процедуры и функции в программе, которые являются соответствующими константами. К переменным подпрограммного типа применимы операции присваивания и вызова, а также сравнения на равенство. | Идейно близок к указателям или ссылкам. В большинстве ЯП есть указатель на процедуру. Объектами этого типа является все процедуры и функции в программе, которые являются соответствующими константами. К переменным подпрограммного типа применимы операции присваивания и вызова, а также сравнения на равенство. |