m
ну тогда понятно с предыдущим
Нет. Скорее проблема в том, что непонятно что делать вектору, если при присваивании второго элемента вылетело исключение.
Size: a a a
2020 August 29
AT
следует ли из этого, что почти всегда стоит предпочитать resize, а затем std::copy в вектор? Или реализация assign для вектора элементов с noexcept copy/move конструкторами может отличаться?
AT
кажется для вектора trivially copyable элементов ещё более оптимальной можно сделать реализацию
ᅠ
а вообще законно ли делать так:
std::vector<int> v = {1, 2, 3}; int & one = v[0]; v.clear(); v.push_back(123); std::cout << one << std::endl;?Нет
d
а вообще законно ли делать так:
std::vector<int> v = {1, 2, 3}; int & one = v[0]; v.clear(); v.push_back(123); std::cout << one << std::endl;?Почему так делать нельзя? Ведь, вроде бы, здесь нет перераспределения памяти...
m
следует ли из этого, что почти всегда стоит предпочитать resize, а затем std::copy в вектор? Или реализация assign для вектора элементов с noexcept copy/move конструкторами может отличаться?
ПК
d7d1cd
Почему так делать нельзя? Ведь, вроде бы, здесь нет перераспределения памяти...
one ссылается на уничтоженный объект
ПК
Это UB, очевидно
ПК
Получается assign при исключении в copy конструкторе оставляет this в unspecified состоянии?
ПК
Типа базовая а не строгая гарантия?
AT
Это UB, очевидно
Т.е. все ссылки и типизированные указатели следует удалить прежде, чем будет вызван деструктор объекта?
ПК
Т.е. все ссылки и типизированные указатели следует удалить прежде, чем будет вызван деструктор объекта?
нет, их просто нельзя разыменовывать
AT
Если у меня есть void указатель на область памяти, то все указатели, полученные кастом в типизированный указатель во время жизни объекта, сконструированного по этому адресу, нельзя использовать, если я пересоздам объект (того же типа)?
ПК
Если у меня есть void указатель на область памяти, то все указатели, полученные кастом в типизированный указатель во время жизни объекта, сконструированного по этому адресу, нельзя использовать, если я пересоздам объект (того же типа)?
То что с ссылкой так нельзя это 100%, а вот с указателем не уверен, но подозреваю что тоже нельзя
ПК
Мне кажется в момент взятия адреса ты привязываешься к конкретному объекту
ПК
То есть тут тоже идёт оперирование объектами а не адресами памяти
IZ
Если у меня есть void указатель на область памяти, то все указатели, полученные кастом в типизированный указатель во время жизни объекта, сконструированного по этому адресу, нельзя использовать, если я пересоздам объект (того же типа)?
Почему нельзя то?
Если там есть соответствующий объект, то можно, если нет - нельзя
Если там есть соответствующий объект, то можно, если нет - нельзя
IZ
Если у меня есть void указатель на область памяти, то все указатели, полученные кастом в типизированный указатель во время жизни объекта, сконструированного по этому адресу, нельзя использовать, если я пересоздам объект (того же типа)?
Если пересоздашь, то там уже же другой объект будет
N
Если у меня есть void указатель на область памяти, то все указатели, полученные кастом в типизированный указатель во время жизни объекта, сконструированного по этому адресу, нельзя использовать, если я пересоздам объект (того же типа)?
возможно надо std::launder для надежности