Início / user-13554797

Max's questions

Martin Hope
Max
Asked: 2025-04-03 18:48:34 +0800 CST
  • 14

Considere este trecho de código C++23:

struct MyData {
    std::int32_t value;
};

std::vector<char> read_from_net();
void send_over_net(std::vector<char>&);

...

std::vector<char> buffer = read_from_net();

std::start_lifetime_as<MyData>(buffer.data())->value = 222; // (1)

send_over_net(buffer); // (2)

Assumindo que todos os requisitos para iniciar a vida útil de MyDataat buffer.data()sejam respeitados:

  1. Existe alguma UB neste código? Começar o tempo de vida assim e modificar o campo é bem definido?
  2. Posso acessar o buffer original como caracteres (2)sem UB, considerando que isso start_lifetime_asencerrou a vida útil do objeto anterior e iniciou uma nova?
  3. Ou start_lifetime_asapenas inicia outra vida, mas também preserva a anterior?
  4. Devo usar std::launder(buffer.data())[0]o método de acesso ao buffer original como uma matriz de caracteres depois (2)?
c++