如何使用标准C89的位水平的双打工作?
-
21-12-2019 - |
题
我正在通过实现 nan标记在一点点语言实现我正在写入c.要做到这一点,我需要直接在它的比特上拍摄双倍和戳。
我现在使用工会铸造:
typedef union
{
double num;
unsigned long bits;
} Value;
/* A mask that selects the sign bit. */
#define SIGN_BIT (1UL << 63)
/* The bits that must be set to indicate a quiet NaN. */
#define QNAN (0x7ff8000000000000L)
/* If the NaN bits are set, it's not a number. */
#define IS_NUM(value) (((value).bits & QNAN) != QNAN)
/* Convert a raw number to a Value. */
#define NUM_VAL(n) ((Value)(double)(n))
/* Convert a Value representing a number to a raw double. */
#define AS_NUM(value) (value.num)
/* Converts a pointer to an Obj to a Value. */
#define OBJ_VAL(obj) ((Value)(SIGN_BIT | QNAN | (unsigned long)(obj)))
/* Converts a Value representing an Obj pointer to a raw Obj*. */
#define AS_OBJ(value) ((Obj*)((value).bits & ~(SIGN_BIT | QNAN)))
.
但施加到工会类型不是标准的ANSI C89。是否有一种可靠的方法来实现:
- 是
-std=c89 -pedantic
clean? - 没有严格的混叠规则运行原因?
-
可以在这样的表达式上使用:
Value value = ... printf("The number value is %f\n", AS_NUM(value));
解决方案
这里是一个快速的概念验证,可以编译干净,似乎为我正确运行。我使用memcpy
来实现Type-pun of问题。这当然可能在真实系统中是不可接受的,但它至少是便携式的。同样,我不知道您是否打算要求将生成的ICODETAGCODE作为宏实现。
#include <stdio.h>
#include <string.h>
typedef struct {
char raw[sizeof(double)];
} Value;
static Value valueFromDouble(double d) {
Value result;
memcpy(result.raw, &d, sizeof(result));
return result;
}
static double AS_NUM(Value value) {
double result;
memcpy(&result, value.raw, sizeof(result));
return result;
}
int main(int argc, char **argv) {
Value value = valueFromDouble(1.0);
printf("The number value is %f\n", AS_NUM(value));
}
.
这是它编译的成绩单(用OS X上的Clang)和运行:
$ cc -std=c89 -pedantic blort.c
$ ./a.out
The number value is 1.000000
. 不隶属于 StackOverflow