将 const 引用绑定到临时对象时，为什么析构函数会被调用两次？

Question

读完 Herb Sutter 博客上的这篇文章后，我做了一些实验，发现了一些让我困惑的事情。我正在使用 Visual C++ 2005，但如果这依赖于实现，我会感到惊讶。

这是我的代码：

#include <iostream>

using namespace std;

struct Base {
    //Base() {}
    ~Base() { cout << "~Base()" << endl; }
};

int main()
{
    const Base & f = Base();
}

运行时，它会显示“

~Base()

”两次...但是如果我取消注释构造函数，它只会显示一次！

有人对此有解释吗？

Answer 1

这取决于实现。

该标准允许在将临时值绑定到 const 引用时发生复制。在您的情况下，VC++ 仅在隐式定义构造函数时才执行复制。这是出乎意料的，但却是允许的。

CWG 第 391 期 - 需要将短期引用直接绑定到右值 已针对 C++11 修复了此问题。