C - Перекодирование malloc() как определить отрицательный размер, используемый в вызове?

Question

Я в настоящее время перекодировал malloc() и должен иметь дело с случаем, когда вызывающий объект вычисляет размер буфера, который приводит к отрицательному значению, которое затем передается в malloc()?

Я знаю, что параметр size_t, так что беззнаковый int я прав?

Таким образом, я хотел проверить размер, который будет передан на мой перекодированный malloc(), но как я могу это сделать?

Потому что, если я передаю отрицательный параметр, он будет изменен на случайное число, например 18446744073709551613. Я просто получаю.

Итак, мой вопрос: как я могу проверить, является ли параметр отрицательным, когда параметр является size_t (без знака int), он будет напрямую преобразован в астрономическое значение, нет?

Answer 1

Как правило, рекомендуется выполнять все вычисления размера, в которых значение вычитается из другого значения с использованием числовых типов, позволяющих проверить отрицательное значение. Хотя прототип для malloc() вызывает значение size_t, которое является значением без знака, вы можете передать знаковое значение, и компилятор выполнит довольно простое преобразование для вас.

Это общее правило, которое я соблюдаю для расчета размера буфера. Если вы используете знакомые переменные для вычисления, легко определить проблему вычисления размера буфера.

Вы пишите в свой вопрос «Потому что, если я передаю отрицательный параметр, он будет изменен на случайное число, например 18446744073709551613. Я просто получаю». и это не так. большое число - это беззнаковое представление отрицательного значения. Это не случайно.

Другой альтернативой является проверка границ значения.Например, вы можете проверить, больше ли значение size_t, чем 0x7ffffff, которое является самым большим 32-битным знаковым значением и действительно большим размером буфера. На компьютерах, на которых я работаю с отрицательным значением, выраженным как unsigned, будет число больше 0x8000000.

Answer 2

void *malloc(size_t size); 

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

В любом случае преобразование из целочисленного значения в неподписанный тип определяется как значение, сохраняющее значение по модулю max_value + 1.

Answer 3

Поскольку это неподписанный тип данных, значение не может быть отрицательным.

Ваш вопрос больше, если/как вы можете различать огромное значение, передаваемое намеренно, и огромное значение, исходящее из обертывания.

В общем, это невозможно.

Answer 4

Да, вы правы. Значение
size_t всегда положительно, даже если вы передадите отрицательное значение в случае функции malloc. Если вообще, если вы передаете отрицательное значение, это отрицательное значение преобразуется в значение без знака типа size_t, что приводит к большому положительному целому числу.

Пример:

int *p = (int*)malloc(-5);
эквивалентно:

int*p = malloc(SIZE_MAX - 1); // SIZE_MAX это максимум size_t ..!