整型问题求解

csdemo

(__typeof__ (X))0.1 == 0  为什么不能判断X是整型？

bruceteen

你问的我听不懂
假设 x 类型为 TYPE，那么 (__typeof__ (X))0.1 == 0 就等同于 (TYPE)0.1 == 0
“为什么不能判断X是整型？” 是什么意思呀

folklore

为什么不用
typeid?
(__typeof__ (X))0.1 ==0无论如何都不会成立吧。
0.1“相当"的整数永远不会为0.

csdemo

回复 3# folklore

比方 （int）0.1 == 0
怎么说不等于0呢
   

csdemo

回复 2# bruceteen

通过typeof (X))1.1 == 1 可以推导出 X是整型的
但是通过 typeof (X))0.1 == 0 就不正确，这是为什么？

http://blog.jobbole.com/49139/    最丑陋的C语言特性：tgmath.h
有提过，但不知道为何   

bruceteen

回复 5# csdemo
原文（汉译版）的原文（英文原版）的跟贴里有英文原作者的解释

http://carolina.mff.cuni.cz/~trm ... eature-tgmathh/?foo

1. (typeof X))0.1 == 0 fails to handle a corner case: (_Bool)0.1 == 1
   
2. 
   
3. This is because conversion to _Bool works similarly as interpreting of arbitrary values as the condition of if – anything non-zero (even 0.1) is considered true.

复制代码

csdemo

回复 6# bruceteen


    非常感谢！