使用类型 String ,你必须 - 与Ada中的其他数组类型一样 - 填充数组中的所有位置。
String
但是有很多技巧:
declare Text : constant String := "Ada"; begin ... end;
declare subtype Five_Characters is String (1 .. 5); Text : Five_Characters := (others => ' '); begin Text (2 .. 4) := "Ada"; ... end;
使用 Ada.Strings.Unbounded :
Ada.Strings.Unbounded
declare use Ada.Strings.Unbounded; Text : Unbounded_String; begin Text := To_Unbounded_String ("Ada"); ... end;
代码不正确,您必须指定5个字符,例如
declare Text : String(1..5); begin Text := "ada "; end;
或指定范围
declare Text : String(1..5) := (others => ' '); -- Init to spaces begin Text(1..3) := "ada"; -- Text now contains "ada " end;
或使用其中一个可用的字符串处理包。