跳轉到內容

Ada 程式設計/庫

來自華夏公益教科書

Ada. Time-tested, safe and secure.
Ada。經久考驗,安全可靠。

預定義語言庫

[編輯 | 編輯原始碼]

Ada 的內建庫由三個根庫單元提供:Ada、Interfaces 和 System;其他庫單元是這些單元的子單元。該庫非常龐大且結構良好。這些章節也更像是參考。其中包含的大多數規範都來自 reznikmm/adalib 儲存庫

Standard 包含語言中所有預定義的識別符號。

Ada 83 擁有一個更小的庫,並且還沒有這種庫結構。這些根庫是在 Ada 95 中引入的,以抑制名稱汙染。為了保持相容性,所有 Ada 83 庫單元XXX都分別重新命名為Ada.XXXSystem.XXX;參見 RM J.1:庫單元的重新命名 [帶註釋]。與根層次結構中的名稱相反,原始的 Ada 83 名稱XXX不受保護 - 它們可以重複用於使用者定義的庫單元。

實現定義語言庫

[編輯 | 編輯原始碼]

每個 Ada 實現都有一個作為預定義 Ada 庫擴充套件的庫。一個例子是 GNAT 實現提供的庫。

其他語言庫

[編輯 | 編輯原始碼]

其他庫,它們不是標準的一部分,但可以免費使用。

另請參閱

[編輯 | 編輯原始碼]

華夏公益教科書

[編輯 | 編輯原始碼]

Ada 參考手冊

[編輯 | 編輯原始碼]
  • Ada 資源協會維護的 工具和庫 集合。
  • Alire 的 箱子 集合,Alire 是 Ada 庫和應用程式原始碼的包管理器。
華夏公益教科書