Защо е това недефинирано поведение?
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-квалификаторите от най-високо ниво) и
типът на оригиналния обект не е const-квалифициран и, ако е тип клас, не съдържа никакви нестатични данни, чийто тип е const-квалифициран или референтен тип, и
оригиналният обект е най-производен обект от тип
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