跳转到内容

Ada 编程/库/容器/AI302

来自 Wikibooks,开放的书籍,为开放的世界

Ada. Time-tested, safe and secure.
Ada。经久耐用,安全可靠。

Ada 83Ada 95 并未提供现在被称为容器的内容,一种包含对象集合的库单元。作为替代,存在许多公共和专有库,它们具有不同级别的(通常没有良好记录的)安全功能;其中许多库至今仍然存在,例如 Booch 组件。由于 Ada 主要针对其标准中规定的安全性,因此缺乏此类库被认为是一个严重的缺失。有一组 Ada 95 AI 处理解决此问题的不同方法

基于 C++ STL,从 AI95-302-03 诞生了现在的容器库 A.18: 容器 [注释]。Matthew Heaney 完成了大部分工作,并于 2005 年获得了 ACM SIGAda 奖,见 https://www.sigada.org/exec/awards/2005_SIGAda_Awards.pdf。另见 Charles

由于包含许多运行时检查(例如,所谓的篡改检查),该库可能不适用于某些项目;这些项目必须提供自己的版本。

华夏公益教科书