ada split() метод

Question

Я пытаюсь написать Ада, эквивалентную методу split() в Java или C++. Я должен ввести строку и целое число и вывести два отдельных строковых значения. Например: раскол «привет» и 2 вернется: «Первая часть он и вторая часть LLO»

код, который я имею следующим образом:

-- split.adb splits an input string about a specified position. 
-- 
-- Input: Astring, a string, 
--  Pos, an integer. 
-- Precondition: pos is in Astring'Range. 
-- Output: The substrings Astring(Astring'First..Pos) and 
--      Astring(Pos+1..Astring'Last). 
-------------------------------------------------------------- 

with Ada.Text_IO, Ada.Integer_Text_IO, Ada.Strings.Fixed; 
use Ada.Text_IO, Ada.Integer_Text_IO, Ada.Strings.Fixed; 

procedure Split is 

    EMPTY_STRING : String := "          "; 

    Astring, Part1, Part2 : String := EMPTY_STRING; 
    Pos, Chars_Read  : Natural; 

    ------------------------------------------------ 
    -- Split() splits a string in two.   
    -- Receive: The_String, the string to be split, 
    --   Position, the split index.   
    -- PRE: 0 < Position <= The_String.length(). 
    --  (Ada arrays are 1-relative by default) 
    -- Passback: First_Part - the first substring, 
    --   Last_Part - the second substring. 
    ------------------------------------------------ 
    function Split(TheString : in String ; Pos : in Integer; Part1 : out String ; Part2  : out String) return String is 
    begin 
    Move(TheString(TheString'First .. Pos), Part1); 
    Move(TheString(Pos .. TheString'Last), Part2); 
    return Part1, Part2; 
    end Split; 



begin           -- Prompt for input 
    Put("To split a string, enter the string: "); 
    Get_Line(Astring, Chars_Read); 
    Put("Enter the split position: "); 
    Get(Pos); 

    Split(Astring, Pos, Part1, Part2); 

    Put("The first part is "); 
    Put_Line(Part1); 
    Put(" and the second part is "); 
    Put_Line(Part2); 

end Split; 

Главная у меня возникают проблемы с возвратом двух отдельных значений строк и вообще всей функции split(). Любые указатели или помощь приветствуются. Спасибо

Answer 1

Вместо function рассмотрите вопрос о создании Split a procedure с двумя параметрами out, как вы показали. Затем определите, является ли Posпоследним индекс Part1 или первый индекс Part2; Я выбрал последнее.

procedure Split(
    TheString : in String; Pos : in Integer; 
    Part1 : out String; Part2 : out String) is 
begin 
    Move(TheString(TheString'First .. Pos - 1), Part1); 
    Move(TheString(Pos .. TheString'Last), Part2); 
end Split; 

Обратите внимание, что String индексов Positive:

type String is array(Positive range <>) of Character; 
subtype Positive is Integer range 1 .. Integer'Last; 

Answer 2

От глядя через код, который вы действительно нужно прочитать вообще на String type, потому что вы притягивая много ожиданий в других языках о том, как работать с ними, - которые Арен» t будет работать с ними. Стиль String Ada не является одним из его более гибких функций, поскольку они всегда фиксированная длина. Хотя есть способы обойти ограничения в такой ситуации, как вы описываете, было бы гораздо проще просто использовать Unbounded_Strings.

Ввод строки String в вашу функцию может оставаться от строки String, которая будет регулировать длину строки, которую вы ему предоставляете. Два выходных Unbounded_Strings затем просто устанавливаются на срезанные компоненты строки после вызова To_Unbounded_String() для каждого из них.

Answer 3

Учитывая ограничение основной программы, со всеми строками, ограниченных по размеру EMPTY_STRING. процедура с внешними параметрами - это правильный подход, при этом выделенное хранилище параметров выделяется вызывающим (в стеке, как это бывает)

Это не всегда так, поэтому стоит знать другой способ. Проблема заключается в том, как обращаться с данными, размер которых неизвестен до выполнения.

Некоторые языки могут предлагать только распределение времени выполнения в куче (через «новый» или «malloc») и могут получать доступ только к данным через указатели, оставляя множество беспорядочных проблем, включая доступ с конца данных (переполнение буфера) или правильно освободить память (утечки памяти, доступ к свободным указателям и т. д.)

Ada также позволит использовать этот метод, но обычно это не нужно и сильно не рекомендуется. Unbounded_String является оболочкой этого метода, а Bounded_String избегает выделения кучи, где вы можете принять верхнюю границу длины строки.

А также, Ada позволяет создавать структуры данных с переменным размером в стеке; метод просто включает в себя создание нового фрейма стека и объявление новых переменных, где вам нужно, с «объявить». Новые переменные могут быть инициализированы вызовами функций.

Каждая функция может возвращать только один объект, но размер этого объекта может быть определен во время выполнения. Таким образом, либо «Split» может быть реализован как 2 функции, возвращая Part1 или Part2, или он может вернуть запись, содержащую обе строки. Это будет запись с двумя дискриминаторами размера, поэтому я выбрал более простой вариант здесь. Результаты функции обычно создаются на месте (избегают копирования).

Для потока в вашем примере потребуется два вложенных блока Declare; если «Pos» может быть определен первым, они могут быть свернуты в один ...

procedure Split is 

    function StringBefore(Input : String; Pos : Natural) return String is 
    begin 
     return Input(1 .. Pos-1); 
    end StringBefore; 

    function StringFrom ... 

begin           
    Put("To split a string, enter the string: "); 
    declare 
     AString : String := Get_Line; 
     Pos  : Natural; 
    begin 
     Put("Enter the split position: "); 
     Get(Pos); 
     declare 
     Part1 : String := StringBefore(AString, Pos); 
     Part2 : String := StringFrom(AString, Pos); 
     begin 
     Put("The first part is "); 
     Put_Line(Part1); 
     Put(" and the second part is "); 
     Put_Line(Part2); 
     end; -- Part1 and Part2 are now out of scope 
    end;  -- AString is now out of scope 
end Split; 

Это, очевидно, может быть обернут в петле, с разными строками размера каждый раз, без проблем управления памяти.

Answer 4

Выполнение этого настолько тривиально, что я не уверен, почему вы потрудились сделать рутину для этого. Практически любая рутина, которую вы могли бы придумать, будет намного сложнее использовать в любом случае.

Front_Half : constant String := Original(Original'first..Index); 
Back_Half : constant String := Original(Index+1..Original'last); 

Выполнено.

Обратите внимание, что статические строки Ada: очень отличается от строк на других языках, таких как C или Java. Из-за их статического характера они лучше всего построены либо встроенными, как я сделал выше, либо как возвращаемые значения из функций. Поскольку функции не могут возвращать более одного значения, единственная унифицированная подпрограмма «split» просто не подходит для статической обработки строки Ada. Вместо этого вы должны сделать то, что я сделал выше, вызвать соответствующие процедуры из Ada.Strings.Fixed (и Tail) или переключиться на использование Ada.Strings.Unbounded.Unbounded_String вместо String.

Последний, вероятно, самый простой вариант, если вы хотите сохранить свое мышление Java в отношении обработки строк. Если вы хотите действительно узнать Аду, я бы настоятельно посоветовал вам научиться разбираться со статическим фиксированным способом String с Адой.