我在这里读到:
根据C99§6.3.1.4脚注50:
当将实数浮点型的值转换为无符号类型时,无需执行将整数类型的值转换为无符号类型时执行的余数运算。因此,可移植的实际浮点值的范围是(-1,Utype_MAX + 1)。
现在,我对以下两者之间的细微差别(这次是C ++ 03!)感兴趣:
double d1 = 257;
double d2 = -2;
unsigned char c1 = d1; // undefined, since d1 > 256
unsigned char c2 = d2; // undefined, since d2 < -1
和
double d1 = 257;
double d2 = -2;
unsigned int i1 = d1; // defined, since d1 <= 2^32
unsigned int i2 = d2; // still undefined, right?
unsigned char c1 = i1; // defined, modulo 2^8, so c1 == 1
因此,不能保证第一个c1
和第二个c1
都比较相等,对吗?上面的引用是否也适用于C ++ 03,还是有其他规则?
编辑:
为了进行c2
定义(为-(2^31-1) <= d2 < 0
),这是否有必要做?
double d2 = -2;
int sign = (d2<0 ? -1 : 1);
unsigned char c2 = sign * (int)abs(d2); // defined, c2 == 2^8-2 ?
是的,相同的规则适用于C ++。(但是,我要使用2010年的C ++标准草案; C ++ 2003是旧的。而且,我使用的是N3092,而不是正式的草案。)第4.9条第1款规定:“如果不能将截断的值以目标类型表示。”
无符号整数算法会自动换行;它比该类型的最大值多模1。但是,这适用于类型内的算术。从浮点到无符号整数的转换不属于此范围。
您的转换代码d2
似乎比必要的更为复杂。如果d2
在的范围内int
,则可以简单地使用unsigned char c2 = (int) d2;
。(尽管从int
到的转换unsigned int
也在同质无符号整数算术之外,但此转换的规范确实说,它的减少与无符号整数算术相同。)
本文收集自互联网,转载请注明来源。
如有侵权,请联系[email protected] 删除。
我来说两句