Início / coding / Perguntas / 79591359
Accepted
Fedor
Asked: 2025-04-25 03:43:56 +0800 CST

Por que a cópia dos elementos do vetor pode ser feita com o argumento lvalue not-const?

  • 772

Se alguém copia um std::vectorem outro, ou copia elementos de um std::vectorem um bloco maior ( reserve) ou menor ( shrink_to_fit) da memória heap, qual construtor do tipo do elemento é chamado?

No programa de exemplo:

#include <vector>
#include <iostream>

struct A {
    A() {}
    A(A&) { std::cout << "A(A&) "; }
    A(const A&) { std::cout << "A(const A&) "; }
};

int main() {
    std::vector<A> v(1);
    v.reserve(10);
    auto w = v;
    v.shrink_to_fit();
}

Eu esperaria ver A(const A&) A(const A&) A(const A&)uma saída. Mas, na realidade, as implementações da biblioteca padrão divergem:

  • libc++impressões A(const A&) A(A&) A(const A&),
  • libstdc++impressões A(const A&) A(const A&) A(A&),
  • e o Microsoft STL imprime A(A&) A(A&) A(A&).

Demonstração online: https://gcc.godbolt.org/z/TTqxv9sd3

É correto supor que se o construtor de not- constlvalue for chamado, o código do usuário terá permissão para modificar seu argumento (pelo menos temporariamente)?

c++

1 respostas

  1. Best Answer

    Não vejo razão para que a biblioteca seja obrigada a garantir que a constsobrecarga seja usada.

    O construtor de cópia do contêiner requer, conforme [container.reqmts]/12, que o tipo de elemento seja CopyInsertable de um lvalue vdo seu tipo para o contêiner, independentemente da constqualificação - de v. Ele também requer a pós-condição ( [container.alloc.reqmts]/2.4 ):

    O valor de v permanece inalterado e é equivalente a *p.

    o que implica que se o constconstrutor não-cópia for usado, então não deve resultar no valor do objeto original sendo diferente após a chamada, pelo menos.

    Para mim, é um pouco menos claro se a modificação do argumento é completamente proibida, pois isso é declarado apenas como pós-condição. Suspeito, porém, que essa seja a intenção.

    • 4

relate perguntas