ada - 为什么没有注释版本的 Ada 标准库

Question

我是源代码注释的忠实粉丝，但 Ada 标准库中的注释充其量只是简陋。据我了解，库的接口是用语言定义定义的，但实现留给编译器制造商。我经常想知道它们是如何做到的，因为我在手册中看到的纯函数名称、参数和其他定义通常不能解释各个子程序的确切作用，并且留下了很多解释。我希望有一些与 QT 库类似的文档。

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

Answer 1

例如，ARM 第A.18.5节在第 1 段中Ada.Containers.Hashed_Maps说 - 通常称为“A.18.5 (1)” -

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

所以我猜实施者已经将其作为说明阅读。

对于 Hashed_Maps，您将在A.18.5 (46)中看到指向 A.18.4 的链接，该链接描述了 Maps 的通用语义；并且Length，例如，在(25)处。

AdaCore Help > GNAT中的 GPS GPL具有指向 ARM 本地副本的链接（GPS GPL 2014 仅升级到 ARM2005）；我不知道 Debian 版本是做什么的。

（事情就是这样；这并不是要否认你对它可能会变得更好有什么看法！）

Answer 2

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

Ada 标准库在标准（Ada 参考手册）中有非常详细的描述，在Annotated Ada 参考手册中更详细。

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