переполнения в дополнениях size_t

Что касается того, является ли size_t подписанным или неподписанным и GCC (из старого руководства GCC - я не уверен, что он все еще там):

Существует потенциальная проблема с типом size_t и версиями GCC до выпуска 2.4. ANSI C требует, чтобы size_t всегда был беззнаковым типом. Для совместимости с заголовочными файлами существующих систем GCC определяет size_t в stddef.h как любой тип, определяемый системным sys/types.h. Большинство систем Unix, которые определяют size_t в sys/types.h, определяют его как подписанный тип. Некоторый код в библиотеке зависит от того, что size_t является беззнаковым типом, и не будет работать правильно, если он подписан.

Код библиотеки GNU C, который ожидает, что size_t будет беззнаковым, верен. Определение size_t как подписанного типа неверно. Мы планируем, что в версии 2.4 GCC всегда будет определять size_t как беззнаковый тип, а скрипт fixincludes будет массировать системный sys/types.h, чтобы не конфликтовать с этим.

Тем временем мы обходим эту проблему, явно указав GCC использовать беззнаковый тип для size_t при компиляции библиотеки GNU C. 'configure' автоматически определит, какой тип GCC использует для size_t аранжировки, чтобы при необходимости переопределить его.

Если вам нужна подписанная версия size_t, используйте ptrdiff_t, или в некоторых системах есть typedef для ssize_t.

size_t — это целочисленный тип без знака в соответствии со стандартами C++ C. Любая реализация с подписью size_t серьезно не соответствует требованиям и, вероятно, имеет другие проблемы с переносимостью. При переполнении он гарантированно завершается, а это означает, что вы можете написать такие тесты, как if (a + b < a), чтобы найти переполнение.

size_t — отличный тип для всего, что связано с памятью. Ты делаешь это правильно.

size_t не должно быть подписано.

Обычно он определяется как unsigned long.

Я никогда не видел, чтобы это определялось иначе. ssize_t является его подписанным аналогом.

РЕДАКТИРОВАТЬ: GCC определяет его как подписанный в некоторых обстоятельствах. компиляция в режиме ASNI C или std-99 должна сделать его беззнаковым.

Для языка C используйте IntSafe< /а>. Также выпущен Microsoft (не путать с библиотекой C++ SafeInt). IntSafe — это набор вызовов функций языка C, которые могут безопасно выполнять математические операции и преобразования. обновлен URL-адрес для функций intsafe

Используйте safeint. Это класс, разработанный Майклом Ховардом и выпущенный Microsoft с открытым исходным кодом. Он предназначен для работы с целыми числами, когда переполнение определяется как риск. Все переполнения преобразуются в исключения и обрабатываются. Класс предназначен для облегчения правильного использования.

Например :

char CouldBlowUp(char a, char b, char c)
{
   SafeInt<char> sa(a), sb(b), sc(c);

   try
   {
     return (sa * sb + sc).Value();
   }
   catch(SafeIntException err)
   {
      ComplainLoudly(err.m_code);
   }

   return 0;
}

Кроме того, safeint часто используется внутри Microsoft в таких продуктах, как Office.

Ссылка: текст ссылки

Я не уверен, правильно ли я понимаю вопрос, но, возможно, вы можете сделать что-то вроде:

temp = value_to_be_added_to;

value_to_be_added_to += value_to_add;

if (temp > value_to_be_added_to)
{
  overflow...
}

Поскольку он вернется к более низким значениям, вы можете легко проверить, не переполнился ли он.