我读了
here,那：
根据C99§6.3.1.4脚注50：
The remaindering operation performed when a value of integer type is
converted to unsigned type need not be performed when a value of real
floating type is converted to unsigned type. Thus,the range of
portable real floating values is (−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. (但是,我将按照C标准的2010年草案进行; C 2003是旧的.另外,我使用的是N3092,而不是官方草案.)第4.9条第1款说“如果截断值不能,则行为不明确以目的地类型表示.“
无符号整数运算确实包装;它的模数比模型的最大值模1.但是,这适用于类型内的算术运算.从浮点到无符号整数的转换不属于此.
转换d2的代码似乎比必要的更复杂.如果d2在int的范围内,则可以简单地使用unsigned char c2 =(int)d2;. (虽然从int到unsigned int的转换也在同构无符号整数运算之外,但是这个转换的规范确实说它的减少方式与无符号整数运算相同.)
