Ada 樣式指南

- 第 1 章:引言
- 第 2 章:原始碼演示
- 第 3 章:可讀性
- 第 4 章:程式結構
- 第 5 章:程式設計實踐
- 第 6 章:併發
- 第 7 章:可移植性
- 第 8 章:可重用性
- 第 9 章:面向物件特性
- 第 10 章:提高效能
- 第 11 章:可移植的哲學家就餐問題示例
- 參考文獻
- 參考書目
這本樣式指南是對Ada 95 質量和樣式指南的更新,以反映對Ada 語言的最新更新,通常稱為Ada 2012。本指南的目的是透過識別一組將直接影響 Ada 程式質量的樣式指南,幫助計算機專業人員編寫更好的 Ada 程式。本樣式指南並非要取代Ada 參考手冊或原理,或作為Ada 程式語言的教程。
樣式指南分為多個章節,對應於每個程式設計師在建立高質量、可靠、可重用和可移植的 Ada 軟體時會做出的主要決策。章節之間存在一些重疊,因為並非所有程式設計決策都可以獨立做出。各個章節分別介紹了原始碼演示、可讀性、程式結構、程式設計實踐、併發、可移植性、可重用性、效能,以及一個關於面向物件特性的新章節。
每個章節都分為多個指南,採用一種支援廣泛使用的格式,因為它的內容既有規定性又有可調整性。每個指南都包括對應遵循的原則的簡要陳述,以及解釋為什麼該指南很重要的理由。指南還提供使用示例,以及可能出現的應用指南的例外情況。許多指南都很具體,可以被用作公司或專案程式設計標準。其他一些指南則需要在具體例項化之前由管理層做出決策才能用作標準。在這種情況下,將提供一個示例例項化,並在所有示例中使用它。
Ada 聯合專案辦公室 (AJPO) 為 Ada 95 樣式指南提供了資金,該指南是透過將一組使用Ada 95的指南與對原始Ada 質量和樣式:專業程式設計師指南的修改相結合而建立的,版本 02.01.01 (AQ&S 83) (軟體生產力聯盟 1992),開發用於支援Ada 83。Ada 95 指南基於從 Ada 9X 專案、AJPO 庫以及 Ada 社群廣泛收集的大量資料。軟體生產力聯盟(聯盟)的技術人員編寫了更新,高階研究計劃局 (ARPA) 參與了更新工作。
先前存在的 AQ&S 83 提供了一組指南,幫助程式設計師規範地使用 Ada 的功能。1992 年,聯盟根據與 AJPO 的合同完成了樣式指南的版本 2.1 更新。AJPO 將該樣式指南稱為“所有國防部專案的建議樣式指南”。
目前還沒有針對 Ada 2005 或 Ada 2012 語言修訂的正式樣式指南更新。在SIGAda 2008 大會上,關於 Ada 2005 更新及其持續相關性的樣式指南進行了長時間討論,一些與會者自願將該指南引入華夏公益教科書,以鼓勵大家共同更新該指南,將更新交到語言實踐者手中。這在一定程度上得益於國防部 Ada 聯合專案辦公室對 Ada 83 和 95 樣式指南中的材料頒發的免版稅、全球、非獨佔、不可撤銷的無限期使用許可。