оператор delete вызывает деструктор, основываясь на статическом типе (тот, который он видит по объявлению указателя) и динамическом (если есть такая информация). После этого он вызывает менеджер памяти, что бы все освободить эту память. В этом случае тип указателя уже не имеет значения.
Если в delete приходит указатель "неверного типа", то будет вызван и "неверный деструктор". В некоторых случаях это может закончится плачевно. У void деструктор фактически отсутствует, значит вызывать нечего и соответственно ничего не вызовется. Если деструктор выполняет нетривиальную работу - будет не очень хорошо.
delete[]
получив указатель, "магическим способом" получает размер массива (обычно, он хранится рядом с указателем, но это личное дело компилятора, поэтому я и написал "магическим способом"). А дальше просто в цикле вызываем delete
. Ничего необычного. Поэтому, если попутать delete
и delete[]
могут быть разные непонятные баги (delete[]
будет искать размер массива там, где его нет, а потом пойдет в разнос).
Некоторые компиляторы могут добавлять немножко больше кода для проверки себя и удалять корректно. К примеру, так может сделать visual studio в дебажном режиме. Но я бы на это не закладывался.