Описание тега ada2012
Ada 2012 - это текущий стандарт языка программирования Ada.
Ada 2012 - это текущий стандарт (как определено в ISO/IEC 8652:2012) языка программирования Ada.
Новое в Ada 2012
Контрактное программирование
- Предпосылки и постусловия определяют ожидания и обязательства подпрограммы.
- Инварианты типа определяют граничные ограничения для объектов инкапсулированного (частного) типа.
- Предикаты подтипа фиксируют общие ограничения на объекты данных.
Поддержка параллелизма и многоядерности
- Сходство задач и домены диспетчеризации позволяют отображать задачи на определенные процессоры или ядра.
- Ravenscar для многопроцессорных систем адаптирует безопасный и широко используемый профиль задач к современной архитектуре.
Повышенная выразительность
- Функции выражения предлагают удобный способ выражения простых функций.
- Условные выражения обеспечивают компактное обозначение общей идиомы.
- Количественные выражения для универсальных и экзистенциальных форм определяют предикаты над массивами и контейнерами.
Улучшения контейнера
- Ограниченные контейнеры используют выделение стека и не несут накладных расходов на управление динамической памятью.
- Безопасные для задач очереди и очереди с приоритетом обеспечивают эффективную реализацию синхронизированных структур.
- Контейнеры-держатели создают одноэлементные структуры для объектов неограниченного типа.
- Итераторы предоставляют знакомые идиомы с единым синтаксисом для поиска и управления массивами и контейнерами.
Узнать больше