Início / coding / Perguntas / 78168926
Accepted
ValueError
Asked: 2024-03-16 02:16:22 +0800 CST

Posso usar o posicionamento novo com array de classe?

  • 772

Considere este código:

struct Block {
    alignas(int) unsigned char data[sizeof(int)];
};

int main() {
    Block buff[sizeof(double) / sizeof(int)];
    ::new(&buff) double();
    double d = *std::launder(reinterpret_cast<double*>(&buff));

    return 0;
}

Este uso está correto? Isso reinterpret_castleva a um comportamento indefinido?

c++

1 respostas

  1. Best Answer

    Ele definiu um comportamento, assumindo que doublenão possui requisitos de alinhamento mais fortes do que inte sizeof(double)é um múltiplo inteiro de sizeof(int).

    No entanto, ainda assim, se sizeof(double) > sizeof(int), então não há unsigned chararray que possa fornecer armazenamento para o doubleobjeto e assim ::new(&buff) double()encerrará a vida útil do buffobjeto (e de todos os seus subobjetos). O doubleobjeto não é aninhado buff, mas reutiliza seu armazenamento.

    Nesse caso, não importaria se você usa o seu Blocktipo ou qualquer outro tipo de alinhamento e tamanho adequado, desde que o destruidor seja trivial. Se o destruidor não for trivial, então a chamada implícita do destruidor no final do escopo causaria um comportamento indefinido se naquele ponto nenhum Blockobjeto substituindo de forma transparente os originais estivesse ativo no buffarmazenamento do.

    Além disso, não há garantia do padrão de que não haverá preenchimento após data, de modo que os cálculos podem não se comportar da maneira esperada, embora isso não possa afetar o que escrevi acima. Também há apenas uma garantia de que o deslocamento do datamembro na classe seja zero porque a classe tem layout padrão.

    • 1

relate perguntas