Почему такое неопределенное поведение?
struct s
{
const int id; // <-- const member
s(int id):
id(id)
{}
s& operator =(const s& m) {
return *new(this) s(m); // <-- undefined behavior?
}
};
(Цитата из стандарта была бы хороша).
Этот вопрос возник из этого ответа.
Нет ничего, что делало бы показанный фрагмент кода по своей сути UB. Однако почти наверняка UB последует сразу же при любом обычном использовании.
Из [basic.life]/8 (выделено мной)
Если после того, как время жизни объекта закончилось и до того, как хранилище, которое занимал объект, было повторно использовано или освобождено, новый объект создается в месте хранения, которое занимал исходный объект, указатель, указывающий на исходный объект, ссылка, которая относится к исходному объекту, или имя исходного объекта будет автоматически ссылаться на новый объект и, как только начнется время жизни нового объекта, может использоваться для управления новым объектом, если:
хранилище для нового объекта точно перекрывает место хранения, которое занимал исходный объект, и
новый объект имеет тот же тип, что и исходный объект (игнорируя cv-квалификаторы верхнего уровня), и
тип исходного объекта не является константным и, если это тип класса, не содержит нестатических членов данных, тип которых является константным или ссылочным типом, и
исходный объект был наиболее производным объектом типа
T, а новый объект является наиболее производным объектом типаT(то есть они не являются подобъектами базового класса).
Поскольку в s есть член const, использование исходной переменной после вызова operator= будет UB.
s var{42};
var = s{420}; // OK
do_something(var.id); // UB! Reuses s through original name
do_something(std::launder(&var)->id); // OK, this is what launder is used for
auto& ref = (var = s{420});. А затем используйте ref
- person Passer By; 24.11.2017
const int id;говорит, что значениеidникогда не изменится. А потом поменяете? - person Bo Persson schedule 24.11.2017constприменяется только к сроку службы объекта. - person Passer By schedule 24.11.2017const, потому что я не знаю, timsong-cpp.github.io/cppwp/basic.life#10 кажется применимым. - person Rakete1111 schedule 24.11.2017constобъектов, а не объектов сconstэлементами, не так ли? - person YSC schedule 24.11.2017[basic.life]/9, он явно говорит, что все в порядке? - person YSC schedule 24.11.2017