Размеры должны быть со знаком

https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1428r0.pdf
Всякие size_t, пишут, должны быть со знаком. Ибо unsigned это не просто
"положительное число", а число подчиняющееся арифметике с модулями.
Откуда растёт тьма потенциальных проблем.

Я когда начинал на Си писать, то тоже удивлялся наличию не малого
геморроя (5f1645eb510d76ffb07c07fa09bffdea01959c03) с, казалось бы,
продуманному и вовсю используемому unsigned size_t.