Exponenta Banner
exponenta event banner

Потеря точности в целом числе, чтобы пустить в ход преобразование

Младшие значащие биты целого числа, потерянного во время преобразования в тип с плавающей точкой

расширьте все на странице

Описание

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

Например, значение long int 1234567890L является слишком большим для переменной типа float.

Риск

Если тип с плавающей точкой не может представлять целочисленное значение, поведение не определено (см. стандарт C11, 6.3.1.4, абзац 2). Например, младшие значащие биты значения переменных могут быть пропущены, ведя к неожиданным результатам.

Фиксация

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

Например, если тип данных float не может представлять целочисленное значение, используйте тип данных double вместо этого.

Когда запись функции, которая преобразовывает целое число в тип с плавающей точкой перед преобразованием, проверяет, может ли целочисленное значение быть представлено в типе с плавающей точкой. Например, DBL_MANT_DIG * log2(FLT_RADIX) представляет количество основы 2 цифры в типе double. Перед преобразованием в тип double проверяйте, больше ли этот номер, чем или равен с точностью целого числа, которое вы преобразовываете. Чтобы определить точность целочисленного num, используйте этот код:

 size_t precision = 0;
 while (num != 0) {
    if (num % 2 == 1) {
      precision++;
    }
    num >>= 1;
 }

Некоторые реализации обеспечивают встроенную функцию, чтобы определить точность целого числа. Например, GCC обеспечивает функциональный __builtin_popcount.

Примеры

развернуть все

#include <stdio.h>

int main(void) {
  long int big = 1234567890L;
  float approx = big;
  printf("%ld\n", (big - (long int)approx));
  return 0;
}

В этом примере переменная long int big преобразован в float.

Исправление — использует более широкий тип с плавающей точкой

Одно возможное исправление должно преобразовать в тип данных double вместо float.

#include <stdio.h>

int main(void) {
  long int big = 1234567890L;
  double approx = big;
  printf("%ld\n", (big - (long int)approx));
  return 0;
}

Информация о результате

Группа: числовой
Язык: C | C++
Значение по умолчанию: 'off'
Синтаксис командной строки: INT_TO_FLOAT_PRECISION_LOSS
Влияние: низко
ID CWE: 189, 681, 704

Смотрите также

Темы

Введенный в R2018b

Документация Polyspace Bug Finder
Поддержка