Почему рекурсивная процедура Паскаля не попадает в бесконечный цикл и почему она правильно использует следующий символ в каждом рекурсивном вызове

Delphi , Синтаксис , Циклы

Рекурсивная процедура Паскаля, подобная приведенной ниже, на первый взгляд может показаться, что она попадет в бесконечный цикл, однако на самом деле она завершается корректно:

procedure reverseWordRecursive;
var
  word : char;
begin
  read(word);
  if word = '.' then
    writeln
  else
  begin
    reverseWordRecursive;
    write(word)
  end;
end; {reverseWordRecursive}

При запуске кода вызов read(word) выполняется только один раз в начале процедуры. Пользователь не просится ввести один символ char при каждом рекурсивном вызове, а вводится целая строка символов.

Вопрос в том, почему процедура не попадает в бесконечный цикл при вызове read(word) и как она знает, какой следующий символ использовать в каждом рекурсивном вызове?

Ответ на этот вопрос заключается в том, что процедура Read() в Паскале, когда используется для чтения стандартного ввода, хранит все введенные символы в буфере, включая завершающий символ CR/LF (Enter).

Значение, возвращаемое процедурой Read(), зависит от типа аргумента, переданного в Read(). Например, если аргументом является строка, то все символы, кроме завершающего CR/LF, возвращаются (процедура ReadLn() также возвращает CR/LF). Если переменная является Char, то возвращается один символ, а остальные введенные символы остаются в буфере и могут быть прочитаны позже при повторном вызове Read().

В коде выше процедура read считывает стандартный ввод в буфер до нажатия Enter.

Допустим, вы ввели A, B, C и ., а затем нажали Enter. На этом этапе, поскольку параметр является char, первый введенный символ 'A' возвращается в ваш код.

Символ оценивается, и если он не равен '.', процедура вызывается рекурсивно. Однако в буфере остаются символы, поэтому следующий символ, 'B', считывается из буфера. То же самое происходит с 'C', а затем finally '.'.

Это завершает рекурсивные вызовы и запускает обратный обход стека, который происходит в обратном порядке: C, B и A.

Таким образом, процедура не попадает в бесконечный цикл и правильно использует следующий символ в каждом рекурсивном вызове, благодаря тому, что она считывает символы из буфера, а не запрашивает их у пользователя при каждом рекурсивном вызове.

Создано по материалам из источника по ссылке.

Описывается особенность работы рекурсивной процедуры Паскаля, которая считывает символы из стандартного ввода и обрабатывает их не запрашивая у пользователя при каждом рекурсивном вызове, а используя буфер, что предотвращает попадание в бесконеч

Комментарии и вопросы

Получайте свежие новости и обновления по Object Pascal, Delphi и Lazarus прямо в свой смартфон. Подпишитесь на наш Telegram-канал delphi_kansoftware и будьте в курсе последних тенденций в разработке под Linux, Windows, Android и iOS

:: Главная :: Циклы ::