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