析构函数调用的次数超过了它应该调用的次数。MSVC中是否有Bug？

Question

#include <iostream>

using namespace std;

struct B {
    B() { cout << "B"; }
    //B(const B& b) { cout << "copyB"; }
    ~B() { cout << "~B"; }
};

struct C : B {

};

void f(B b) {

}

int main() {
    C c;
    f(c);
    return 0;
}

仅在MSVC中。Clang和GCC输出b~b~b（这很可能是正确的）。

有趣的是：如果取消copy-ctor注释，它将输出bcopyb~b~b，这是正确的（析构函数调用了两次）。

是MSVC编译器中的bug吗？还是正确的行为？

Answer 1

如果打印地址：

#include <stdio.h>

struct B {
    B() {  printf(" B() <%p>\n", (void*)this); }
    ~B() { printf("~B() <%p>\n", (void*)this); }
};

struct C : B { };

void f(B b) { }

int main() {
    C c;
    f(c);
}

输出为：

 B() <000000A013FFFAC4>
~B() <000000A013FFFAA0>
~B() <000000A013FFFBA4>
~B() <000000A013FFFAC4>

正如您所看到的，没有对象被破坏2次。似乎有一个临时的参与，据我所知，这是不允许的。这让我相信这是一个bug。只有当复制构造函数很琐碎时，才会发生这种情况。由于析构函数不是微不足道的，所以它是可观察的行为，并且不在as-if规则中涵盖。