Почему нет прокомментированной версии стандартной библиотеки Ada

Question

Я большой поклонник комментариев исходного кода, но комментарии в стандартной библиотеке Ada в лучшем случае спартанские. Насколько я понимаю, интерфейс библиотеки определяется с помощью определения языка, но реализация оставлена ​​на усмотрение производителя компилятора. Я часто задавался вопросом, как они это делают, поскольку чистые имена функций, параметры и другие определения, как я их вижу в руководстве, часто не объясняют, что именно делают соответствующие подпрограммы, и оставляют многое для интерпретации. Я бы ожидал некоторую документацию по линии библиотеки QT.

Почему нет определения библиотеки с подробными комментариями для каждой функции?

Answer 1

Похоже, вы ищете документацию не в том месте.

Стандартная библиотека Ada подробно описана в стандарте ( Справочное руководство Ada), а еще более подробно - в Справочном руководстве по Antatated Ada.

Исходные файлы отдельных реализаций стандартной библиотеки Ada не являются документацией о том, как должна работать стандартная библиотека.

Answer 2

Например, раздел ARM A.18.5 для Ada.Containers.Hashed_Maps говорит в пункте 1 - который обычно упоминается как "A.18.5 (1)" -

Универсальный пакет библиотеки Containers.Hashed_Maps имеет следующее объявление:

так что я предполагаю, что разработчики прочитали это как инструкцию.

В случае Hashed_Maps вы увидите в A.18.5 (46) ссылку на A.18.4, которая описывает общую семантику Карт; а также LengthНапример, находится в (25).

GPS GPL из AdaCore Справка> GNAT имеет ссылки на локальную копию ARM (GPS GPL 2014 подходит только для ARM2005); Я не знаю, что делает версия Debian.

(Так оно и есть; это не значит, что вы не знаете, как это может быть лучше!)