我怎么能递归地编写这个函数？

Question

这是哈希表结构：

struct hash_table
{
  entry_t buckets[No_Buckets];
};

这是入口结构：

struct entry
{
  int key;       // holds the key
  char *value;   // holds the value
  entry_t *next; // points to the next entry (possibly NULL)
};

该函数的目的是返回哈希表的大小（它包含多少个 !NULL 条目），但我不确定我应该如何递归地编写它。

int hash_table_size(hash_table_t *ht)
{
  int counter = 0;
  for (int i = 0; i < No_Buckets; i++)
  {
    entry_t *current_entry = (ht->buckets[i]).next;
    if (current_entry != NULL)
      {
        counter++ ;
      }
  }
  return counter;
}

Answer 1

为了回答您的问题，递归通常意味着当前活动的函数使用不同的参数调用自身。

所以，如果你想将上面的循环实现为递归函数，它会是这样的：

int countBuckets(struct entry *pEntry, int position)
{
     int count = 0;
     if (pEntry->next)
          ++count;
     if (++position < NoBuckets)
          count += countBuckets(++pEntry, position);
     return count;
}

此函数获取条目数组（因此是 *），检查第一个条目是否有后续条目，然后调用自身并包含下一个条目。

正如我在 cmets 中所说，“循环可以很好地完成工作”。 附带说明一下，传递条件是必要的，否则你会遇到“无限递归”，导致程序崩溃。

附带说明，如果您想计算链表的成员数，则代码需要更改如下：

struct hash_table
{
  entry_t *buckets;
};

int hash_table_size(hash_table_t *ht)
{
    entry_t *entry;
    int counter = 0;
    for (entry = ht->buckets; entry; entry->next)
        counter++ ;

    return counter;
}

或者，如果你真的想递归地做：

int countBuckets(entry_t *entry)
{
    int counter = 0;
    if (entry)
        counter += countBuckets(entry->next) + 1;

    return counter;
}