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

U>A new-expression obtains storage for the object by calling an allocation function (3.7.3.1) If the new-expression terminates by throwing an exception, it may release storage by calling a deallocation function (3.7.3.2)

may release, или should release? Глупо, конечно, цепляться к словам, но все же стандарт — это Документ. Слово may вызывает у меня смутные сомнения