Ada 程式設計/Ada 95

計算 » 計算機科學 » 計算機程式設計 » Ada 程式設計

---

Ada 95 是該語言的第二次修訂版，之前是 Ada 83。它在 1995 年由 ISO 標準化。技術修正案 1 於 2001 年 6 月釋出。^[1]

新的語言特性

主要新增內容：^[2]

• 面向物件
• 受保護的物件
• 分層庫

字元集

• Latin-1 (8 位) 用於識別符號的字元集
• 型別字元擴充套件到 Latin-1 (8 位) 的 256 個值
• 新的型別Wide_Character(16 位字元型別，UCS-2 編碼) 和Wide_String

專門需求附件

• 附件 C，“系統程式設計”
• 附件 D，“即時系統”
• 附件 E，“分散式系統”
• 附件 F，“資訊系統”
• 附件 G，“數值計算”
• 附件 H，“安全性和安全性”（在 Ada 2005 中更名為“高完整性系統”）

其他語言新增

• 模組化型別
• 通用訪問型別
• 對子程式的訪問
• 'delay until' 語句
• 'use type' 子句

新增內容摘要

新關鍵字

Ada 95 相對於 Ada 83 有 6 個新關鍵字（總共 69 個關鍵字）

• abstract
• aliased
• protected
• requeue
• tagged
• until

新編譯指示

添加了 29 個編譯指示，刪除了 5 個（總共 38 個）

• pragma All_Calls_Remote
• pragma Asynchronous
• pragma Atomic
• pragma Atomic_Components
• pragma Attach_Handler
• pragma Convention
• pragma Discard_Names
• pragma Elaborate_All
• pragma Elaborate_Body
• pragma Export
• pragma Import
• pragma Inspection_Point
• pragma Interrupt_Handler
• pragma Interrupt_Priority
• pragma Linker_Options
• pragma Locking_Policy
• pragma Normalize_Scalars
• pragma Preelaborate
• pragma Pure
• pragma Queueing_Policy
• pragma Remote_Call_Interface
• pragma Remote_Types
• pragma Restrictions
• pragma Reviewable
• pragma Shared_Passive
• pragma Storage_Size
• pragma Task_Dispatching_Policy
• pragma Volatile
• pragma Volatile_Components

新增屬性

新增了 52 個屬性，刪除了 7 個（共計 85 個）

• Access
• Adjacent
• Alignment
• Bit_Order
• Body_Version
• Caller
• Ceiling
• Class
• Component_Size
• Compose
• Copy_Sign
• Definite
• Denorm
• Exponent
• External_Tag
• Floor
• Fraction
• Identity
• Input
• Leading_Part
• Machine
• Max
• Max_Size_In_Storage_Elements
• Min
• Model
• Model_Emin
• Model_Epsilon
• Model_Mantissa
• Model_Small
• Modulus
• Output
• Partition_ID
• Read
• Remainder
• Round
• Rounding
• Safe_First
• Safe_Last
• Scale
• Scaling
• Signed_Zeros
• Storage_Pool
• Tag
• Truncation
• Unbiased_Rounding
• Unchecked_Access
• Valid
• Version
• Wide_Image
• Wide_Value
• Wide_Width
• Write

新增庫單元

• Ada.Real_Time
• ...

參見

Wikibook

• Ada Programming/Ada 83
• Ada Programming/Ada 2005
• Ada Programming/Ada 2012
• Ada Programming/Keywords
• Ada Programming/Attributes
• Ada Programming/Pragmas

參考資料

• Ada 語言參考手冊, ISO/IEC 8652:1995(E) with COR.1:2000 (June 2001)
• Ada 語言參考手冊, ISO/IEC 8652:1995(E) with COR.1:2000 (June 2001)
• Ada 95 理念：語言與標準 (January 1995)
• Ada 95 質量與風格指南：專業程式設計師指南 (October 1995)

外部連結

• Tucker Taft (1994). "Ada 9X 用於嵌入式系統開發". Retrieved 2008-06-04.
• David L. Moore (1995-10-01). "Ada 95 中的面向物件功能". Dr. Dobb's Journal. Retrieved 2008-06-04.