Этим ОСь занимается, она должна следить за удалением из кучи.

Все-равно, ось не дает программам написанным на С++ на прямую обращаться к памяти. 

Для себя ничего не уяснил, видно много действительно разных условий.
Если брать DOS, контроллеры, загрузчики - всё, что грузится на голое железо не может не знать о размере выделяемой памяти, не может запрашивать ОС о памяти, т.к. самой оси нету. Менеджеры памяти приложения, о которых говорили - ну это сама программа приложения, глупо говорить что auto_ptr (в данном контексте), является менеджером памяти приложения. Учитывая, что new появился в плюсах задолго до всяких хитрых ОС, значит это было осознанно.

Данную историческую причину я для себя так и не уяснил. Совершенно ясен факт - new выделяет память и спокойно может знать сколько памяти выделено. Эту информацию ему может вернуть сама ОС (дико звучит, что ОС лучше знает, сколько памяти нужно выделить данной операции, ну пусть так, прогнусь под общественное мнение) или компилятор (если на голом железе). Эту информацию можно "зашить" в выделенный указатель для массивов. Все равно эта информация где-то хранится. Да и вообще! Если уж так, с какого перепугу две версии delete существует, просто и delete[].

Опять же, главный вопрос - почему так не сделали.

Кол-во элементов и их размер не имеет никакого значения, мы говорим только про размер.
Давайте так, я приведу пример бОльшей абстракции

char * = new[100]
size = 100;
someFunct(char+50,size)

Да не важно, кто и для чего так делает, важно то, что функция это проглотит и не проверит, что памяти меньше, чем нужно

Правильно, проверка входных параметров лежит на программисте и это замечательно. Я сам могу решать, в какой функции стоит проверять параметры, а в какой это избыточно.

Подойду от обратного.
Совершенно с вами согласен! Но как же программисту получить объём выделенной памяти? Где ТО САМОЕ сравнение перед вызовом функции, которая проверит что памяти не хватит. Опять переменные вводить и синхронизировать их....

Другими словами:

Вместо

Мои рассуждения не имеют практической плоскости. Меня интересует "историческая". Так есть, потому что оно так есть, все уже привыкли и считают как должное. Это как предварительная оптимизация, все пишут "++i" и тут понятно, почему так, любой захудалый учебник пишет об этом и все пользуются этим на уровене подсознания. А нету не захудалого учебника, описывающий такое поведение new/delete