构造函数中的 const 参数会导致 stackoverflow

Question

我在 VS2005 C++ 编译器中发现了这种奇怪的行为。情况是这样的：

我无法发布代码，但情况很简单。

这是初始代码：它工作完美

class Foo {
     public:
     Foo(Bar &bar) { ... }
}

构造函数实现存储引用，设置一些成员......确实没有什么特别的。

如果我按以下方式更改代码：

class Foo {
     public:
     Foo(const Bar &bar) { ... }
}

我已将 const 限定符添加到唯一的构造函数例程参数中。

它编译正确，但编译器输出一条警告，指出例程 Foo::Foo 将导致堆栈溢出（即使执行路径不构造任何对象 Foo）；实际上，这种情况发生了。

那么，为什么没有 const 参数的代码可以完美运行，而带有 const 限定符的代码却会导致堆栈溢出呢？什么会导致这种奇怪的行为？

Answer 1

尝试使用 explicit 关键字？

我的猜测是，使用 const，您声明了从 Bar 到 Foo 的自动转换；如果您已经有任何类似的从 Foo 到 Bar 的自动转换，那么会溢出吗？

Answer 2

导致堆栈溢出的唯一方法（除了编译器中的错误，在我从事 C++ 的 15 年中，我发现与我自己的错误相比很少见）是 Foo(const Bar& ;) 创建一个 Foo 对象，并向其传递一个 Bar 对象。此类错误可能很微妙，很难通过查看代码来发现。

但如果您有 VS2005，那么您手头上就有一个非常好的调试器。在该构造函数中放置一个断点，运行程序直到遇到断点，然后再次运行，直到第二次遇到断点。检查堆栈将向您展示它是如何发生的。

如果不是每次调用该构造函数都会导致堆栈溢出，则可以添加以下代码：

namespace { unsigned int recursion_detector = 0; }

Foo::foo(const Bar& bar)
{
  if(recursion_detector++)
    ++recursion_detector; // meaningless code just to put a breakpoint here
  // rest of constructor code
}

并在指示的行上放置一个断点，当递归发生时将命中该断点。

Answer 3

您可以将参数从 const Bar &bar 更改为 const Bar *bar。
它会工作得很好，您只需要更改管理参数栏的方式（从引用到指针）。

对象初始化会是这样的：

Bar mybar;

...

Foo myfoo(&mybar);


class Foo {
     public:
     Foo(const Bar *bar) { ... }
};

这并没有那么糟糕......