> Действительно, зачем в стандартной библиотеке нужны динамические массивы со строгой типизацией

Нет в С++ строгой типизации как явления.

> и строки

Раньше в С++ строки ничем от массивов не отличались, не знаю как там сейчас c utf8 дела обстоят.

Кстати, а тип данных "байт" уже появился? Смогла ли великая сипипишка признать что существуют байты, и что байт это не всегда символ?

>если можно сношаться с malloc и вылазить за пределы
> буфера?

Сношаться можно и в С++, и успешно вылазить за любые пределы. Причём куда более изощрёнными способами.

Но в системном программировании, вам именно что нужно сношаться именно с malloc и не только. Поэтому к чему вы это, непонятно.