Как delete [] знает, сколько памяти удаляется? [Дубликат]

Во-первых, i не "4-байтовая длина". Скорее, i является указателем на массив из четырех целых чисел.

Далее, delete[] не нужно ничего знать, потому что int не имеет деструктора. Все, что должно произойти, состоит в том, что память должна быть освобождена, что делает системный распределитель. Это та же ситуация, что и со free(p) - вам не нужно free говорить, сколько памяти нужно освободить, так как вы ожидаете, что это будет понятно.

Ситуация другая, когда нужно называть деструкторов; в этом случае реализация C++ действительно должна запоминать количество C++ объектов отдельно. Метод для этого зависит от реализации, хотя многие компиляторы следуют популярному Itanium ABI, который позволяет связывать объектный код, скомпилированный этими разными компиляторами.

Вы не можете запросить эту информацию. Вы должны рассматривать динамические массивы как неработоспособные C++; по существу нет оснований для их использования *, и вы всегда можете делать лучше с каким-то классом, который управляет памятью и объектом отдельно и индивидуально: так как вам все равно придется запоминать количество элементов массива, гораздо лучше инкапсулировать размер и распределение в одном когерентном классе, а не иметь неопределенные динамические массивы, которые вы не можете использовать, не передавая дополнительную информацию в любом случае (если у вас нет самоограничивающей семантики, но тогда вы просто будете использовать дополнительное пространство для терминатора),

_{*) И есть как минимум два стандартных дефекта относительно динамических массивов, которые никто не беспокоит, чтобы беспокоиться о фиксации}