Почему size_t без знака?

Наблюдение Бьярна Страуструпа о том, что «использование unsigned вместо int для получения еще одного бита для представления положительных целых чисел почти никогда не является хорошей идеей» вызвало обеспокоенность по поводу решения сделать size_t беззнаковым.

Историческое происхождение

Первоначально size_t был сделан беззнаковым, чтобы приспособиться к архитектурам с 16-битными указателями, таким как системы DOS. Чтобы предотвратить ограничения размера строки, стандарт C требует, чтобы ptrdiff_t, знаковый аналог size_t, был фактически 17-битным.

Текущая актуальность

Хотя эти исторические причины все еще могут быть применимы во встроенных системах, они менее важны для современного 32-битного и 64-битного программирования. В этих средах использование беззнаковых типов для чисел не имеет практических преимуществ, и их использование может привести к потенциальным ошибкам из-за правил неявного преобразования C/C (например, где string("Hi").length()

Заключение

Решение сделать size_t беззнаковым не было ошибкой, а скорее практическим выбором для ограниченных систем того времени. Однако в современной практике программирования обычно рекомендуется свести к минимуму использование целых чисел без знака в интерфейсах и для чисел, за исключением особых обстоятельств, когда самоописательный характер typedef int MyType полезен.