T arr[10];
};
и сейчас активен x. При этом T не имеет дефолтного конструктора. Есть ли легальный сконструировать какое-то количество элементов на префиксе arr? Или хотя бы сконструировать все 10 элементов за раз — уже было бы неплохо.
Ну то есть я могу конечно в цикле сделать условно std::construct_at(arr + i, args...), но непонятно, почему активный мембер юниона при этом сменится на arr. В стандарте активный мембер определён как тот, у которого начался, но не закончился лайфтайм.
Соответственно, если верить в то, что это всё-таки легально, где-то в стандарте должно быть сказано, что при такой операции arr начнёт лайфтайм (вероятно, как-то связано с тем что массивы implicit-lifetime), но я не нашёл.
Если же это и правда нелегально, то непонятно, а как это обходить, кроме как отказываться от юниона и прибегать к вариантам вида std::byte[]. Но то что с ним можно — я и так знаю, интересен именно случай с union.
Это нелегально
А оно вообще скомпилируется без дефолтного конструктора?
и даже явно нет никакого способа переключить активный мембер?
Наверняка он имел в виду что тип ты не не имеет дефолтного конструктора, а имеет тривиальный дефолтный конструктор
нет, никакого дефолтного нет
Удалить старый объект завершив его время жизни и создать новый объект начав его время жизни
ну если только deleted ты классифицируешь как "есть"
ну вот вопрос как раз в том, как начать время жизни массива, не начиная времени жизни его элементов
Это выглядит странным.
почему же? это происходит при расположении объектов в памяти, выделенной через ::operator new или в std::byte[]
для объектов выделенных через new вызывается конструктор, а вы хотите, чтобы массив был, а его подобъектов не было
для каких объектов, выделенных через new?
Обсуждают сегодня