主页 / coding / 问题 / 79300144
Accepted
Fedor
Asked: 2024-12-22 05:32:10 +0800 CST

复制虚拟基类导致丢失 shared_ptr 所拥有的对象

  • 772

一位同事向我展示了这个程序：

#include <iostream>
#include <memory>

struct A {
    std::shared_ptr<int> u{ new int };
};

struct B : virtual A {};
struct C : virtual A {};
struct D : B, C {};

int main() {
    D d;
    d = D( d );
    std::cout << d.u;
}

尽管初始化shared_ptr为new int打印零。在线演示：https ://gcc.godbolt.org/z/n3Kxbc3Pf

我发现它有某种与菱形继承和公共虚拟基类相关的东西。

该程序是否存在任何未定义的行为，或者该程序格式正确并且标准要求在此处打印零？

c++

1 个回答

  1. Best Answer

    d = D( d )调用D的隐式定义的移动赋值运算符（以的临时副本d作为赋值源）。

    [class.copy.assign]/12：复制代码

    未指定表示虚拟基类的子对象是否由隐式定义的复制/移动赋值运算符多次赋值。

    在这种情况下，如果基数的分配A执行多次：

    • 第一次将使右手std::shared_ptr<int>处于移动状态，即空的状态。
    • 任何后续分配都会将现在shared_ptr为空的 分配给d.u，使其也变为空，

    从而导致了观察到的结果。

    • 12

相关问题