Подскажите, верны ли мои суждения. По стандарту, объект завершает время

Question

Подскажите, верны ли мои суждения. По стандарту, объект завершает время

своей жизни при переиспользовании занимаемого им хранилища. Так как определения переиспользования в стандарте нет, положим, что это означает создать (create) объект в этом хранилище. По стандарту, объект неявно создаваемого типа также создаётся неявно в результате вызова функции operator new, которая имеет размещающую форму, которая ничего не делает. Таким образом, функция, не производящая действий, может окончить время жизни объекта?
Прав ли я, и если не прав, то где?

#c #embedded #programming #russian

0

24.10.2020

17 ответов

7 просмотров

Артём Колпаков Автор вопроса

Danya🔥
По стандарту, объект завершает время своей жизни п...

http://eel.is/c++draft/basic.memobj#basic.life-1.5

0

24.10.2020

Danya🔥

Артём Колпаков
http://eel.is/c++draft/basic.memobj#basic.life-1.5

Ну это же не единственный вариант

0

24.10.2020

Артём Колпаков Автор вопроса

Danya🔥
Ну это же не единственный вариант

Но факт переиспользования хранилища всё-таки есть из цепочки рассуждений

0

24.10.2020

Danya🔥

объект неявно создаваемого типа Что за объект такой?

0

24.10.2020

Danya🔥

Ты как-то всё очень сложно объясняешь

0

24.10.2020

Danya🔥

По стандарту, объект неявно создаваемого типа также создаётся неявно в результате вызова функции operator new, которая имеет размещающую форму, которая ничего не делает. Пример кода можно?

0

24.10.2020

Артём Колпаков Автор вопроса

Danya🔥
По стандарту, объект неявно создаваемого типа такж...

https://godbolt.org/z/vde8bW

0

24.10.2020

Danya🔥

Артём Колпаков
https://godbolt.org/z/vde8bW

Интересно конечно

0

24.10.2020

Danya🔥

Артём Колпаков
https://godbolt.org/z/vde8bW

Ну по сути по стандарту да, да и по логике тоже Кстати, окончание lifetime связано как-то с вызовом деструктора?

0

24.10.2020

Артём Колпаков Автор вопроса

Danya🔥
Ну по сути по стандарту да, да и по логике тоже Кс...

http://eel.is/c++draft/basic.memobj#basic.life-1.4

0

24.10.2020

Ilya Zviagin

Завершит он после окончания работы деструктора, который при placement new ты обязан явно вызвать. То есть в этом случае время жизни объекта задаётся руками программистом. Про твои рассуждения я не понял. Ты явно вызываешь placement new - и объект начал свою жизнь. Ты явно вызываешь деструктор - жизнь объекта закончена. Вроде бы все прозрачно.

0

24.10.2020

Артём Колпаков Автор вопроса

Ilya Zviagin
Завершит он после окончания работы деструктора, ко...

Стандарт разрешает не вызывать деструктор

0

24.10.2020

Ilya Zviagin

Артём Колпаков
Стандарт разрешает не вызывать деструктор

Чего?

0

24.10.2020

Артём Колпаков Автор вопроса

Ilya Zviagin
Чего?

For an object of a class type, the program is not required to call the destructor explicitly before the storage which the object occupies is reused or released; however, if there is no explicit call to the destructor or if a delete-expression ([expr.delete]) is not used to release the storage, the destructor is not implicitly called and any program that depends on the side effects produced by the destructor has undefined behavior

0

24.10.2020

Ilya Zviagin

Артём Колпаков
For an object of a class type, the program is not ...

Блин. Но там же тогда UB будет.

0

24.10.2020

Ilya Zviagin

Артём Колпаков
Стандарт разрешает не вызывать деструктор

А что тебя то заставляет не вызывать деструктор?

0

24.10.2020