检测递归函数是由另一个函数而不是由函数本身调用的最佳方法是什么?

问题描述

假设我有一个递归函数rec_fun(),它有两个代码块,block_1block_nblock_1仅在rec_fun()之类的另一个函数最初调用main()时必须执行一次,而block_n必须在每次rec_fun()调用时执行,无论是另一个函数还是其他函数。按功能本身。

rec_fun()
{
   {
      ...
      //block_1
      //must be executed on first call only
      ...
   }

   {
      ...
      //block_n
      //with recursive call and exit condition
      ...
   }
}

实现此目标的最佳方法是什么?我想过几种方法,例如使用计数器i作为最初以0传递的rec_fun()的参数,并在随后的调用中将其递增,以便该函数确定是否是第一次调用。另一种方法是将block_n放在另一个帮助函数中,然后从rec_fun()进行调用。但是在第一种方法中,我必须传递一个不必要的参数0,第二种方法创建一个不必要的函数。据您介绍,实现此目标的最佳方法是什么?

如果您提供一些有用的链接来学习递归,将不胜感激。

解决方法

将其隐藏在间接层之后:

func()
{
   //block_1
   // compute what you need  
   // and pass it to rec_fun either as value,or as a pointer

   rec_func(&block_1_result);
}

并确保仅向用户公开func

第二种方法创建了不必要的功能

是吗?除非您的环境非常有限,例如嵌入式设备的内存非常有限,否则这实际上不是问题。并且该功能不是“不必要的”。如果您认为用户不需要两个功能,则没有必要,但从实现的角度考虑,这是必要的:实现需要它(实际上,这是一个解决方案,但参数仍然成立)。

,

我将完全违背您的直觉,并建议结合您认为不合适的两种方法。因为它们合适。我将使用额外的参数创建一个递归实现,但是为了方便起见和“隐藏”,我还将创建一个包装函数:

void rec_func(bool init) 
{
    if (init) {
        /* initialization logoc */
    }
    /* common recursive code */
    rec_func(false);

}

void wrapper_func(void)
{
    rec_func(true);
}

注意,这里没有什么是“不必要的”。额外的参数有助于将功能逻辑保持在一个单元中。包装器功能可帮助调用者避免混乱不相关的参数。

,

C语言不会向函数提供有关其调用者的任何信息,因此没有可移植的方法来测试是从另一个函数调用rec_fun()还是从其自身递归调用。

可以通过向函数传递一个额外的参数(对于外部调用和递归调用使用不同的值)来实现您的目标。这既麻烦又容易出错。

解决问题的标准方法是使用辅助函数rec_fun1():从其他函数调用主函数rec_fun(),从rec_fun()调用递归辅助函数,然后从递归调用rec_fun1()本身。

一个典型的例子是mergesort(),它将分配临时工作数组并调用使用该临时数组的递归mergesort1()来执行自上而下的合并排序算法。从调用返回到mergesort1()后,mergesort()释放临时数组并返回到调用方。

,

您的第二个解决方案通常是正确的。

第二个功能与其他任何功能都没有什么不同。您有一个函数定义了实现外部调用程序希望您的代码执行的功能所需的功能。您还有另一个定义要递归执行的操作。

这些人显然做不同的事情并满足不同的要求。因此,完全以不同的功能实现它们是适当的。

可以将它们组合成一个函数,该函数根据传递的参数来改变其行为。如果行为上的差异足够小,那么这可能是一个合理的方法-但我想说,让一个功能执行两种不同的事情通常是一件麻烦事。唯一的问题是,它是选择您忽略它的笨拙的小杂物,还是选择它而不应该忽略它的大杂物。

因此,要确保第二个函数不会被某些“局外人”意外地调用,通常是将其设为静态函数,因此您将具有以下一般结构:

foo.h

#pragma once
int foo(int);

foo.c

typedef result_t /* whatever */;

static result_t blocka(int) {
    // stuff for block a
}

static int blockb(result_t const *) {
    // stuff for block b
}

int foo(int input) {
   result_t internal_result = blocka(input);
   return blockb(&internal_result);
}

在这种情况下,我分别将blockablockb编写为单独的“不必要”功能。由于我不知道您的区块a或区块b做什么,因此很难猜测这是否合理。但是,我不会首先考虑某个功能是否是必需的。相反,对于几乎所有具有合理定义的接口和功能的代码块,编写体现该代码块的功能都应或多或少是默认值。

例如,如果您遇到if / then / else这种情况:

if (foo) {
    // do foo stuff
} else {
    // do not-foo stuff
}

考虑/询问自己是否可以给“ do foo stuff”块和/或“ do not-foo stuff”块取一个有意义的名称。也就是说,您能说出他们在做什么吗?

如果是这样,则有合理的机会应该将它们实现为函数,然后您的if / then / else块可以成为更具可读性,更高级的指南。发生了什么事

if (data_sorted(input))
    process_sorted_data(input);
else
    process_random_data(input);

将这些代码块移入(命名合理的)函数中,使读者更容易理解代码背后的意图,而不必从内容中分辨出意图。 / p>

,

您可以使用静态变量作为计数器。

rec_fun()
{
   static int i = 0;

   if (++i == 1) {
      ...
      //block_1
      //must be executed on first call only
      ...
   }

   {
      ...
      //block_n
      //with recursive call and exit condition
      ...
   }

   --i; // internal house keeping to track whether internal,or external caller 
}
,

您可以传递在向下递归时更改的参数,并根据参数的条件使块1运行。如果对块1和2使用if / else if,那么您就很好。

your_func(the_param){
    if(the_param) {
        // the code that only runs on the first call
        }
    else if(the_param) {
        // the code that runs every other call
        }