Ada 编程/Ada 2012
< Ada 编程
这是Ada 2012中可用主要功能的概述。
增加了 4 种表达式的形式
- 条件表达式
- 情况表达式
- 量化表达式
- 表达式函数
添加了 1 个关键字（总共 73 个）
添加了 5 个编译指示
pragmaCPUpragmaDefault_Storage_PoolpragmaDispatching_DomainpragmaIndependentpragmaIndependent_Components
请注意，除了Default_Storage_Pool之外，所有这些编译指示都已过时，建议使用方面代替。
方面规范是 Ada 2012 的一项新功能。虽然一些方面标识符是全新的，但其他方面标识符在语言的先前版本中以与方面相关的编译指示或属性定义子句的形式出现。请注意，对于这些编译指示，在某些情况下，旧的编译指示标识符被标记为已过时，而在其他情况下，使用编译指示仍然是推荐的方法。
添加了 18 个方面
- Constant_Indexing
- CPU（也作为已过时的编译指示添加）
- Default_Component_Value
- Default_Iterator
- Default_Storage_Pool
- Default_Value
- Dispatching_Domain（也作为已过时的编译指示添加）
- Dynamic_Predicate
- Implicit_Dereference
- Independent（也作为已过时的编译指示添加）
- Independent_Components（也作为已过时的编译指示添加）
- Iterator_Element
- Post
- Pre
- Static_Predicate
- Synchronization
- Type_Invariant
- Variable_Indexing
先前语言版本中作为编译指示存在的方面规范
- All_Calls_Remote
- Asynchronous（编译指示现已过时）
- Atomic（编译指示现已过时）
- Atomic_Components（编译指示现已过时）
- Attach_Handler（编译指示现已过时）
- Convention（编译指示现已过时）
- Elaborate_Body
- Export（编译指示现已过时）
- External_Name
- External_Tag
- Import（编译指示现已过时）
- Inline（编译指示现已过时）
- Interrupt_Handler（编译指示现已过时）
- Interrupt_Priority（编译指示现已过时）
- Link_Name
- No_Return（编译指示现已过时）
- Output
- Pack（编译指示现已过时）
- Preelaborate
- Priority（编译指示现已过时）
- Pure
- Relative_Deadline（编译指示现已过时）
- Remote_Call_Interface
- Remote_Types
- Shared_Passive
- Storage_Size（编译指示现已过时）
- Unchecked_Union（编译指示现已过时）
- Volatile（编译指示现已过时）
- Volatile_Components（编译指示现已过时）
先前语言版本中作为属性定义子句存在的方面规范
- Address
- Alignment
- Bit_Order
- Component_Size
- Input
- Machine_Radix
- Read
- Size
- Small
- Storage_Size
- Storage_Pool
- Stream_Size
- Write
添加了 5 个属性
- 容器库
- Ada.Containers.Multiway_Trees
- Ada.Containers.Indefinite_Multiway_Trees
- Ada.Containers.Indefinite_Holders
- Ada.Containers.Bounded_Vectors
- Ada.Containers.Bounded_Doubly_Linked_Lists
- Ada.Containers.Bounded_Hashed_Maps
- Ada.Containers.Bounded_Ordered_Maps
- Ada.Containers.Bounded_Hashed_Sets
- Ada.Containers.Bounded_Ordered_Sets
- Ada.Containers.Bounded_Multiway_Trees
- Ada.Containers.Synchronized_Queue_Interfaces
- Ada.Containers.Unbounded_Synchronized_Queues
- Ada.Containers.Bounded_Synchronized_Queues
- Ada.Containers.Unbounded_Priority_Queues
- Ada.Containers.Bounded_Priority_Queues
- www.ada2012.org，由 Ada 资源协会维护的网站。
- Ada 答案：Ada 2012
- ISO/IEC JTC1/SC22/WG9 N498 (2009)。SC22/WG9 给 Ada 报告员小组的关于准备 ISO/IEC 8652 修订版 2 的指示
- 迈向 Ada 2012：Ada 报告员小组的阶段性报告，由 Ed Schonberg 撰写 (2010-06-17)
- 高清视频：Ada 2012 简介，由 Ed Schonberg 演示 (1小时02分钟，2012-10-16)
- Ada 参考手册，ISO/IEC 8652:2012(E) — 语言和标准库
- ISO/IEC 8652:2012 — 信息技术 — 编程语言 — Ada (2012-12-10)，与上述链接内容相同。
- Ada 参考手册注释版，ISO/IEC 8652:2012(E) — 语言和标准库 (彩色差异)
- Ada 修订版草案列表
- Ada 2012 特性的实现 在 GNAT 编译器中
- Ada 2012 语言标准获得 ISO 批准，由 Ada 资源协会和 Ada-Europe 发布 (2012-12-18) PDF
- Ada 2012 语言标准提交给 ISO，由 Ada 资源协会和 Ada-Europe 发布 (2012-06-12) PDF