>Фиксированный размер типов упомянут в связи с тем что часто в С++
>приходится изобретать свой тип размером с байт, 2 байта и т.п.

С и С++ не имеют встроенных типов размером с байт, 2 байта и т.п. Стандарт определяет только минимальную длину простых типов, а не реальную

The size of the arithmetic types varies across machines. By size, we mean the number of bits used to represent the type. The standard guarantees a minimum size for each of the arithmetic types, but it does not prevent compilers from using larger sizes. Indeed, almost all compilers use a larger size for int than is strictly required.

Поэтому в С99 сделали попытку определить тип фиксированной длины

intN_t An integer type whose width is exactly N bits

но он не обязателен к реализации, поэтому полагаться на его наличие нельзя.

>Увеличенное количество сущностей в С++ думаю пояснять особо не надо, но добавлю
>что имелось ввиду ещё и переопределение операций. В итоге небольшой кусок
>программы на С++ получается шифровкой и чтобы понять написанное придётся просмотреть
>не один дополнительный файл, а в Си вы чаще видите сразу
>известные типы и операции.

Именно переопределение операций в принципе позволяет повысит читаемость программы. Например +/-/* для 3D векторов.

Но как можно сравнивать объектный и необъектный языки?