Беззнаковый аргумент функции

@Зверушь · Регистрация: 01.05.2010

Author24 — интернет-сервис помощи студентам

Всем привет.

Есть вопрос по уточнению типа аргументов функций. К примеру, есть функция:

C++

unsigned long int factorial(unsigned int x) {
    if (x <= 1) {
        return 1;
    }
    return x * factorial(x - 1);
}

Функция ожидает аргумент типа беззнаковое целое, но почему-то она успешно проглатывает отрицательные числа. Правда при этом ненадолго зависает, и программа завершается без выдачи результата и сообщений об ошибке. Что не так? Может я что-то не так понял? Я в сpp недавно. Да и надо ли использовать unsigned, если нужно 100% положительное число?
Спасибо.

@Ivandur · 22.10.2018, 15:20

Преобразование типов.

@_stanislav · 22.10.2018, 15:37

Зверушь, загугли, предоставление чисел в памяти эвм.

Verevkin · 22.10.2018, 16:46

-1 приведённая к unsigned int = 0xFFFFFFFF. 31-й разряд - это знак. Поэтому все отрицательные числа - это интервал 0x80000000...0xFFFFFFFF. Поэтому не срабатывает твой if (x <= 1): если ты задал х = -1, то тут он равен 4294967295, т.к. переменная имеет тип unsigned и компайлер знаковый бит расценивает как двоичный разряд.

@Ivandur 694 / 5684 / 265 Регистрация: 11.08.2016 Сообщений: 3,522
	22.10.2018, 15:20	2
	Преобразование типов. 1

@_stanislav "C with Classes" 2022 / 1404 / 523 Регистрация: 16.08.2014 Сообщений: 5,884 Записей в блоге: 1
	22.10.2018, 15:37	3
	Зверушь, загугли, предоставление чисел в памяти эвм. 0

Verevkin Злостный нарушитель 9507 / 5151 / 1175 Регистрация: 12.03.2015 Сообщений: 24,290
	22.10.2018, 16:46	4
	-1 приведённая к unsigned int = 0xFFFFFFFF. 31-й разряд - это знак. Поэтому все отрицательные числа - это интервал 0x80000000...0xFFFFFFFF. Поэтому не срабатывает твой if (x <= 1): если ты задал х = -1, то тут он равен 4294967295, т.к. переменная имеет тип unsigned и компайлер знаковый бит расценивает как двоичный разряд. 1