Question

这可能听起来像一个小问题，但在我创建的程序中，我有一个递归函数，我在其中声明指向类'QuadTree'的指针。

即。：

void check_tree(QuadTree* p_qtree, Object* p_obj)
{
  if (!p_qtree->is_leaf())
  {
    QuadTree** children = p_qtree->get_children();  // <-- WHAT I'M REFERRING TO
    for (int i = 0; i < 4; i++)
      check_tree(children[i], p_obj);
  }
  else
  {
    ...
  }
}

在递归函数中声明'QuadTree **'是否会降低程序的效率，因为重复调用函数或效果可忽略不计？在函数之外声明它是否更好？如下所示？

QuadTree** children;   // <-- MOVE DECLARATION TO HERE
void check_tree(QuadTree* p_qtree, Object* p_obj)
{
  if (!p_qtree->is_leaf())
  {
    children = p_qtree->get_children();
    for (int i = 0; i < 4; i++)
      check_tree(children[i], p_obj);
  }
  else
  {
    ...
  }
}

我最初的想法是，在递归函数中声明指针指针的效果可以忽略不计，因为它只为指针而不是整个类分配内存，但我不太确定。任何反馈都会很棒。

Answer 1

性能方面，在分配大小为n的堆栈和大小为m的堆栈之间没有区别（它们都编译为读取寄存器，添加常量值，并将值存储回同一寄存器）。 / p>

内存方面，通过在函数内声明变量，每个堆栈级别将使用额外的8个字节（在64位机器上）或4个字节（在32位机器上）。 IMO，可以忽略不计。此外，当安全地完成此操作时，编译器可能能够优化它。

正确性，在外部分配内存会使您的函数不可重入。当您使用多个线程时，这可能是一个问题。

Answer 2

这种行为称为two-star programming，通常被认为是不好的。

您可以轻松地使用引用（这些引用都是“高性能”和可读的）：

void check_tree(QuadTree& p_qtree, Object& p_obj) {
    if (!p_qtree.is_leaf()) {
        QuadTree& children = p_qtree.get_children();  // should return a reference to QuadTree
        for (int i = 0; i < 4; i++)
            check_tree(children, p_obj);
    }
    // ...
}

就性能而言，每个指针都是一个额外的间接层。但编译器优化的方式是无限的。

Answer 3

在这种情况下，将其声明为外部将导致您出现错误：第二次递归调用check_tree时，如果另一个内部存在非叶子，则children var将被覆盖非叶。

check_tree
   children = something
   recursive check_tree when i=0
       children = overwritten with something
   recursive check_tree when i=1 -> has the incorrect "children".

在C ++中声明指针指针的效率

3 个答案: