如何在 Ada 中创建一个动态分配的数组?

How to create a dynamically allocated array in Ada?

正如问题所说,我想在 Ada 中创建一个动态分配的数组。类似于 C++ std::vector 即,我不想像完成 here 那样将数组的长度存储在单独的变量中。由于 Ada 支持泛型,是否可以在 Ada 中创建类似 std::vector 的功能?

标准库包括 Ada.Containers.Vectors (RM A.18.2)