Кастинг аргумента float для unsigned, когда функция принимает подписанный int

Question

У меня есть большая кодовая база, которую мне нужно дезинфицировать и натолкнулась на какой-то код, подобный тому, который приведен ниже, о котором GCC предупреждает меня, и это не имеет никакого смысла для меня.

void SetValue(int32_t value); // implementation not important 

int main() 
{ 
    //... 

    float val = -10.0f; // real value comes from a function, but can be negative 

    //... 

    SetValue(uint32_t(val)); // huh? 

    //... 
} 

Любая причина, чтобы заставить актеров к unsigned int, если функция принимает signed int?
Это происходит несколько раз по всей кодовой базе, поэтому это не один случай.

Это просто ошибка или есть какой-то трюк, который мне не хватает?

РЕДАКТИРОВАТЬ: Для очистки GCC дезинфицирующее средство выбрасывает runtime error: value -10 is outside the range of representable values of type 'unsigned int'.

Answer 1

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

Мое предположение: Приведение в действие должно явно указывать, что float преобразуется в целое число, но тип ошибочен по ошибке.

Answer 2

Использование явного литья позволяет многим компиляторам выдавать предупреждение о неявном преобразовании и возможной потере данных. это не редкость вставлять в броски, чтобы уменьшить количество предупреждений компилятора: вы даете компилятору понять, что вы в порядке с coversion.

В этом случае значение передается в unsigned int, а затем возвращается обратно к подписанному int. Вероятно, нет причин для этого. Я предполагаю, что функция однажды взяла unsigned int, и приведение было связано с этим (явное приведение, чтобы уменьшить предупреждения), но позже профиль функции изменился, но другая часть не была обновлена.