Ada 访问私有类型的属性时遇到问题

我正在使用Ada.Containers.Unfinite_Vectors来实现向量，但每当我执行以下操作时：

size := myVector'Length;

我得到这个错误：

prefix for "Length" attribute may not be private type

---

如何访问此属性？

Ada.Containers.Unfinite_Vectors

定义了一个获取长度的函数。它被称为

Length

因此，在您的代码中：

size := myVector.Length; -- Ada 2005/2012
size := myVectorPackage.Length (myVector); -- Ada 95

---

属性

'Length

仅对数组类型有效。

啊，我真傻。我一直在误读说明书。我想我只是需要另一双眼睛。非常感谢。