1) Неопределенное поведение, но, вероятно, будет "работать", хотя.Деструкторы будут вызваны при освобождении памяти, которую, вероятно, не хотят деконструировать.
2) Неопределенное поведение, но, вероятно, оно "сработает".Деструкторы НЕ будут вызываться.
то есть, если он работает, и нет гарантии, что он будет работать только так, как требуется для основных встроенных типов данных.