арт C гарантирует, чтоint может хранить все возможные размеры массива. По крайней мере, это то, что я понимаю из прочтения §6.5.2.1, подраздел 1 (ограничения подписки на массив):

Одно из выражений должно иметь тип «указатель на тип объекта», другое выражение должно иметь целочисленный тип, а результат - тип «тип».

Поскольку мы будем использоватьintкак индексы массива, почему мы должны использоватьsize_t определить размер массива?

Почемуstrlen() вернутьsize_t когдаint будет достаточно?