Здравствуйте, slava_phirsov, Вы писали:

_>Перед вызовом конструктора будет вызван new и выделена память, в конструкторе будет сгенерировано исключение, вызывающий код его перехватит, а выделенная память — так и останется висеть, и приложение в принципе не может получить указатель на эту память и уж тем более освободить ее. Так? Или стандарт как-то эту ситуацию оговаривает особо? Или я чего-то недопонимаю?

В таком случае память будет освобождена автоматически. Если из конструктора объекта вылетает исключение, то вызывается соответствующий delete.