String Arrays в Ada

Question

У меня есть программа в Ada95, в которой я должен создать массив строк. Этот массив может содержать строки переменной длины.

Пример: Я объявил массив, в котором все индексы могут хранить строки размером 50. Когда я назначаю меньшую строку указанному выше массиву, я получаю «Ошибка Constraint».

Код:

procedure anyname is 
    input_array : array(1..5) of String(1..50); 
begin 
    input_array(1):="12345"; 
end anyname; 

Я попытался создать массив Unbounded_Strings. Но это тоже не работает. Может ли кто-нибудь сказать мне, как хранить этот «12345» в вышеупомянутом массиве строк?

Answer 1

Если вы используете Unbounded_String, вы не можете присвоить строковый литерал к нему напрямую. Строковые литералы могут иметь тип String, Wide_String, или Wide_Wide_String, но ничего больше; и назначение в Ada обычно требует, чтобы пункт назначения и источник были одного типа. Чтобы преобразовать String к Unbounded_String, вам нужно вызвать To_Unbounded_String функции:

procedure anyname is 
    input_array : array(1..5) of Ada.Strings.Unbounded.Unbounded_String; 
begin 
    input_array(1) := Ada.Strings.Unbounded.To_Unbounded_String ("12345"); 
end anyname; 

Вы можете сократить имя, используя пункт use; некоторые другие программисты могли бы определить свою собственную функцию переименования, возможно, даже с помощью одинарного "+" оператора:

function "+" (Source : String) return Ada.Strings.Unbounded.Unbounded_String 
    renames Ada.Strings.Unbounded.To_Unbounded_String; 

procedure anyname is 
    input_array : array(1..5) of Ada.Strings.Unbounded.Unbounded_String; 
begin 
    input_array(1) := +"12345"; -- uses renaming "+" operator 
end anyname; 

Не все нравится этот стиль.

Answer 2

Вы можете использовать Ada.Strings.Unbounded, проиллюстрированный here, или вы можете использовать статический оборванный массив, иллюстрированный here. В последнем подходе используется массив псевдонимов, каждый из которых может иметь разную длину.

type String_Access is access constant String; 

String_5: aliased constant String := "12345"; 
String_6: aliased constant String := "123456"; 
String_7: aliased constant String := "1234567"; 
... 

Input_Array: array (1..N) of 
    String_Access := 
     (1 => String_5'Access, 
     2 => String_6'Access, 
     3 => String_7'Access, 
     -- etc. up to N 
    );