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