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

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