"find"的递归版本和非递归版本有什么区别?



《加速C++编程》一书的第205页中,有以下两种find实现

 template <class In, class X> In find(In begin, In end, const X& x)

我有兴趣知道以下两个实现在性能方面有什么不同(编译后是否真的相同?

非递归

template <class In, class X> In find(In begin, In end, const X& x)
{
    while (begin != end && *begin != x)
        ++begin;
    return begin;
}

递归的

template <class In, class X> In find(In begin, In end, const X& x)
{
    if (begin == end || *begin == x)
        return begin;
    begin++;
    return find(begin, end, x);
}

通过使用 Kerrek 建议的编译器资源管理器,我得到了以下内容

非递归 https://godbolt.org/g/waKUF2

递归 https://godbolt.org/g/VKNnYZ

编译后好像一模一样?(如果我正确使用该工具..对不起,我对C++很陌生)

递归函数将在堆栈上添加额外的元素。这可能会导致堆栈溢出错误,具体取决于开始递归之前的堆栈状态以及递归的次数。

每个函数调用将数据推送到包含返回地址的堆栈上。这一直持续到找到数据为止。此时,所有函数都将开始返回最后一个函数返回的值,直到我们最终回到调用原始find的函数。

为每个函数调用存储的确切数据量取决于调用约定和体系结构。在堆栈上推送数据也会产生开销,这会使算法变慢,但这取决于算法。

这严格适用于未优化尾部调用的递归。

在大多数情况下,递归速度较慢,并且也占用了更多的堆栈。递归的主要优点是,对于像树遍历这样的问题,它使算法更容易或更"优雅"。

查看一些比较:递归与迭代

相关内容

  • 没有找到相关文章

最新更新