析构函数调用的次数超过了它应该调用的次数。MSVC中的错误与否？

这个程序：

#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;
}

输出B~B~B~B，即三次调用析构函数，为什么？

仅在 MSVC 中。Clang 和 GCC 输出B~B~B（最有可能是正确的）。

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

它是 MSVC 编译器中的错误吗？或者这是正确的行为？

（Visual Studio 2019 最新，cl.exe版本 19.28.29337）

回答

#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>