Início / coding / Perguntas / 79543829
Accepted
simply lemon
Asked: 2025-03-30 03:59:57 +0800 CST

Construtor de cópia chamado ao empurrar objeto para std::vector

  • 772
#include <iostream>
#include <vector>

class Car{
  public:
    int weight;

    Car(int weight): weight(weight){
      
    };

    Car(const Car& other){
        std::cout<<"copied!"<<std::endl;
        this->weight=other.weight;
    }
};

int main() {
    std::vector<Car> vec;
    vec.push_back(Car(1));
    return 0;
}

No código acima, de alguma forma, quando eu empurro Car(1) para vec, o construtor de cópia na classe Car é chamado. Por que o construtor de cópia é chamado? Não estou copiando nada aqui.

c++

3 respostas

  1. Best Answer

    Você está copiando, pois sua Carstruct não implementa semântica de movimento. A cópia é do temporário com o qual você construiu Car(1)para o objeto criado no vetor. Usar emplace_backpara construir diretamente o objeto no vetor sem o objeto temporário evitará isso.

    #include <iostream>
#include <vector>

struct Car {
    int weight;

    Car(int weight) : weight(weight) { }

    Car(const Car& other) : weight(other.weight) {
        std::cout << "copied!\n";
    }
};

int main() {
    std::vector<Car> vec;
    vec.emplace_back(1);
}

    Observe que, mesmo usando, emplace_backvocê ainda poderá ver construtores de cópia chamados se o vetor tiver que ser realocado.

    • 10

  2. Um pouco de elaboração sobre o tópico devido ao fato de você ter rotulado sua pergunta com move-semanticstag. Minha suposição é que você esperava que seu código expusesse essa semântica aqui e, portanto, sua surpresa aqui.

    Como você provavelmente sabe, no C++ 11 todos os contêineres foram atualizados com suporte para mover objetos para seu armazenamento em vez de copiá-los. Agora, para a maioria das funções projetadas para inserir um novo valor em um contêiner, temos algo como:

    void push_back( const T& value );
void push_back( T&& value );

    Qual destes é selecionado depende do tipo de parâmetro e da habilidade de T de ser copy- e/ou move-constructed . E é aqui que seu código erra.

    De fato, vec.push_back(Car(1));deve mover-inserir o valor para o contêiner ( Car(1)é um limite temporário para um rvalue, então push_back( T&& value );é definitivamente a sobrecarga correspondente). O motivo pelo qual isso não está acontecendo é porque sua classe não fornece semântica de movimentação.

    Por padrão, o compilador gera todo o conjunto de construtores, operadores de atribuição e um destrutor (depende dos membros armazenados dentro de uma classe e suas habilidades de copiar/mover), mas quando versões definidas pelo usuário aparecem, esse não é mais o caso .

    O texto que você deve procurar pode ser encontrado aqui, por exemplo , e é o seguinte:

    Construtor de movimento declarado implicitamente

    Se nenhum construtor de movimento definido pelo usuário for fornecido para um tipo de classe e todas as condições a seguir forem verdadeiras:

    Então o compilador declarará um construtor de movimento como um membro público inline não explícito de sua classe com a assinatura T::T(T&&).

    E aí está - já que você definiu seu próprio construtor de cópia, o primeiro requisito não foi atendido , então você precisa escrever seu próprio construtor de movimento se quiser (e você definitivamente deve fazer o mesmo para operadores de atribuição relevantes também).

    Se você não conhece os termos "Regra dos Três (Cinco desde C++ 11)", dê uma olhada aqui .

    Depois de elaborar esse problema simples e bastante longo, vamos finalmente corrigir seu código:

    class Car{
  public:
    int weight;

    Car(int weight): weight(weight){
      
    };

    Car(Car&& other){
        std::cout<<"moved!"<<std::endl;
        this->weight=other.weight;
    }

    Car(const Car& other){
        std::cout<<"copied!"<<std::endl;
        this->weight=other.weight;
    }
};

    Podemos então executar seu código e observar o resultado correto que você esperava:

    Success #stdin #stdout 0.01s 5288KB
moved!
    • 3

  3. Um `Car(1)` temporário está sendo empurrado para o vetor, o construtor de cópia é chamado. C++ adiciona o item ao vetor usando o construtor de cópia porque sua classe não tem um construtor de movimento. O vetor deve criar uma cópia para armazená-lo, mesmo que pareça que você não está copiando.

    • 0

relate perguntas