ユーザコードでdeleteを記述したかどうかなんてのは、deleteの有無を論じる上で正確じゃない。

A * a = new A;
// iroiro
a->~A();
こんなコードを書く奴が出てきてしまうかもしれん。