Каковы варианты использования для утверждений по почтовой передаче деструктора C ++? ⇐ C++

[Anonymous]

В P2899R1 «Контракты для C ++ - обоснование», 3.6.2. Написано: «Мы не можем просто помешать пользователю использовать этот < /code> в утверждениях предварительных условий конструктора и
посткондиционирование Иметь смысл, но каковы варианты использования для утверждений о пост -кондиционере деструктора?

Подробнее здесь: https://stackoverflow.com/questions/797 ... destructor