我试图从浮点数中提取位而不调用未定义的行为。这是我的第一次尝试:
unsigned foo(float x)
{
unsigned* u = (unsigned*)&x;
return *u;
}
据我了解,由于严格的别名规则,这不能保证有效,对吧?如果使用字符指针采取中间步骤,它会起作用吗?
unsigned bar(float x)
{
char* c = (char*)&x;
unsigned* u = (unsigned*)c;
return *u;
}
还是我必须自己提取单个字节?
unsigned baz(float x)
{
unsigned char* c = (unsigned char*)&x;
return c[0] | c[1] << 8 | c[2] << 16 | c[3] << 24;
}
当然,这有依赖字节序的缺点,但我可以忍受。
union hack 绝对是未定义的行为,对吧?
unsigned uni(float x)
{
union { float f; unsigned u; };
f = x;
return u;
}
为了完整起见,这里是一个参考版本foo
。还有未定义的行为,对吗?
unsigned ref(float x)
{
return (unsigned&)x;
}
那么,是否可以从浮点数中提取位(当然,假设两者都是 32 位宽)?
编辑:这是memcpy
Goz 提出的版本。由于许多编译器尚不支持static_assert
,因此我已替换static_assert
为一些模板元编程:
template <bool, typename T>
struct requirement;
template <typename T>
struct requirement<true, T>
{
typedef T type;
};
unsigned bits(float x)
{
requirement<sizeof(unsigned)==sizeof(float), unsigned>::type u;
memcpy(&u, &x, sizeof u);
return u;
}