Início / coding / Perguntas / 79300144
Accepted
Fedor
Asked: 2024-12-22 05:32:10 +0800 CST

Copiar a classe base virtual resulta na perda do objeto de propriedade shared_ptr

  • 772

Um colega de trabalho me mostrou este programa:

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

que apesar de inicializar shared_ptrcom new intimprime zero. Demonstração online: https://gcc.godbolt.org/z/n3Kxbc3Pf

Vejo que isso está de alguma forma relacionado à herança de diamante e à classe base virtual comum.

O programa tem algum comportamento indefinido ou está bem formado e o padrão exige a impressão de zero aqui?

c++

1 respostas

  1. Best Answer

    d = D( d )invoca Do operador de atribuição de movimento definido implicitamente (com uma cópia temporária de dcomo fonte de atribuição).

    [classe.copy.assign]/12 :

    Não é especificado se subobjetos que representam classes base virtuais são atribuídos mais de uma vez pelo operador de atribuição de cópia/movimentação definido implicitamente.

    Neste caso, se a atribuição da Abase for realizada mais de uma vez:

    • A primeira vez deixará o lado direito std::shared_ptr<int>em um estado movido, ou seja, vazio.
    • Qualquer atribuição subsequente atribuirá um agora vazio shared_ptra d.u, tornando-o vazio também,

    o que leva ao resultado observado.

    • 12

relate perguntas