为什么没有评论版的Ada标准库

Question

我是源代码评论的忠实粉丝，但Ada标准库中的评论充其量只是斯巴达。我的理解是，库的接口是用语言定义定义的，但实现由编译器制造商完成。我常常想知道他们是如何做到这一点的，因为我在手册中看到的纯函数名称，参数和其他定义通常不能解释各个子程序究竟做了什么，并留下了很多解释。我期待QT库中的一些文档。

为什么没有对每个函数都有大量注释的库的定义？

Answer 1

例如，Ada.Containers.Hashed_Maps的ARM部分A.18.5在第1段中说明 - 通常称为“A.18.5（1）” -

  

通用库包Containers.Hashed_Maps具有以下声明：

所以我猜实现者已将此作为指令阅读。

在Hashed_Maps的情况下，您会在A.18.5 (46)看到指向A.18.4的链接，该链接描述了地图的常见语义;例如，Length位于(25)。

来自AdaCore的GPS GPL 帮助＆gt; GNAT 具有指向ARM本地副本的链接（GPS GPL 2014仅适用于ARM2005）;我不知道Debian版本的功能。

（这就是它的原因;这并不是否认你对如何做得更好有所了解！）

Answer 2

听起来你在错误的地方寻找文档。

Ada标准库在标准（Ada Reference Manual）中有详细描述 - 更详细地介绍了Annotated Ada Reference Manual。

Ada标准库的各个实现的源文件不是标准库应该如何工作的文档。