ДЛ
Какое-то валидное состояние типа. Если у конкретного класса это валидное состояние называется «UB пока не настроишь во что-то адекватное» то сорян.
auto tmp = std::move(str);
tmp.clear();
// str.empty() == true
Тут уже есть гарантия
Size: a a a
2020 July 09
TS
Но если
Тут уже есть гарантия
Тут уже есть гарантия
ну это понятно, да =)
D
Какое-то валидное состояние типа. Если у конкретного класса это валидное состояние называется «UB пока не настроишь во что-то адекватное» то сорян.
Насколько я помню, там валидное состояние для деструктора только
Нет?
Нет?
АР
хм кстати это интересная риторика. Что есть "valid state"? По идее, moved out объекту достаточно уметь делать одну вещь - удаляться без UB )
ПК
Насколько я помню, там валидное состояние для деструктора только
Нет?
Нет?
валидное для деструкторов только это значит невалидное)
ДЛ
валидное для деструкторов только это значит невалидное)
Ну нет.
ДЛ
Double free не будет значит, уже неплохо.
ПК
Double free не будет значит, уже неплохо.
Если нельзя вызвать empty(), то значит невалидное состояние
ПК
Даже pop_back можно вызвать, просто результат unspecified (в том числе UB, если this пустой)
ПК
Поэтому не нужно хотеть этого делать)
ДЛ
Если нельзя вызвать empty(), то значит невалидное состояние
Как по ссылке выше: стандартные классы всегда разрешают. Но если ты пишешь свои классы, то лучше бы соблюдать эту конвенцию.
ДЛ
Внутренние инваиранты не сломались, но какое именно состояние — не знаешь.
ПК
Как по ссылке выше: стандартные классы всегда разрешают. Но если ты пишешь свои классы, то лучше бы соблюдать эту конвенцию.
Так и есть
ПК
Внутренние инваиранты не сломались, но какое именно состояние — не знаешь.
Но ты всегда можешь перевести в determined состояние каким нибудь методом, который не имеет preconditions на this
ПК
Типа clear()
ДЛ
Именно.
ДЛ
Или просто перезаписав значение.
d
Или просто перезаписав значение.
намёк на оператор присвоения?