Рассмотрим следующую строку кода:
new (p++) T();
Если конструктор T () генерирует исключение, гарантированно ли p уже был увеличен?
T ()
p