C - Сериализация чисел с плавающей запятой (плавающие, двойные)
-
21-09-2019 - |
Вопрос
Как преобразовать число с плавающей запятой в последовательность байтов, чтобы его можно было сохранить в файле?Такой алгоритм должен быть быстрым и высоко переносимым.Он должен допускать также противоположную операцию - десериализацию.Было бы неплохо, если бы требовалось только очень небольшое превышение битов на значение (постоянное пространство).
Решение
Предполагая, что вы используете основные компиляторы, значения с плавающей запятой в C и C ++ подчиняются стандарту IEEE и при записи в двоичной форме в файл могут быть восстановлены на любой другой платформе, при условии, что вы записываете и считываете, используя тот же порядок байтов.Итак, мое предложение таково:выберите последовательность выбора и перед записью или после чтения проверьте, совпадает ли эта последовательность с текущей платформой;если нет, просто поменяйте местами байты.
Другие советы
Вы всегда можете преобразовать в формат IEEE-754 в фиксированном порядке байтов (либо в младшем, либо в большом конце).Для большинства машин это не потребовало бы либо вообще ничего, либо простой замены байтов для сериализации и десериализации.Машине, которая изначально не поддерживает IEEE-754, потребуется написать конвертер, но сделать это с помощью ldexp и frexp (стандартные библиотечные функции C) и перетасовки битов не так уж сложно.
Это может дать вам хорошее начало - оно упаковывает значение с плавающей запятой в int
и long long
пара, которую затем вы можете сериализовать обычным способом.
#define FRAC_MAX 9223372036854775807LL /* 2**63 - 1 */
struct dbl_packed
{
int exp;
long long frac;
};
void pack(double x, struct dbl_packed *r)
{
double xf = fabs(frexp(x, &r->exp)) - 0.5;
if (xf < 0.0)
{
r->frac = 0;
return;
}
r->frac = 1 + (long long)(xf * 2.0 * (FRAC_MAX - 1));
if (x < 0.0)
r->frac = -r->frac;
}
double unpack(const struct dbl_packed *p)
{
double xf, x;
if (p->frac == 0)
return 0.0;
xf = ((double)(llabs(p->frac) - 1) / (FRAC_MAX - 1)) / 2.0;
x = ldexp(xf + 0.5, p->exp);
if (p->frac < 0)
x = -x;
return x;
}
Что вы имеете в виду под "портативным"?
Для удобства переносимости не забывайте сохранять номера в пределах, определенных в Стандарте:используйте один номер за пределами этих ограничений, и вся переносимость пойдет насмарку.
double planck_time = 5.39124E-44; /* second */
5.2.4.2.2 Характеристики плавучих типов <float.h>
[...] 10 The values given in the following list shall be replaced by constant expressions with implementation-defined values [...] 11 The values given in the following list shall be replaced by constant expressions with implementation-defined values [...] 12 The values given in the following list shall be replaced by constant expressions with implementation-defined (positive) values [...] [...]
Обратите внимание на определенная реализация во всех этих пунктах.
Преобразование в представление ascii было бы самым простым, но если вам нужно иметь дело с колоссальным количеством значений с плавающей запятой, то, конечно, вам следует перейти на двоичный формат.Но это может оказаться непростой проблемой, если вы заботитесь о переносимости.Числа с плавающей запятой представлены по-разному в разных машинах.
Если вы не хотите использовать готовую библиотеку, то ваш сериализатор с плавающей запятой / десериализатор просто должен иметь "контракт" о том, где находится каждый бит и что он представляет.
Вот забавный веб-сайт, который поможет с этим: Ссылка.
sprintf, fprintf ?вы не получите ничего более портативного, чем это.
Какой уровень переносимости вам требуется?Если файл должен быть прочитан на компьютере с той же операционной системой, на которой он был сгенерирован, то вы должны использовать двоичный файл и просто сохранять и восстанавливать битовый шаблон.В противном случае, как сказал бойтео, ASCII - ваш друг.
Эта версия имеет превышение только на один байт на одно значение с плавающей запятой, чтобы указать порядковый номер.Но я думаю, что, тем не менее, это все еще не очень переносимо.
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <ctype.h>
#define LITEND 'L'
#define BIGEND 'B'
typedef short INT16;
typedef int INT32;
typedef double vec1_t;
typedef struct {
FILE *fp;
} WFILE, RFILE;
#define w_byte(c, p) putc((c), (p)->fp)
#define r_byte(p) getc((p)->fp)
static void w_vec1(vec1_t v1_Val, WFILE *p)
{
INT32 i;
char *pc_Val;
pc_Val = (char *)&v1_Val;
w_byte(LITEND, p);
for (i = 0; i<sizeof(vec1_t); i++)
{
w_byte(pc_Val[i], p);
}
}
static vec1_t r_vec1(RFILE *p)
{
INT32 i;
vec1_t v1_Val;
char c_Type,
*pc_Val;
pc_Val = (char *)&v1_Val;
c_Type = r_byte(p);
if (c_Type==LITEND)
{
for (i = 0; i<sizeof(vec1_t); i++)
{
pc_Val[i] = r_byte(p);
}
}
return v1_Val;
}
int main(void)
{
WFILE x_FileW,
*px_FileW = &x_FileW;
RFILE x_FileR,
*px_FileR = &x_FileR;
vec1_t v1_Val;
INT32 l_Val;
char *pc_Val = (char *)&v1_Val;
INT32 i;
px_FileW->fp = fopen("test.bin", "w");
v1_Val = 1234567890.0987654321;
printf("v1_Val before write = %.20f \n", v1_Val);
w_vec1(v1_Val, px_FileW);
fclose(px_FileW->fp);
px_FileR->fp = fopen("test.bin", "r");
v1_Val = r_vec1(px_FileR);
printf("v1_Val after read = %.20f \n", v1_Val);
fclose(px_FileR->fp);
return 0;
}
Поехали.
Переносимая сериализация / десериализация IEEE 754, которая должна работать независимо от внутренней машины с плавающей запятой представление.
https://github.com/MalcolmMcLean/ieee754
/*
* read a double from a stream in ieee754 format regardless of host
* encoding.
* fp - the stream
* bigendian - set to if big bytes first, clear for little bytes
* first
*
*/
double freadieee754(FILE *fp, int bigendian)
{
unsigned char buff[8];
int i;
double fnorm = 0.0;
unsigned char temp;
int sign;
int exponent;
double bitval;
int maski, mask;
int expbits = 11;
int significandbits = 52;
int shift;
double answer;
/* read the data */
for (i = 0; i < 8; i++)
buff[i] = fgetc(fp);
/* just reverse if not big-endian*/
if (!bigendian)
{
for (i = 0; i < 4; i++)
{
temp = buff[i];
buff[i] = buff[8 - i - 1];
buff[8 - i - 1] = temp;
}
}
sign = buff[0] & 0x80 ? -1 : 1;
/* exponet in raw format*/
exponent = ((buff[0] & 0x7F) << 4) | ((buff[1] & 0xF0) >> 4);
/* read inthe mantissa. Top bit is 0.5, the successive bits half*/
bitval = 0.5;
maski = 1;
mask = 0x08;
for (i = 0; i < significandbits; i++)
{
if (buff[maski] & mask)
fnorm += bitval;
bitval /= 2.0;
mask >>= 1;
if (mask == 0)
{
mask = 0x80;
maski++;
}
}
/* handle zero specially */
if (exponent == 0 && fnorm == 0)
return 0.0;
shift = exponent - ((1 << (expbits - 1)) - 1); /* exponent = shift + bias */
/* nans have exp 1024 and non-zero mantissa */
if (shift == 1024 && fnorm != 0)
return sqrt(-1.0);
/*infinity*/
if (shift == 1024 && fnorm == 0)
{
#ifdef INFINITY
return sign == 1 ? INFINITY : -INFINITY;
#endif
return (sign * 1.0) / 0.0;
}
if (shift > -1023)
{
answer = ldexp(fnorm + 1.0, shift);
return answer * sign;
}
else
{
/* denormalised numbers */
if (fnorm == 0.0)
return 0.0;
shift = -1022;
while (fnorm < 1.0)
{
fnorm *= 2;
shift--;
}
answer = ldexp(fnorm, shift);
return answer * sign;
}
}
/*
* write a double to a stream in ieee754 format regardless of host
* encoding.
* x - number to write
* fp - the stream
* bigendian - set to write big bytes first, elee write litle bytes
* first
* Returns: 0 or EOF on error
* Notes: different NaN types and negative zero not preserved.
* if the number is too big to represent it will become infinity
* if it is too small to represent it will become zero.
*/
int fwriteieee754(double x, FILE *fp, int bigendian)
{
int shift;
unsigned long sign, exp, hibits, hilong, lowlong;
double fnorm, significand;
int expbits = 11;
int significandbits = 52;
/* zero (can't handle signed zero) */
if (x == 0)
{
hilong = 0;
lowlong = 0;
goto writedata;
}
/* infinity */
if (x > DBL_MAX)
{
hilong = 1024 + ((1 << (expbits - 1)) - 1);
hilong <<= (31 - expbits);
lowlong = 0;
goto writedata;
}
/* -infinity */
if (x < -DBL_MAX)
{
hilong = 1024 + ((1 << (expbits - 1)) - 1);
hilong <<= (31 - expbits);
hilong |= (1 << 31);
lowlong = 0;
goto writedata;
}
/* NaN - dodgy because many compilers optimise out this test, but
*there is no portable isnan() */
if (x != x)
{
hilong = 1024 + ((1 << (expbits - 1)) - 1);
hilong <<= (31 - expbits);
lowlong = 1234;
goto writedata;
}
/* get the sign */
if (x < 0) { sign = 1; fnorm = -x; }
else { sign = 0; fnorm = x; }
/* get the normalized form of f and track the exponent */
shift = 0;
while (fnorm >= 2.0) { fnorm /= 2.0; shift++; }
while (fnorm < 1.0) { fnorm *= 2.0; shift--; }
/* check for denormalized numbers */
if (shift < -1022)
{
while (shift < -1022) { fnorm /= 2.0; shift++; }
shift = -1023;
}
/* out of range. Set to infinity */
else if (shift > 1023)
{
hilong = 1024 + ((1 << (expbits - 1)) - 1);
hilong <<= (31 - expbits);
hilong |= (sign << 31);
lowlong = 0;
goto writedata;
}
else
fnorm = fnorm - 1.0; /* take the significant bit off mantissa */
/* calculate the integer form of the significand */
/* hold it in a double for now */
significand = fnorm * ((1LL << significandbits) + 0.5f);
/* get the biased exponent */
exp = shift + ((1 << (expbits - 1)) - 1); /* shift + bias */
/* put the data into two longs (for convenience) */
hibits = (long)(significand / 4294967296);
hilong = (sign << 31) | (exp << (31 - expbits)) | hibits;
x = significand - hibits * 4294967296;
lowlong = (unsigned long)(significand - hibits * 4294967296);
writedata:
/* write the bytes out to the stream */
if (bigendian)
{
fputc((hilong >> 24) & 0xFF, fp);
fputc((hilong >> 16) & 0xFF, fp);
fputc((hilong >> 8) & 0xFF, fp);
fputc(hilong & 0xFF, fp);
fputc((lowlong >> 24) & 0xFF, fp);
fputc((lowlong >> 16) & 0xFF, fp);
fputc((lowlong >> 8) & 0xFF, fp);
fputc(lowlong & 0xFF, fp);
}
else
{
fputc(lowlong & 0xFF, fp);
fputc((lowlong >> 8) & 0xFF, fp);
fputc((lowlong >> 16) & 0xFF, fp);
fputc((lowlong >> 24) & 0xFF, fp);
fputc(hilong & 0xFF, fp);
fputc((hilong >> 8) & 0xFF, fp);
fputc((hilong >> 16) & 0xFF, fp);
fputc((hilong >> 24) & 0xFF, fp);
}
return ferror(fp);
}
fwrite(), fread()?Скорее всего, вам понадобится двоичный файл, и вы не можете упаковать байты плотнее, если только вы не хотите пожертвовать точностью, что вы бы сделали в программе, а затем fwrite() fread() в любом случае;поплавок a;двойной b;a= (с плавающей точкой)b;fwrite(&a,1,sizeof(a),fp);
Если вы используете разные форматы с плавающей запятой, они могут не преобразовываться в прямом двоичном смысле, поэтому вам, возможно, придется разделять биты и выполнять математические вычисления, это в степени, которая плюс это, и т.д.IEEE 754 - ужасный в использовании стандарт, но широко распространенный, поэтому он сводит к минимуму затраты.