如何在 Ada 中获取向量长度？

Question

示例源代码http://www.waratuman.com/2010/06/02/vectors_in_ada/

with Ada.Containers.Vectors;
with Ada.Integer_Text_IO;
with Ada.Text_IO;
use Ada.Containers;

procedure Euler3 is

    package Integer_Vectors is new Vectors(Natural, Integer);

    Numbers : Integer_Vectors.Vector;
    Cursor : Integer_Vectors.Cursor;

begin

    -- Get some content
    Integer_Vectors.Append(Numbers, 43);
    Integer_Vectors.Append(Numbers, 44);
    Integer_Vectors.Append(Numbers, 45);

    Cursor := Integer_Vectors.First(Numbers);
    while Integer_Vectors.Has_Element(Cursor) loop
        Ada.Integer_Text_IO.Put(Integer_Vectors.Element(Cursor));
        Ada.Text_IO.New_Line;
        Integer_Vectors.Next(Cursor);
    end loop;

end Euler3;

如何从上面的代码中得到Integer_Vectors的长度？

Answer 1

没关系，找到了

Integer_Vectors.Length(Numbers)

或者，更简洁，

Numbers.Length