Dlaczego liczb zmiennoprzecinkowych może spowodować utratę precyzji
Zmiennoprzecinkowych wartości dziesiętne nie mają zasadniczo dokładna reprezentacja binarna.Jest to efekt uboczny z jak Procesor reprezentuje ruchomy punkt danych.Z tego powodu mogą wystąpić pewne utratę precyzji i niektórych operacji zmiennoprzecinkowych może powodować nieoczekiwane rezultaty.
To zachowanie jest wynikiem jednego z następujących czynności:
Liczba dziesiętna reprezentacja binarna nie może być dokładne.
Istnieje niezgodność typów między liczb używanych (np. mieszania pływak i podwójne).
Aby rozwiązać problem, większość programistów, albo zapewnia, że wartość jest większa lub mniejsza niż co jest potrzebne lub pobrać i używać biblioteki Binary Coded Decimal (BCD), który będzie utrzymywać dokładność.
Reprezentacja binarna wartości zmiennoprzecinkowych ma wpływ na dokładność obliczeń zmiennoprzecinkowych.Microsoft Visual C++ korzysta z format zmiennoprzecinkowy IEEE.
Przykład
// Floating-point_number_precision.c
// Compile options needed: none. Value of c is printed with a decimal
// point precision of 10 and 6 (printf rounded value by default) to
// show the difference
#include <stdio.h>
#define EPSILON 0.0001 // Define your own tolerance
#define FLOAT_EQ(x,v) (((v - EPSILON) < x) && (x <( v + EPSILON)))
int main() {
float a, b, c;
a = 1.345f;
b = 1.123f;
c = a + b;
// if (FLOAT_EQ(c, 2.468)) // Remove comment for correct result
if (c == 2.468) // Comment this line for correct result
printf_s("They are equal.\n");
else
printf_s("They are not equal! The value of c is %13.10f "
"or %f",c,c);
}
Komentarze
Dla EPSILON, można używać stałych FLT_EPSILON, który jest zdefiniowany dla pływaka jako 1.192092896e-07F, lub DBL_EPSILON, który jest zdefiniowany dla podwójne jako 2.2204460492503131e-016.Konieczne jest uwzględnienie float.h dla tych stałych.Te stałe są zdefiniowane jako najmniejsza liczba dodatnia x taką że x + 1.0 nie jest równy 1.0.Ponieważ jest to bardzo małej liczby, należy zatrudnić zdefiniowane przez użytkownika tolerancji dla obliczeń wymagających bardzo dużej liczby.