рекурсивная функция))

[vedro-compota]

Уважаемые форумчане! Уже второй день решаю простенькую(с точки зрения объёма кода) задачку и решить не могу ! моя рекурсивная функция,по идее, должна считать число вхождений элемента "b" в список. Я передаю в функцию указатель на последний элемент списка. Список состоит из записей ( type record) одно из полей информационное( у меня это integer) а другое-содержит указатель на предыдущий элемент. что-то не так , выполнял пошагово- так там ужас какой-то при исполнии компилятор(строка просто выделенная- не знаю как назвать)) заходит в функцию уже после того, как r=nil. не знаю что и думать. о- это просто глобальная переменная(пытался использовать чтобы сравнить результат с результатом ,который возвращает функция- но толку от этого мало) помогите, пожалуйста ))
вот она, эта функция -
Код Delphi

function fg ( r: pelement ; b:integer):integer; //рекурсивная функция
begin
  if (r=nil)  then  fg:=0;  // условие выхода из рекурсии ( результат преобретает конкретное значение)
  if (r<>nil) and (b=r^.infa) then
  begin
    o:=o+1;
    r:=r^.ukazatel;
    fg:=1+fg(r,b);
  end;
  if (r<>nil) and (b<>r^.infa) then  // если значение очередного элемента списка не совпадает
  begin                             // с заданным значением b то просто вызываем функцию ещё раз.
    r:=r^.ukazatel;
    fg:=fg(r,b);
  end;
 
end;

если нужно могу выложить код всей программы- она небольшая))

[vedro-compota]

procedure TForm1.Button2Click(Sender: TObject);
var zap: telement;
    p:pelement;
    uk: pelement;
    i,n,ot,b  : integer;
begin
  ot:=0;
  o:=0;
  z:=0;
  label5.Caption:='';
  label3.Caption:='';
  n:=0;
  uk:=nil;
  while n<=stringgrid1.colcount-1 do // формирую список
  begin
    if length(stringgrid1.Cells[n,0])<>0 then
    begin
      new(p);
      p^.ukazatel:=uk;
      uk:=p;
      p^.infa:=strtoint(stringgrid1.cells[n,0]);
      n:=n+1;
    end
    else
    n:=n+1;
  end;
  b:=strtoint(edit2.text);  // узнаю какой элемент меня интересует
  ot:=fg(uk, b);
  label3.Caption:=inttostr(ot); // ответ ( вывожу на форму)

[Serge_Bliznykov]

абсолютно не думая, просто "пальцем в небо"...

а разве при r=nil не надо из процедуры выходить?
вот так:

function fg ( r: pelement ; b:integer):integer; //рекурсивная функция
begin
    // условие выхода из рекурсии ( результат преобретает конкретное значение)
  if (r=nil)  then  begin fg:=0; Exit end;  
 ....

[vedro-compota]

прям так и пишется? )) после "exit" не надо точку с запятой? хотя, сейчас попробую.)) спасибо за ответ))
-------------------------------------------------------------------------------------------------------
попробовал сделать как вы посоветовали, но ничего не изменилось )) для трёх элементов список (1, 2, 3) моя функция при запросе для b=2 выдаёт ответ "fg=0" , а глобальная переменная "о=1" ( для глобальной переменной результат, получается, правильный)
(дело в том, что я очередной элемент я добавляю в начало списка- потому функция перебирает значения в последовательности 3 - 2 - 1 )
не пойму в чём ошибка. да и из рекурсии выход выполняется, как только функция не вызывается ещё раз :

if (r=nil)  then  fg:=0;

а во всех остальных случаях ( когда ещё есть с чем сравнивать) функция вызывает сама себя.......вот так, если элемент в списке оказался равным элементу "b" :

fg:=1+fg(r,b);

и вот так , если эти элементы (целые числа) различны:

 fg:=fg(r,b);

то есть просто вызываю функцию ещё раз (не наращивая значение). вот такие у меня рассуждения по поводу реализации функции. в чём же ошибка?

[vedro-compota]

Serge_Bliznykov, на тебя вся надежда. на 3-ёх форумах на мою просьбу отклинулся только ты.......можно на ты?
(товарищи модераторы не баньте меня за второе подряд сообщение- я и так предыдущее три раза редактировал)))
-----------------------------------------------------------------------------------
не дождался вашего ответа сегодня- дождусь завтра))

[Serge_Bliznykov]

и на будущее, при наличии исходного кода, помочь намного легче!!!______________________

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

и ещё. я чуть подшаманил логику...
НО! У Вас БОЛЬШАЯ ошибка в логике работы со списком! Список создали и заполнили.
А кто его удалять/освобождать память будет?! Пушкин?!
(я код удаления не писал. возьмите по поиску, тут на форуме полно примеров работы с односвязным списком)

[vedro-compota]

буду делать, как вы сказали ) мне вот буквально час назад задачу эту объяснили ), если кому интересно:
ошибка была в том, что два последние условия(if) не были полностью независимы друг от друга . в результате если элемент обнаруживался в списке ,выполнялась последовательность команд:

r:=r^.ukazatel;
fg=1+fg(r,b);

далее (если следующий элемент списка не равен заданному) значение функции просто "затирается" так как следующее условие (b<>r^.infa) оказывается верным, то есть вместо fg=1+fg(r,b); (что было нужно) мы получаем: fg=fg(r,b); (что не верно)
соответственно мы должны исключить возможность одновременного выполнения

r:=r^.ukazatel;

fg:=1+fg(r,b);

и

r:=r^.ukazatel;
    fg:=fg(r,b);

этого можно достигнуть переписав функцию в виде) :
f

unction fg ( r: pelement ; b:integer):integer; //рекурсивная функция
begin
  if (r=nil)  then begin Result:=0; end;  // условие выхода из рекурсии ( результат преобретает конкретное значение)
  if (r<>nil) and (b=r^.infa) then
  begin
    o:=o+1;
    Result:=1+fg(r^.ukazatel,b);
  end;
  if (r<>nil) and (b<>r^.infa) then  // если значение очередного элемента списка не совпадает
  begin
    Result:=fg(r^.ukazatel,b);
  end;

end;

----------------------------------------------------
Спасибо , Serge_Bliznykov'у ) буду следовать его советам)

[Serge_Bliznykov]

1) выкинь глобальную переменную o
2) я же предложил чуть другой вариант (был во вложении).
Объедив идеи, получаем код:

function fg ( r: pelement ; b:integer):integer; //рекурсивная функция
begin
  // условие выхода из рекурсии ( результат преобретает конкретное 
  значение)
  if (r=nil)  then fg:=0   
  else  //f (r<>nil) 
    begin
     if (b=r^.infa) then 
        fg:=1+fg(r^.ukazatel,b)
     else 
          // если значение очередного элемента списка не совпадает
          // с заданным значением b то просто вызываем функцию ещё раз.
        fg:=fg(r^.ukazatel,b);
    end;
end;

[vedro-compota]

глобальная переменная была для контроля над бесконтрольной функцией)) (хотя и не помогала).

Да, вы правы, так ещё красивее, спасибо))